How To Work With Local AI in the Zed IDE
thenewstack.io·18h
📦Unikernel Systems
Postgres internals deep dive: Process Architecture
enterprisedb.com·9h·
Discuss: Hacker News
📡Network Protocol Design
What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·2d·
Discuss: r/programming
👁️System Observability
Defold makes a big step towards first-class Teal support
defold.com·56m·
Discuss: Hacker News
🐫Embedded OCaml
Nvidia's context-optimized Rubin CPX GPUs were inevitable
theregister.com·22h·
Discuss: Hacker News
🔧Unikernel Development
The subjective experience of coding in different programming languages
interconnected.org·23h·
Discuss: Hacker News
🔬Static Analysis
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
Demystifying Tensor Parallelism
robotchinwag.com·2d·
Discuss: Hacker News
🧩Separation Logic
From Modular to Utility-First tailwind migration
auslake.vercel.app·2d·
Discuss: r/programming
🔄Reproducible Builds
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·3d·
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
I created waveFiller – an animated bucket fill effect for the HTML 5 canvas
github.com·1h·
Discuss: Hacker News
🏹Effect Systems
Eat Your Vegetables Before AI Dessert
writings.alethia.news·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Anticipatory Fall Detection in Humans with Hybrid Directed Graph Neural Networks and Long Short-Term Memory
arxiv.org·2d
📚Automata Learning
Writing Code Is Easy. Reading It Isn't
idiallo.com·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Stability Analysis for Stochastic Hybrid Inclusions
arxiv.org·3d
🩹Self-Healing Systems
We Badly Need Frameworks
koolcodez.com·4d·
Discuss: Hacker News
📐Denotational Semantics