My Search Changed Today
mitchhorowitz.substack.com·6h·
Discuss: Substack
🔢Mathematical Logic
Sussan Ley boots Jacinta Nampijinpa Price from frontbench
crikey.com.au·6h
🌍Distributed Systems
Dr AI will see you now
newstatesman.com·12h
🔢Mathematical Logic
Dracula: September 10
draculadaily.substack.com·16h·
Discuss: Substack
🔢Mathematical Logic
ByteDance unveils new AI image model to rival Google DeepMind’s ‘Nano Banana’
scmp.com·16h·
Discuss: Hacker News, r/SCMPauto
🧭SMT Solvers
Don’t Mute the Post Horn
nplusonemag.com·14h
🔢Mathematical Logic
IRC Proceedings: Wednesday, September 10, 2025
techrights.org·2h
🧮Programming Language Theory
Lactobacillus acidophilus promotes cognitive function recovery via regulating microglial peroxisomal function in cerebral ischemia
cell.com·14h
🎲Probabilistic Programming
Inserting parts of excalidraw sketch in text.
reddit.com·12h·
Discuss: r/ObsidianMD
📝Lisp
Why Does AI Always Use Tailwind v2 Features?
reddit.com·20h·
Discuss: r/webdev
🦀Rust
Intel’s Battlematrix delivers Llama 8B cost‑efficiency payday
jonpeddie.com·12h
🏗Computer Architecture
Ask HN: What did you obtain from learning compilers?
news.ycombinator.com·3d·
Discuss: Hacker News
🔧Compiler Design
Looking for a Reliable Mini PC for My Home Server
reddit.com·10h·
Discuss: r/selfhosted
🏗Computer Architecture
AI Forensics: Reverse-Engineering Your Models for Hidden Data Leaks
dev.to·8h·
Discuss: DEV
🔐Cryptography
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
dev.to·8h·
Discuss: DEV
⚡Concurrency
Looking for books on Chinese literature / thought / and history and what translations to avoid
reddit.com·6h·
Discuss: r/booksuggestions
🧮Programming Language Theory
Build a deck of powerful programs in the cyberpunk deckbuilder Into The Grid in November
gamingonlinux.com·18h
⚖Algorithmic Game Theory
Recipes from the middle ages have much in common with how our grandparents used to cook
theconversation.com·16h
⚙Functional Programming
The Go Paradox: Why Fewer Features Create a Better Language for Senior Developers
dev.to·4d·
Discuss: DEV
🧮Programming Language Theory
'This is going to be a $7,000 lesson for you': 15 Workers whose clients, customers, and bosses saw their big mistakes
cheezburger.com·8h
🧩Theorem Proving