I built a JBOD from a dead r710
reddit.com·1d·
Discuss: r/homelab
🔧Unikernel Development
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
OpenAI Launches Aardvark To Detect and Patch Hidden Bugs In Code
it.slashdot.org·1d
👁️System Observability
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🎯GADT
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·16h·
Discuss: Hacker News
📦Opam
Flag this post
Reinventing Assertions
beust.com·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·2d
🔲Cellular Automata
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·2d
λFunctional Programming
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🔧Unikernel Development
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
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·3h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·20h·
Discuss: DEV
🔍CBMC
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
👁️System Observability
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·10h·
Discuss: Lobsters, Hacker News
💻CLI Tools
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·16h·
Discuss: Substack
⚡Process Calculi
Flag this post
Circular dependency check in Python
dev.to·1d·
Discuss: DEV
📦Module Systems
Flag this post
Migration Made Easy: Transitioning from Traditional AI Libraries to Low-Code Solutions in Q4 2025
dev.to·6h·
Discuss: DEV
🧱Immutable Infrastructure
Flag this post