Writing a book in the age of open source
blog.incrementalforgetting.tech·1d·
Discuss: Lobsters
✓Automated Theorem Proving
Using domain inspired ML for embedded DSP
buchanan.one·3d·
Discuss: Hacker News
📚Automata Learning
Atlassian Ascend: discontinuing data center products
atlassian.com·1d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·2d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
Intro to FPGAs
medium.com·4d·
Discuss: r/programming
⚙️Operating System Design
Kerberoasting
blog.cryptographyengineering.com·2h·
Discuss: Lobsters, Hacker News
🛡️seL4
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·4h·
Discuss: Hacker News
🧪Property-Based Testing
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·2d·
Discuss: r/javascript, r/programming
💎Refinement Types
The Ping Pong Ball Paradox
en.wikipedia.org·3d·
Discuss: Hacker News
⚡Process Calculi
The United Arab Emirates Releases a Tiny But Powerful AI Model
wired.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Semiconductor Fabs II: The Operation
lesswrong.com·2d
💾Retro Computing
The Aider Local Model Experience
hexeditreality.com·4d·
Discuss: Hacker News
🛡️seL4
Virtual panel: How software engineers and team leaders can excel with AI
infoq.com·3d·
Discuss: Hacker News, Hacker News
🤖Program Synthesis
ASCENDgpt: A Phenotype-Aware Transformer Model for Cardiovascular Risk Prediction from Electronic Health Records
arxiv.org·2d
🧩Parser Combinators
PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
arxiv.org·2d
🩹Self-Healing Systems
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·1d·
Discuss: Hacker News
✓Automated Theorem Proving
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