First screen, captured . Open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
JIT bitmap text rendering for microcontrollers(linebender.org)
102 points by dmit | 22 comments
Raph Levien's Linebender blog post describing a JIT technique for fast proportional bitmap text rendering on the RP2350 microcontroller in his vic-2350 project.
JIT bitmap text rendering for microcontrollers(linebender.org)
5 points by raphlinus | 1 comments
Raph Levien's Linebender blog post describing a JIT technique for fast proportional bitmap text rendering on the RP2350 microcontroller for his vic-2350 project.
Lean Grimoire(terrytao.wordpress.com)
51 points by smilelamp | 8 comments
Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.
Awesome repositories are no longer awesome(erikgahner.github.io)
239 points by erikgahner | 116 comments
A blog post arguing that GitHub 'awesome' curated lists have become less useful due to outdated content and floods of AI-generated pull requests promoting vibe-coded sites.
Live-migration support in FreeBSD and bhyve coming(gyptazy.com)
64 points by JohnDohnBohn | 15 comments
Blog post presenting a work-in-progress RFC implementation of live VM migration for bhyve on FreeBSD 15.1, covering design, test results, and blockers to upstreaming.
Related stories
Coding expertise is going to collapse from AI reliance(larsfaye.com)
490 points by larsfaye | 479 comments
Blog essay by Lars Faye arguing that reliance on AI coding tools removes the friction needed to develop long-term programming expertise.
AI agents are starting to eat SaaS(martinalderson.com)
343 points by jnord | 343 comments
Martin Alderson blog post arguing that AI coding agents are reducing demand for SaaS products as companies can cheaply build their own software.
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 is dramatically accelerating AI research(planned-obsolescence.org)
333 points by yurivish | 300 comments
Ajeya Cotra's Substack post arguing a METR report shows AI is already roughly doubling AI capabilities progress at Anthropic, implying rapid compounding toward superintelligence.
AI coding has made CI a bottleneck, so we reworked ours to keep up(linear.app)
300 points by julian_digital | 367 comments
A Linear engineering blog post explaining how AI-assisted coding increased CI load and how the team reworked its CI pipeline to keep up.
An AI coding agent, used to write code, needs to reduce your maintenance costs(jamesshore.com)
331 points by cratermoon | 99 comments
James Shore blog post arguing that AI coding agents must cut software maintenance costs proportionally to how much they speed up code writing.