📦 Opam

OCaml Packages, Version Management, Dependencies, Repository

ImapGoose status update: v0.3.2
whynothugo.nl·1d·
Discuss: Hacker News
💬Mach Messages
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
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
Machine Scheduler in LLVM – Part II
myhsu.xyz·3h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Recent Rust Changes
ncameron.org·5d·
Discuss: Lobsters, Hacker News, r/rust
🏗️Dune
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·11h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Our newest model: Chandra (OCR)
datalab.to·54m·
Discuss: Hacker News
📐Linear Algebra
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·3d·
Discuss: Hacker News
🏢Jane Street Core
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·3d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
A portable picokernel for async I/O
ryansepassi.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·19h·
Discuss: DEV
🔍CBMC
Flag this post
Go's New WaitGroup.Go
dev.to·4h·
Discuss: DEV
λFunctional Programming
Flag this post
Llmtext – an open source toolkit for llms.txt adoption
llmtext.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🎯GADT
Flag this post
Vercel AI SDK 6 Beta
v6.ai-sdk.dev·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·2d
λFunctional Programming
Flag this post
Composer Patches 2.0.0
cweagans.net·1d·
Discuss: Hacker News
💾Cachix
Flag this post
Dependency Management in Database Design
dolthub.com·4d
📦Module Systems
Flag this post