I built a JBOD from a dead r710
reddit.com·16h·
Discuss: r/homelab
🔧Unikernel Development
Flag this post
Jackknife Transmittance and MIS Weight Estimation
momentsingraphics.de·2h·
Discuss: Hacker News
🎨GADTs
Flag this post
The AI Capability Gap
blog.dwac.dev·10h·
👁️System Observability
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·9h·
💻QEMU
Flag this post
Durable execution workflow system based on Postgres
github.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
nikuscs.com·15h·
Discuss: Hacker News
💎Refinement Types
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·1d·
Discuss: r/golang
🎯GADT
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
🧮Z3 Solver
Flag this post
A Senior Developer's Guide to the Model Context Protocol
dev.to·1d·
Discuss: DEV
🛡️seL4
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·1d·
Discuss: Hacker News
💬Mach Messages
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·22h·
Discuss: Hacker News
📦OPAM
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·1d·
Discuss: DEV
Automated Theorem Proving
Flag this post
Show HN: Vercel-like deployments on your own VPS
outlap.dev·4h·
Discuss: Hacker News
🐳Containerization
Flag this post
Nim 2.2.6
nim-lang.org·1d·
Discuss: Hacker News
📦Opam
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·7h·
Discuss: DEV
📊Runtime Verification
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·1d·
Discuss: DEV
🏃Escape Analysis
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post