Matt Trout has died https://www.shadowcat.co.uk/2025/07/09/ripples-they-cause-in-the-world/
How to prove false statements: Practical attacks on Fiat-Shamir https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
Quanta Magazine
Computer Scientists Figure Out How To Prove Lies
An attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption schemes.
Optimizing a Math Expression Parser in Rust https://rpallas.xyz/math-parser/
Ricardo Pallás
Optimizing a Math Expression Parser in Rust
Optimizing a math expression parser for speed and memory.
Show HN: Typeform was too expensive so I built my own forms https://www.ikiform.com/
Ikiform
Create beautiful, interactive forms with Ikiform - An open-source alternative to Typeform and Google Forms.
Underwater turbine spinning for 6 years off Scotland's coast is a breakthrough https://apnews.com/article/tidal-energy-turbine-marine-meygen-scotland-ffff3a7082205b33b612a1417e1ec6d6
AP News
Underwater turbine spinning for 6 years off Scotland's coast is a breakthrough for tidal energy
Submerged in about 40 meters of water off Scotland’s coast, a turbine has been spinning for more than six years to harness the power of ocean tides and generate electricity.
Flix – A powerful effect-oriented programming language https://flix.dev/
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/
metr.org
Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity
We conduct a randomized controlled trial to understand how early-2025 AI tools affect the productivity of experienced open-source developers working on their own repositories. Surprisingly, we find that when developers use AI tools, they take 19% longer than…
Analyzing database trends through 1.8M Hacker News headlines https://camelai.com/blog/hn-database-hype/
Camelai
Analyzing Database Trends Through 1.8 Million Hacker News Headlines
Which databases are rising and falling in developer mind-share? Our 18-year Hacker News analysis shows PostgreSQL’s dominance, DuckDB and ClickHouse’s explosive growth, and cloud SaaS engines’ sharp decline heading into 2025.
❤1
Diffsitter – A Tree-sitter based AST difftool to get meaningful semantic diffs https://github.com/afnanenayet/diffsitter
GitHub
GitHub - afnanenayet/diffsitter: A tree-sitter based AST difftool to get meaningful semantic diffs
A tree-sitter based AST difftool to get meaningful semantic diffs - afnanenayet/diffsitter
What is Realtalk’s relationship to AI? (2024) https://dynamicland.org/2024/FAQ/#What_is_Realtalks_relationship_to_AI
Graphical Linear Algebra https://graphicallinearalgebra.net/
Graphical Linear Algebra
Visit the post for more.
Postgres LISTEN/NOTIFY does not scale https://www.recall.ai/blog/postgres-listen-notify-does-not-scale
www.recall.ai
Postgres LISTEN/NOTIFY does not scale
Postgres LISTEN/NOTIFY can cause severe performance issues under high write concurrency due to a global lock during commit. Learn why it doesn't scale and how to avoid outages.
Show HN: Open source alternative to Perplexity Comet https://www.browseros.com/
Browseros
BrowserOS - Open-Source Agentic Browser
BrowserOS is an open-source agentic browser that runs AI agents locally. Your privacy-first alternative to Perplexity Comet.
Final report on Alaska Airlines Flight 1282 in-flight exit door plug separation https://www.ntsb.gov:443/investigations/Pages/DCA24MA063.aspx
The ChompSaw: A benchtop power tool that's safe for kids to use https://www.core77.com/posts/137602/The-ChompSaw-A-Benchtop-Power-Tool-Thats-Safe-for-Kids-to-Use
Core77
The ChompSaw: A Benchtop Power Tool That's Safe for Kids to Use
Of all freestanding power tools, perhaps the jigsaw or scrollsaw would be the most fun for kids to use, as they allow freeform cuts. They're also pretty darn dangerous, with the jigsaw being powerful enough to remove fingers. A much safer way to introduce…