📦 Opam

OCaml Packages, Version Management, Dependencies, Repository

AWK technical notes (2023)
maximullaris.com·3h·
Discuss: Lobsters
🔀Brzozowski Derivatives
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·6h·
Discuss: Hacker News
🔍CBMC
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
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
⚡Process Calculi
Flag this post
ImapGoose status update: v0.3.2
whynothugo.nl·2d·
Discuss: Hacker News
💬Mach Messages
Flag this post
Esp-hal 1.0.0 release announcement
developer.espressif.com·3d·
Discuss: Hacker News, Hacker News, r/embedded, r/rust
🏗️Dune
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
dev.to·11h·
Discuss: DEV
🎯GADT
Flag this post
Show HN: I built a tool to version control datasets (like Git, but for data)
shodata.com·9h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·16h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Recent Rust Changes
ncameron.org·6d·
Discuss: Lobsters, Hacker News, r/rust
🏗️Dune
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🔀OCaml Multicore
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·11h·
Discuss: Substack
🔀OCaml Multicore
Flag this post
Unvanquished now cross-compiles Linux macOS and Windows from Debian Docker image
unvanquished.net·3d·
Discuss: Hacker News
📦Unikernel Systems
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·1h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·4d·
Discuss: Hacker News
🔧ppx
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Our newest model: Chandra (OCR)
datalab.to·13h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Genesis Code: Seed-Based 3D World Cloning
dev.to·17h·
Discuss: DEV
🔲Cellular Automata
Flag this post