X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🐫Embedded OCaml
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
🤖Program Synthesis
SPL Lightweight Multisource Mixed Computation Practices
github.com·5m·
Discuss: Hacker News
⚙️PL Implementation
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·4h
💻CS
Lisp in 99 Lines of C With TinyLisp
hackaday.com·6h
⚙️PL Implementation
Constructor Best Practices in Rust
blog.cuongle.dev·16h·
Discuss: Hacker News
🐫Embedded OCaml
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·5d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Fuzzing Hardware Like Software (2021)
arxiv.org·11h·
Discuss: Hacker News
🔬Unikernels
how to resolve a halting paradox
academia.edu·8h·
Discuss: r/programming
🔄Finite State Machines
Customizing Lisp REPLs
aartaka.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
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
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·18h·
Discuss: Hacker News, Hacker News
🏹Effect Systems
Building Code Retrieval for Claude Code from Scratch
zc277584121.github.io·17h·
Discuss: Hacker News
🐫Embedded OCaml
Structured (Synchronous) Concurrency
fsantanna.github.io·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Interoperability in 2025: Beyond the Erlang VM
elixir-lang.org·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Code Vulnerability Detection Across Different Programming Languages with AI Models
arxiv.org·1d
🔬Static Analysis
Unification
eli.thegreenplace.net·2d·
Discuss: Hacker News
💻CS
Modelling Exactly-Once Delivery Using TLA+
medium.com·2d·
Discuss: Hacker News
🔍Formal Verification
Monad Annoyance
macwright.com·1h·
Discuss: Hacker News
➡️Category Theory
GPT-OSS from the Ground Up
cameronrwolfe.substack.com·15h·
Discuss: Substack
📦Unikernel Systems