Math as a Gatekeeper
kidswholovemath.substack.com·1d·
Discuss: Substack
➡️Category Theory
Redis to Acquire Real-Time Data Platform Decodable
finance.yahoo.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
A new generative AI approach to predicting chemical reactions
news.mit.edu·3d·
Discuss: Hacker News
📚Automata Learning
Visual Development Is Fast Until Big-O Complexity Slows It Down. Here's Our Fix
jinen83.github.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Bootstrapping Android Development: a Survival Guide
hackaday.com·2d·
Discuss: Hacker News
❄️Nixified Development
A wild week: Grok Code Fast 1 exploding to 66% usage share
blog.kilocode.ai·1d·
Discuss: Hacker News
🔧Unikernel Development
Systems Engineering for Agentic Applications
agenticapplications.substack.com·5d·
Discuss: r/programming
🩹Self-Healing Systems
Testing the not-so-happy path
jorgeortiz.dev·4d·
Discuss: r/rust
🧪Property-Based Testing
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·5d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
Gülçin Yıldırım Jelínek: From DBA to DB Agents
xata.io·3d·
Discuss: Hacker News
👁️System Observability
Learn about building a Rust Plugin System
blog.anirudha.dev·5d·
Discuss: Hacker News
⚙️PL Implementation
Disciplined AI Software Development: Structured Method for Generative Programming
github.com·2d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
IdentityMesh: Exploiting Lateral Movement in Agentic Systems
lasso.security·1d·
Discuss: Hacker News
🛡️seL4
LLM as Pair?
ronjeffries.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Can you help me decide on a name for my project? I'm thinking Py++.
github.com·3d·
Discuss: r/programming
⚙️PL Implementation
Small Steps vs. Big Steps
lesswrong.com·1d
⚙Operational Semantics
C Tooling
tomscheers.github.io·4d·
Discuss: Hacker News, r/C_Programming
🔬Static Analysis
TinyDrop: Tiny Model Guided Token Dropping for Vision Transformers
arxiv.org·2d
📚Automata Learning
Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
arxiv.org·2d
🔧Unikernel Development
Cyclic Implicit Complexity
arxiv.org·5d
🐫OCaml