Writing a book in the age of open source
blog.incrementalforgetting.tech·19h·
Discuss: Lobsters
✓Automated Theorem Proving
Holding It Together
onelook.com·9h·
Discuss: Hacker News
📝Term Rewriting
Can you say no to your doctor using an AI scribe?
theconversation.com·13h·
Discuss: Hacker News
📚Automata Learning
Strong Eventual Consistency - The Big Idea behind CRDTs
lewiscampbell.tech·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📡Network Protocol Design
Reticular Thalamic Activity and Autism Spectrum Disorders
science.org·1d·
Discuss: Hacker News
➡️Category Theory
Я Articles
muratkasimov.art·3d·
Discuss: Hacker News
➡️Category Theory
All You Need Is SSH
wrongthink.link·19h·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
Schlep Blindness (2012)
paulgraham.com·1d·
Discuss: Hacker News
🛡️seL4
Was Action! The Best 8-Bit Language?
hackaday.com·7h
💾Retro Computing
Multiscale Graph Neural Network for Turbulent Flow-Thermal Prediction Around a Complex-Shaped Pin-Fin
arxiv.org·2d
🧩Separation Logic
AI Browsers: A Needs Analysis
chamomile.ai·21h·
Discuss: Hacker News
✓Automated Theorem Proving
The Great Domestication: How Artificial Intelligence Is Remaking Consciousness
philosophermaker.substack.com·1d·
Discuss: Substack
📚Automata Learning
Run Any MCP as Agent
blog.inxm.ai·1d·
Discuss: Hacker News
🐳Containerization
Thoughts on Evals
raindrop.ai·4d·
Discuss: Hacker News
🧪Property-Based Testing
LLMs encode theory-of-mind: a study on sparse parameter patterns
nature.com·5d·
Discuss: Hacker News
📚Automata Learning
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·2d
🐫OCaml
AI in Government
schneier.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
A Study of Large Language Models for Patient Information Extraction: Model Architecture, Fine-Tuning Strategy, and Multi-task Instruction Tuning
arxiv.org·2d
🧩Parser Combinators
Skip to the End
thenanyu.com·2d·
Discuss: Hacker News
💾Retro Computing
Exploring the frontiers of the periodic table: Bismuth Catalysis's applications
chemistryworld.com·16h·
Discuss: Hacker News
🐫OCaml