🏗️ Dune

OCaml Build System, Package Management, Compilation, Monorepos

Weak-To-Strong Generalization
lesswrong.com·13h
🔤Kleene Algebra
Flag this post
Esp-hal 1.0.0 release announcement
developer.espressif.com·3d·
Discuss: Hacker News, Hacker News, r/embedded, r/rust
🐫Embedded OCaml
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·2d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
What's new in Swift: October 2025 Edition
swift.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Borrow checker says “No”! An error that scares me every single time!
polymonster.co.uk·2d·
Discuss: Hacker News, r/rust
🔀OCaml Multicore
Flag this post
Composer Patches 2.0.0
cweagans.net·1d·
Discuss: Hacker News
💾Cachix
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Show HN: I built a tool to version control datasets (like Git, but for data)
shodata.com·2h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·15h·
Discuss: Lobsters, Hacker News
🛡️macOS Security
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·2d·
Discuss: Hacker News
🍎XNU Internals
Flag this post
I built an faster Notion in Rust
imedadel.com·4d·
Discuss: Lobsters, Hacker News, r/rust
🏃Escape Analysis
Flag this post
Why AI Needs Human Oversight for Architecture: A Real Refactoring Story
dev.to·5h·
Discuss: DEV
🏃Escape Analysis
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·2d·
Discuss: Hacker News, r/cpp
👁️System Observability
Flag this post
A portable picokernel for async I/O
ryansepassi.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Digest #186: Inside the AWS Outage, Docker Compose in Production, F1 Hacks and 86,000 npm Packages Attacks
devopsbulletin.com·1d
🔧DevOps
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·2d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Building Spokane Tech: Part 9
dev.to·1d·
Discuss: DEV
⎈Kubernetes
Flag this post
Unleash the Power of LLMs in Rust with Helios Engine
dev.to·1d·
Discuss: DEV
🧱Immutable Infrastructure
Flag this post