Module Systems

Feeds to Scour
SubscribedAll
Scoured 29 posts in 15.7 ms

ocaml/odoc: Documentation compiler for OCaml

 🐫OCaml  Content type: Code
github.com·

OCaml Onboarding: Introduction to the Dune build system

 🏗️Dune  Content type: Blog
ocamlpro.com··Hacker News

OCaml Weekly News, 09 Jun 2026

 λFunctional Programming

A line-by-line translation of the OCaml runtime from C to Rust

 📦Opam  Content type: Discussion

Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans

 🔤Regular Expressions  Content type: Blog
semgrep.dev··Hacker News

Debootstrapping without Archeology: Stacked Implementations in Camlboot

 🔍Type Inference  Content type: Academic
arxiv.org··Lobsters

Why does `std.mem.sort` have the `context` field?

 🔍Type Inference  Content type: Discussion
ziggit.dev·

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 🔗Curry-Howard
lix.polytechnique.fr·

.plan-26-23: Earth Embeddings, Emails Everywhere, and ERRNOOOs

 🔍Type Inference
anil.recoil.org·

Starting Work at Jane Street

 🐫OCaml  Content type: Blog
hazelduvall.dev·

Tetsuwan Scientific | Software Engineer | San Francisco (SoMa) | ONSITE | Full-t...

 λFunctional Programming  Content type: Discussion

Rust goal: cargo script (like uv does for Python)

 📡Network Protocol Design

Tarides

 🐫Embedded OCaml  Content type: Code
github.com·

Generators: the API for traversal, iteration and non-determinism:

 λFunctional Programming
okmij.org·

Programming Languages Software Award

 Automated Theorem Proving
sigplan.org·

Docker 29 and COPY –link –chown

 🐋Docker  Content type: Blog
tunbury.org·

OpenCV 5.0 Computer Vision Library Released with Rewritten DNN Engine

 🧠Apple Neural Engine
linuxiac.com·

New comment by seanwilson in "Ask HN: Who wants to be hired? (June 2026)"

 🌐Static Sites  Content type: Discussion

We Cut Semgrep's Taint Analysis Time by 75%

 🔍Type Inference  Content type: Blog
semgrep.dev··Hacker News

Veo with Anders Hellerup Madsen and Gorm Casper

 🔧Microcontrollers
corrode.dev··r/rust

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help