Pratt parsing is a black box(vinipsmaker.github.io)
49 points by ibobev | 21 comments
A blog post arguing Pratt parsing can be treated as a black box, explaining the nud/led mindset and binding powers with examples from the author's C++ compiler.
First screen, captured . Open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
Apple capped engineers at a $200 daily AI budget(stork.ai)
60 points by GloVin | 76 comments
A Stork AI daily newsletter issue led by a report that Apple cut some engineers' daily AI spending cap to $200, plus other AI news items.
Nyquist Limit:The frequency of changes in tech is invalidating our understanding(ryanprior.com)
50 points by evakhoury | 21 comments
Blog post by Ryan Prior arguing that LLM-driven rapid change in software exceeds the human 'sampling rate' of understanding, using the Nyquist limit as an analogy.
Petered(aworkinglibrary.com)
156 points by adrianhoward | 90 comments
A reading note by Mandy Brown on what happens to people after the Peter Principle, drawing on Making a Career in Dictatorship and Bullshit Jobs, and on real imposters.
Nixpkgs for the Front End Impaired(fzakaria.com)
80 points by surprisetalk | 14 comments
Blog post introducing jinx, a tool that compiles Nix to TypeScript and evaluates all of nixpkgs with identical drvPaths, runnable in a browser.
Related stories
GPUs Go Brrr(hazyresearch.stanford.edu)
1056 points by nmstoker | 243 comments
Stanford Hazy Research blog post on what GPU hardware wants for efficient AI kernels, introducing the ThunderKittens CUDA kernel library.
On Being an Engineer in 2026(twitter.com)
149 points by talboren | 240 comments
An X article by a startup CTO arguing that engineers still have leverage over AI coding agents because of experience-based intuition and tacit knowledge.
AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)
343 points by saikatsg | 242 comments
Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
The new skill in AI is not prompting, it's context engineering(philschmid.de)
832 points by robotswantdata | 467 comments
Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.
AI agent opens a PR write a blogpost to shames the maintainer who closes it(github.com)
747 points by wrxd | 581 comments
A closed GitHub pull request to matplotlib by user crabby-rathbun proposing to replace np.column_stack with np.vstack().T for performance.