How To Work With Local AI in the Zed IDE
thenewstack.io·12h
📦Unikernel Systems
Postgres internals deep dive: Process Architecture
enterprisedb.com·3h·
Discuss: Hacker News
📡Network Protocol Design
What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·1d·
Discuss: r/programming
👁️System Observability
Enhance your CLI testing workflow with the new dotnet test
devblogs.microsoft.com·9h·
Discuss: Hacker News
👁️System Observability
Nvidia's context-optimized Rubin CPX GPUs were inevitable
theregister.com·16h·
Discuss: Hacker News
🔧Unikernel Development
The subjective experience of coding in different programming languages
interconnected.org·17h·
Discuss: Hacker News
🔬Static Analysis
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·2d
📚Automata Learning
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·3d·
Discuss: Hacker News
🧮Lambda Calculus
IO is special
blog.ploeh.dk·2d·
Discuss: Lobsters
💎Refinement Types
The Margins of Cybernetics (1963)
blog.outlandish.claims·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·3d
✅Model Checking
High Dimensional Optimization Remains Hard
win-vector.com·2d·
Discuss: Hacker News
🏹Effect Systems
The Case for An AI Safety Political Party in the US
lesswrong.com·12h
🩹Self-Healing Systems
From Modular to Utility-First tailwind migration
auslake.vercel.app·1d·
Discuss: r/programming
🔄Reproducible Builds
Eat Your Vegetables Before AI Dessert
writings.alethia.news·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·2d·
Discuss: Substack
🤖Program Synthesis
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·2d
⚙Operational Semantics
'Make invalid states representable' considered harmful
seangoedecke.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
The Little Book of Everything
github.com·2d·
Discuss: Hacker News
➡️Category Theory
Anticipatory Fall Detection in Humans with Hybrid Directed Graph Neural Networks and Long Short-Term Memory
arxiv.org·2d
📚Automata Learning