🏗️ Dune

OCaml Build System, Package Management, Compilation, Monorepos

Handbook of Satisfiability (2021)
iospress.com·15h·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·2d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·4h·
Discuss: Hacker News
🛡️seL4
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
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·3d·
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
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·11h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Pressure to change
maryrosecook.com·1d·
Discuss: Hacker News
🧪Concolic Testing
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·18h·
Discuss: DEV
🧮Lambda Calculus
Flag this post
What's new in Swift: October 2025 Edition
swift.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·5h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Get Ready for Clojure, GPU, and AI in 2026 with CUDA 13.0
dragan.rocks·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·1d·
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
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
The ZeroAccess Developer and His Windows Kernel-Mode Debugger
r136a1.dev·11h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
I built an faster Notion in Rust
imedadel.com·5d·
Discuss: Lobsters, Hacker News, r/rust
🏃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·2d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post