Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  health  microsoft  security  vibecoding  psychology  i.redd.it  release  theguardian.com  psypost.org  windows  go  web  show  linux  neuroscience  iran  techcrunch.com 

Lean proved this program correct; then I found a bug

31 hours ago kirancodes.me formalmethods plt security vibecoding

On hacker mindset

13 hours ago henrikkarlsson.xyz

A recent study shows that assistance dogs do not only help people with practical tasks, but actively contribute to their care, based on mutual trust and constant reading of the person being cared.

14 hours ago utu.fi

MiniStack: Testcontainers for Java is live!

14 hours ago reddit.com java

I Realized My BigInt Multiplication Was O(n²)… So I Implemented Karatsuba for My Compiler

20 hours ago i.redd.it compiler

Study links common, treatable ear conditions to higher odds of dementia and finds treatment may help

15 hours ago eurekalert.org neuroscience

Introspective Diffusion Language Models

15 hours ago introspective-diffusion.github.io

Amazon is still paying Jeff Bezos an $80,000 yearly salary—but $1.6 million for travel and security

19 hours ago fortune.com amazon

Scientists have proposed a new approach to training neural networks for wave propagation in absorbing media

15 hours ago sciencedirect.com media

China’s government both drives and constrains the rise of AI

15 hours ago economist.com ai china

What is the best way to create a struct of size 18 Bytes?

15 hours ago reddit.com zig

AI Is Finding Bugs That Hackers Can Exploit. Get Ready for Bugmageddon.

16 hours ago wsj.com ai

Convincing my employer of Rust for a rewrite

16 hours ago reddit.com rust

Tom7: No one can force me to have a secure website [video]

24 hours ago youtube.com video

OpenAI has bought AI personal finance startup Hiro

18 hours ago techcrunch.com ai openai

MoonBit 0.9: Introducing First-Class Formal Verification

18 hours ago moonbitlang.com plt release vibecoding

No one can force me to have a secure website

21 hours ago tom7.org pdf satire security web

TESSERA — A pixel-wise earth observation foundation model

17 hours ago geotessera.org ai earth science

The Origins of GPU Computing

21 hours ago cacm.acm.org gpu

Study finds people tend to underestimate small talk but is a key to make us feel more connected

21 hours ago psycnet.apa.org psychology

Show HN: Pushduck – S3 uploads that run on Cloudflare Workers, no AWS SDK

17 hours ago news.ycombinator.com aws cloudflare show

AI chatbots misdiagnose in over 80% of early medical cases, study finds

20 hours ago jamanetwork.com ai

Everything Should Be Typed: Scalar Types Are Not Enough

31 hours ago sot.dev plt rust

TanStack Start Now Support React Server Components

18 hours ago tanstack.com react

Tylenol in pregnancy not linked with autism, Danish study finds.

25 hours ago reuters.com autism neuroscience

Dragonflies evolved the same mechanism for detecting red light as mammals, independently — a rare case of parallel evolution

21 hours ago eurekalert.org medicine

The dangers of California's legislation to censor 3D printing

24 hours ago eff.org 3d california

The Human Cost of 10x: How AI Is Physically Breaking Senior Engineers

25 hours ago techtrenches.dev ai

Math Is Still Catching Up to the Mysterious Genius of Srinivasa Ramanujan (2024)

19 hours ago quantamagazine.org math

DaVinci Resolve – Photo

21 hours ago blackmagicdesign.com

More →