Reading List 08/02/2025
construction-physics.com·22h
🏠Home Automation
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
👑Isabelle
All the Water Rising
amandaguinzburg.substack.com·22h·
Discuss: Substack
🚀Indie Hacking
Proxima and Hugging Face Announce the ConStellaration Challenge
proximafusion.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Meta
engineering.fb.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
Weight Agnostic Neural Networks
weightagnostic.github.io·6d·
Discuss: Hacker News
🧠Machine Learning
2025 One Hertz Challenge: Learn Morse Code One Second at a Time
hackaday.com·14h
🧪Cassette Hacks
Facts will not Save You - AI, History and Soviet Sci-Fi
hegemon.substack.com·1d·
Discuss: Substack
🤖AI Translation
Fake Videos Just Got Scarier. Luckily, This AI Can Spot Them All
scitechdaily.com·3d·
Discuss: Hacker News
🔍Vector Forensics
Show HN: List of Clojure-Like projects
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Ants and Algorithms: 5 Solutions Inspired From Insects
hackernoon.com·1d
🔲Cellular Automata
CUE based tools?
reddit.com·14h·
Discuss: r/kubernetes
🔗Topological Sorting
User Interfaces in Agentic CLI Tools: What Developers Need
thenewstack.io·16h
📟Terminals
LivinGrimoire VS Standalone LLM
dev.to·1d·
Discuss: DEV
🔄Archival Workflows
Brilliant Labs presents "Halo" AI glasses: Privacy-friendly and open source
heise.de·2d
🌈Holographic Storage
Zuckerberg’s ‘personal superintelligence’ plan: fill your free time with more AI
theverge.com·1d
🌀Brotli Internals
DevOps Pioneer: Vibe Coding 100x Bigger Than DevOps Revolution
thenewstack.io·18h
⚔️Lean Tactics
Fundamental diagram constrained dynamic optimal transport via proximal splitting methods
arxiv.org·5d
📐Compression Bounds
Repocks: Enable RAG from In-Repo Documentation
dev.to·16h·
Discuss: DEV
🤖Archive Automation
How Kimi RL’ed Qualitative Data to Write Better
dbreunig.com·2d·
Discuss: Hacker News
🧠Intelligence Compression