🏗️ Dune

OCaml Build System, Package Management, Compilation, Monorepos

Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·4h
❄️NixOS
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·15h·
Discuss: Hacker News
📦Opam
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Intervaltree with Rust Back End
github.com·3h·
Discuss: Hacker News
🏢Jane Street Core
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
➡️Category Theory
Flag this post
JavaScript Utility Library Lodash Changing Governance Model
thenewstack.io·20h
🔧DevOps
Flag this post
Smaller Surfaces
nrempel.com·12h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·19h·
Discuss: Lobsters, Hacker News, Hacker News
💻QEMU
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·7h·
Discuss: Hacker News
🔨Compilers
Flag this post
Debian's APT Will Soon Begin Requiring Rust: Debian Ports Need To Adapt Or Be Sunset
phoronix.com·12h·
Discuss: Hacker News
🍏Darwin
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·13h·
Discuss: DEV
💬Mach Messages
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·1d·
Discuss: r/golang
🎯GADT
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·2d·
Discuss: Lobsters, Hacker News
📦Opam
Flag this post
Bold Devlog - October Summary
bold-edit.com·22h·
Discuss: r/programming
🔬Static Analysis
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·3d·
Discuss: Hacker News, r/rust
💎Refinement Types
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·21h·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post