377
240
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/
4 hours ago
143
161
Seven Engineers Suspended After $2.3M Bridge Includes 90-Degree Turn
https://www.vice.com/en/article/7-engineers-suspended-after-2-3-million-bridge-includes-bizarre-90-degree-turn/
165
75
Flix – A powerful effect-oriented programming language
https://flix.dev/
7 hours ago
230
50
Is Gemini 2.5 good at bounding boxes?
https://simedw.com/2025/07/10/gemini-bounding-boxes/
8 hours ago
185
147
How to prove false statements: Practical attacks on Fiat-Shamir
https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
11 hours ago
154
77
Show HN: Typeform was too expensive so I built my own forms
https://www.ikiform.com/
12 hours ago
164
126
Kite News
https://kite.kagi.com/
13 hours ago
348
158
German court rules Meta tracking technology violates European privacy laws
https://therecord.media/german-court-meta-tracking-tech
15 hours ago
407
507
Grok 4 Launch [video]
https://twitter.com/xai/status/1943158495588815072
17 hours ago
239
203
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/