Weekly Best
151.
Thunderbird Pro August 2025 Update (blog.thunderbird.net)
152.
Phrack 72 (phrack.org)
153.
Tiny microbe challenges the definition of cellular life (nautil.us)
154.
Show HN: Sping – An HTTP/TCP latency tool that's easy on the eye (dseltzer.gitlab.io)
155.
CRDT: Text Buffer (madebyevan.com)
156.
The issue of anti-cheat on Linux (2024) (tulach.cc)
157.
Good EU regulations (actuallygoodregulations.eu)
158.
Show HN: PlutoPrint – Generate PDFs and PNGs from HTML with Python (github.com)
159.
Python f-string cheat sheets (2022) (fstring.help)
160.
We put agentic AI browsers to the test – They clicked, they paid, they failed (guard.io)
161.
Romhack.ing's Internet Archive Mirror No Longer Available (romhack.ing)
162.
XSLT removal will break multiple government and regulatory sites (github.com)
163.
Mail Carriers Pause US Deliveries as Tariff Shift Sows Confusion (bloomberg.com)
164.
Materialized views are obviously useful (sophiebits.com)
165.
Writing Speed-of-Light Flash Attention for 5090 in CUDA C++ (gau-nernst.github.io)
166.
Measuring the environmental impact of AI inference (arstechnica.com)
167.
Show HN: We started building an AI dev tool but it turned into a Sims-style game (youtube.com)
168.
Being “Confidently Wrong” is holding AI back (promptql.io)
169.
What could have been (coppolaemilio.com)
170.
Static sites with Python, uv, Caddy, and Docker (nkantar.com)
171.
Why Semantic Layers Matter (and how to build one with DuckDB) (motherduck.com)
172.
Perfect Freehand – Draw perfect pressure-sensitive freehand lines (perfectfreehand.com)
173.
Show HN: Luminal – Open-source, search-based GPU compiler (github.com)
174.
FCC Bars over 1,200 Providers for Non-Compliance with Robocall Protections (docs.fcc.gov)
175.
Dynamically patch a Python function's source code at runtime (ericmjl.github.io)
176.
Launch HN: Channel3 (YC S25) – A database of every product on the internet
177.
BBC witnesses settlers attack on Palestinian farm in West Bank (bbc.com)
178.
Popular Japanese smartphone games have introduced external payment systems (english.kyodonews.net)
179.
AnduinOS (anduinos.com)
180.
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover (imperialcollegelondon.github.io)