958
495
Show HN: Ten years of running every day, visualized
https://nodaysoff.run
1 year ago
775
485
Measuring the impact of AI on experienced open-source developer productivity
https://metr.org/blog/2025-07-10-early-2025-ai-experienced-os-dev-study/
500
125
Show HN: Pangolin – Open source alternative to Cloudflare Tunnels
https://github.com/fosrl/pangolin
437
604
Grok 4 Launch [video]
https://twitter.com/xai/status/1943158495588815072
358
167
German court rules Meta tracking technology violates European privacy laws
https://therecord.media/german-court-meta-tracking-tech
341
190
Flix – A powerful effect-oriented programming language
https://flix.dev/
328
253
Grok 4
https://simonwillison.net/2025/Jul/10/grok-4/
304
26
Graphical Linear Algebra
https://graphicallinearalgebra.net/
302
96
Andrew Ng: Building Faster with AI [video]
https://www.youtube.com/watch?v=RNJCfif1dPY
301
71
FOKS: Federated Open Key Service
https://foks.pub/
291
122
Show HN: Open source alternative to Perplexity Comet
https://www.browseros.com/
282
92
What is Realtalk’s relationship to AI? (2024)
https://dynamicland.org/2024/FAQ/#What_is_Realtalks_relationship_to_AI
281
151
Red Hat Technical Writing Style Guide
https://stylepedia.net/style/
280
63
Is Gemini 2.5 good at bounding boxes?
https://simedw.com/2025/07/10/gemini-bounding-boxes/
279
274
AI coding tools can reduce productivity
https://secondthoughts.ai/p/ai-coding-slowdown
261
222
Underwater turbine spinning for 6 years off Scotland's coast is a breakthrough
https://apnews.com/article/tidal-energy-turbine-marine-meygen-scotland-ffff3a7082205b33b612a1417e1ec6d6
252
227
A Virginia public library is fighting off a takeover by private equity
https://lithub.com/a-virginia-public-library-is-fighting-off-a-threatened-takeover-by-private-equity/
231
82
Show HN: Cactus – Ollama for Smartphones
https://github.com/cactus-compute/cactus
221
68
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
https://benbridle.com/projects/bedrock.html
219
166
How to prove false statements: Practical attacks on Fiat-Shamir
https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/