First screen, captured . Open the video.
Captured . Click for the whole screenshot.
80 points by fairestvalue | 17 comments
Wincon's TIS-100 Bench report evaluating 16 LLMs on optimizing solutions to Zachtronics' TIS-100 puzzles, with a leaderboard and analysis of new frontier records.
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.
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.
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.
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.
221 points by zerop | 38 comments
Apple Machine Learning Research post on learned support functions (SupportNet, KeyNet) that speed up maximum inner product search for RAG retrieval.
706 points by Alifatisk | 273 comments
Project homepage for Reasonix, an open-source DeepSeek-native terminal coding agent built around DeepSeek's prefix cache for low-cost long sessions.
359 points by meetpateltech | 74 comments
GitHub repository for DeepSeek-Prover-V2, DeepSeek's model for formal theorem proving, containing a paper PDF, README, model license, and miniF2F solutions.
733 points by wertyk | 253 comments
DeepSeek API docs news post announcing the DeepSeek-V3.1 release, featuring hybrid think/non-think inference, faster reasoning, and stronger agent skills.
701 points by noch | 308 comments
Unsloth blog post describing dynamic 1.58-bit quantization of DeepSeek-R1 671B, shrinking it to 131GB so users can run it locally.
530 points by theanonymousone | 289 comments
An Artificial Analysis page meant to benchmark DeepSeek V4 Flash's intelligence, performance and price, which returned a 404 Page not found error.
458 points by apitman | 291 comments
Artificial Analysis homepage offering independent benchmarks and rankings of AI models and providers, here linked to its agentic intelligence index view.