X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🐫OCaml
Lisp in 99 Lines of C With TinyLisp
hackaday.com·5h
⚙️PL Implementation
Building Code Retrieval for Claude Code from Scratch
zc277584121.github.io·17h·
Discuss: Hacker News
🔤DSLs
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
🤖Program Synthesis
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·5d·
Discuss: Lobsters, Hacker News
🐫OCaml
Introducing Rusted Firmware-A (RF-A) - A Rust-Based reimagination of Trusted Firmware-A
trustedfirmware.org·20h·
Discuss: r/rust
❄️Nixified Development
Show HN: I built a toy TPU that can do inference and training on the XOR problem
tinytpu.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·4h
🐫OCaml
Show HN: OnPair – String compression with fast random access (Rust, C++)
github.com·16h·
Discuss: Hacker News
🛡️seL4
Fuzzing Hardware Like Software (2021)
arxiv.org·11h·
Discuss: Hacker News
🔬Unikernels
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
Constructor Best Practices in Rust
blog.cuongle.dev·16h·
Discuss: Hacker News
🐫OCaml
Rust: Python’s New Performance Engine
thenewstack.io·12h
🔬Static Analysis
Interoperability in 2025: Beyond the Erlang VM
elixir-lang.org·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
The Release of LibreLane
fossi-foundation.org·1d·
Discuss: Hacker News
📦Unikernel Systems
Structured (Synchronous) Concurrency
fsantanna.github.io·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Language Models as Thespians
jstrieb.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🛡️seL4
How to Give Your RTX 4090 Nearly Infinite Memory for LLM Inference
medium.com·14h·
Discuss: Hacker News
👁️System Observability
Customizing Lisp REPLs
aartaka.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Without the Futex, It's Futile
h4x0r.org·18h·
Discuss: Lobsters, Hacker News, r/programming
🔬Unikernels