🏗️ Dune

OCaml Build System, Package Management, Compilation, Monorepos

Weak-To-Strong Generalization
lesswrong.com·7h
🔤Kleene Algebra
Flag this post
Recent Rust Changes
ncameron.org·5d·
Discuss: Lobsters, Hacker News, r/rust
📦Opam
Flag this post
The Development of Pie
terathon.com·11h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Ubuntu Will Use Rust For Dozens of Core Linux Utilities
news.slashdot.org·16h
📦Unikernel Systems
Flag this post
Rouille – Rust Programming, in French
dev.to·1d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·12h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·19h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·4h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Get Ready for Clojure, GPU, and AI in 2026 with CUDA 13.0
dragan.rocks·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.to·21h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·16h·
Discuss: Substack
⚡Process Calculi
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Esp-hal 1.0.0 release announcement
developer.espressif.com·2d·
Discuss: Hacker News, Hacker News, r/embedded, r/rust
🐫Embedded OCaml
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
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
What's new in Swift: October 2025 Edition
swift.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Composer Patches 2.0.0
cweagans.net·1d·
Discuss: Hacker News
💾Cachix
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
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.com·9h·
Discuss: Hacker News
🔧DevOps
Flag this post