📦 Opam

OCaml Packages, Version Management, Dependencies, Repository

Linux Kernel Ported to WebAssembly
lore.kernel.org·4h·
Discuss: Hacker News
💻QEMU
Flag this post
Borrow checker says “No”! An error that scares me every single time!
polymonster.co.uk·1d
🔀OCaml Multicore
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·4h·
Discuss: Hacker News
λFunctional Programming
Flag this post
ImapGoose status update: v0.3.2
whynothugo.nl·1d·
Discuss: Hacker News
💬Mach Messages
Flag this post
Speedrunning an RL Environment
sidb.in·8h·
Discuss: Hacker News
🎮Verification Games
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·23h·
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
Unvanquished now cross-compiles Linux macOS and Windows from Debian Docker image
unvanquished.net·2d·
Discuss: Hacker News
📦Unikernel Systems
Flag this post
Esp-hal 1.0.0 release announcement
developer.espressif.com·2d·
Discuss: Hacker News, Hacker News, r/embedded, r/rust
🏗️Dune
Flag this post
I built a JBOD from a dead r710
reddit.com·11h·
Discuss: r/homelab
🔧Unikernel Development
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·3d·
Discuss: Hacker News
🔧ppx
Flag this post
Recent Rust Changes
ncameron.org·4d·
Discuss: Lobsters, Hacker News, r/rust
🏗️Dune
Flag this post
Dependency Management in Database Design
dolthub.com·3d
📦Module Systems
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·2d·
Discuss: Hacker News
🏢Jane Street Core
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
A portable picokernel for async I/O
ryansepassi.com·16h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Infrastructure as Code
opentofu.org·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Llmtext – an open source toolkit for llms.txt adoption
llmtext.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🎯GADT
Flag this post