HN blogs - 16/7/25
Verifiability Is the Limit https://alperenkeles.com/posts/verifiability-is-the-limit/ (HN source)
SFT Is Bad RL https://justinchiu.netlify.app/blog/sftrl/ (HN source)
Computer-vision, Pi3 and losing hackathons https://mtende.blog/computer-vision-pi-waste (HN source)
Building a tool that makes being on call for Type 1 Diabetes a little easier https://maori.geek.nz/being-on-call-for-type-1-diabetes-with-carer-777899f0162e (HN source)
Employers Pay Problem-Solvers, Not Encyclopedias https://michaelbastos.com/blog/why-employers-pay-problem-solvers-not-encyclopedias (HN source)
Application Development Without Programmers https://simonwillison.net/2025/Jul/14/application-development-without-programmers/ (HN source)
The party trick called LLM https://destaatvanhetweb.nl/2025/07/12/the-party-trick-called-llm-blowing-away-smoke-and-break-some-mirrors/ (HN source)
Future-Proofing Junior Devs in the LLM Era https://michaelbastos.com/blog/future-proofing-junior-devs-llm-era (HN source)
I'm Unsatisfied with Easing Functions https://www.davepagurek.com/blog/easing-functions/ (HN source)
Zig Interface Revisited https://williamw520.github.io/2025/07/13/zig-interface-revisited.html (HN source)
A Prettier Path https://www.olafalders.com/2025/07/16/on-a-prettier-path/ (HN source)
API Auth Is Deeper Than It Looks https://www.nango.dev/blog/api-auth-is-deep (HN source)
Gaslight-Driven Development https://tonsky.me/blog/gaslight-driven-development/ (HN source)
Divine Documentation https://aneeshsathe.com/2025/07/15/divine-documentation/ (HN source)
What happened with OpenAI's offer to buy Windsurf? https://markpettyjohn.com/jekyll/update/2025/07/15/my-windsurf-question.html (HN source)
Engineering the End of Work https://schmud.de/posts/2025-07-15-engineering-end-of-work.html (HN source)
Analysing Fix Data with ClickHouse https://benjaminwootton.com/insights/analysing-fix-data-with-clickhouse (HN source)
Creating a Colorscheme https://robinroses.xyz/blog/creating-a-colorscheme/ (HN source)