First screen, captured . Open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
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.
Live-migration support in FreeBSD and bhyve coming(gyptazy.com)
63 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.
Bun ported to Rust in 6 days(twitter.com)
89 points by qprofyeh | 2 comments
Samsung running a TensorFlow lite model on 960x540 image to track you(twitter.com)
272 points by mashally | 176 comments
An X post reporting that Samsung Tizen TVs run an INT8 AlexNet TensorFlow Lite model on 960x540 screen captures every few seconds to identify which game is being played.
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.
Related stories
Experimenting with Local LLMs on macOS(blog.6nok.org)
367 points by frontsideair | 241 comments
A personal blog post by a self-described LLM skeptic explaining how to download and run large language models locally on a Mac.
I built a programming language that LLMs can't use(blog.picheta.me)
244 points by dom96 | 179 comments
Blog post by Dominik Picheta introducing KillSwitch, a programming language he designed so that large language models cannot use it.
I don't like passkeys(hawksley.dev)
676 points by ethanhawksley | 665 comments
A personal blog post by Ethan Hawksley explaining why he dislikes passkeys and the tech industry's push to make users adopt them.
The Hackintosh Reborn(naut.ca)
385 points by rubatuga | 223 comments
Blog post arguing AI coding tools like Claude Code are reviving the Hackintosh community, citing macOS ports to Snapdragon, ARM SBCs, and Nvidia GPU support.
Why I can no longer recommend a Mac to fellow blind computer users(applevis.com)
352 points by devinprater | 69 comments
An AppleVis blog post arguing that Apple's neglect of VoiceOver and macOS accessibility means the author can no longer recommend Macs to blind users.
Software may be getting worse, but it used to be horrible(bitlog.com)
282 points by jakevoytko | 309 comments
Blog post by Jake Voytko arguing that while software may be degrading today, software from the 1990s and 2000s was far buggier, citing crashes, lost work, and insecurity.