421
The New AI Superpowers: Focus and Followthrough
Burnout is on the rise again, with an ironic twist.
422
Slightly reducing the sloppiness of AI generated front end
I've been trying to make progress on a herculean task; I want decent looking programs for personal use which I can generate quickly using AI agents yet I'm a person without taste controlling an AI without taste. I found "one weird trick" that does enough for me, the results are not extra nice but it doesn't make me…
423
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code. Subscribe: Apple • Spotify • … More
424
425
500B tokens later: Letting AI agents decompile a first-person shooter
During the last 3 months, I spent some of my time and tokens decompiling a popular first-person shooter. The goal was not to reach a simple proof-of-concept state. Instead, we really wanted an accurate, stable and feature-complete recreation of the game. The avid reader of my blog might have noticed that I had…
426
AI children's books, body horror edition
Last week, I posted a visual demonstration of the sameness of AI-generated content.
427
Making an AI bid writer refuse to lie
A year of failure postmortems from building document AI for public tenders: phantom partners, silent coverage collapses, broken truth-meters, and why the refusal became the product.
428
The first 40 months of the AI era
Lzon.ca. A personal blog, by a programmer and IT expert.2026216 points144 commentsAI & Machine Learning details
A personal blog, by a programmer and IT expert. Essays, Articles, Guides, and Recipes. As well as Code, Quotes, and Links.
429
Vibe coding my way to a healthy family: Introducing Gamow Labs
Owen arrives On September 23rd, 2021, my first son Owen was born. Clearly inheriting his mom’s type-A personality, he arrived on his due date at a chunky 8.75 lbs. We were over the moon. Until we weren’t. At a few … Continue reading →
430
Good results fine tuning a local LLM like Qwen 3:0.6B to categorize questions
<p>As a fun personal project, I have been working on a chatbot for answering general questions about my household on anything from maintenance questions to doctor’s appointments. </p> <p> The general idea is that the chatbot will get its household knowledge through RAG from querying a vector database, but for better…
431
Anthropic's Safety Superpower
Anthropic’s belief in its own commitment to safety gives the company license to aggressively favor its business and even challenge the U.S. government.
432
Language models for text classification: From bag-of-words to Jev
A Visual Guide to RNNs, CNNs, Transformers, and Calibration, with Hands-On Experiments on Accuracy and Efficiency
433
OpenAI, the Partition Principle, and Mathematics
By the time I got out of bed yesterday, I had three people ask me if I'd seen the OpenAI announcement that the Partition Principle does not (...)
434
An AI Vibe Coding Horror Story
A medical professional built a patient management app using AI, exposed all patient data unprotected to the internet, and sent voice recordings to AI services without consent. Likely violating Swiss nDSG and other laws.
435
436
Please stop flooding our projects with AI slop to furnish your CV
Successful contributions to open source projects are a kind of currency. GitHub in particular encourages this in a number of ways: by showing avatars of contributors on repository pages, by showing your contributions to your followers via the activity feed and by signalling contributions per day on the activity graph…
437
Here be monsters: What do you still need to know when agents do the work?
AI agents write code faster than anyone can read it. What engineers still need: fundamentals, breadth, and the willingness to dive in when it breaks.
438
LLMs Are Complicated Now
Back in 2022 and 2023 there were two big branches of machine learning happening at Meta1. The LLM work that led to Llama was a clean, smooth stack of repeated Transformer modules; the recommendatio…
439
Where does next-token prediction leave us?
Your favourite ROP gadget
440
Anti-AI fonts are useless and harmful
Trying to obfuscate the web is a bad, pointless idea
441
Vāgdhenu: A Sanskrit Chanting TTS System
A vṛtta (meter) aware śloka-to-chant system for Sanskrit. Try the live demo, hear sample chants, read the paper.
442
The Agentic AI Handbook: Production-Ready Patterns
A comprehensive guide to 113 production-informed patterns for building reliable AI agents.
443
What mathematicians should know about the Lean Theorem Prover: reliability & AI
[This is a guest post by Thomas Hales. This blog post was initially written in a different file format and converted using AI. — T.] Mathematicians have been weighing in on what they value ab…
444
Data is the only moat
How different adoption models drive better applications
445
Shall we play a game? My AI nuclear simulation
My AI nuclear simulation is out now, and it's a WOPR.
446
My spicy take on vibe coding for PMs
I shared this internally at Meta in response to a deluge of clout-chasing posts celebrating PMs landing prod diffs. The response was positive and the message generalizes, so here we are on the open www. PMs shouldn’t waste time landing … Continue reading →
447
The unbearable cheapness of open weight models
Today I was setting up Hermes to see how it does with web research. I chose DeepSeek V4 because I know it is cheap, but seeing it’s pricing next to Anthropic and OpenAI ‘frontier’ models is crazy. Nearly a 50x price increase based on tokens alone, let alone how much pondering any of their models might fall into (using…
448
The Decoherence Trap
Of all the forms of tech debt, decoherence is the worst. It compounds exponentially with a system's rate of change, and AI is now producing it faster than ever, leading us deeper and deeper into the abyss...
449
Vote on which of Hacker News' challenges for AI have been met
AI plays well at complex strategy games with uncertainty and incomplete information.
450
The Future of AI Software Development
Detailed report on the Thoughtworks AI retreat, should we write a manifesto for AI-enabled development, is spec-driven development the return of waterfall, LLMs perform better in healthy codebases