Herb Sutter "Three Cool Things in C++26"
herbsutter.com·8h·
Discuss: Hacker News
🐫Embedded OCaml
Perfect Counterfactuals in Imperfect Worlds: Modelling Noisy Implementation of Actions in Sequential Algorithmic Recourse
arxiv.org·2d
🔠Type-Level Programming
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·1d·
Discuss: Hacker News, Hacker News
🔄Finite State Machines
Qclojure: Functional quantum computer programming library for Clojure
github.com·1h·
Discuss: Hacker News
🔄Finite State Machines
how to resolve a halting paradox
academia.edu·20h·
Discuss: r/programming
🔄Finite State Machines
Simpler Category Theory
ryanbrewer.dev·7h·
Discuss: Hacker News
➡️Category Theory
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·2h·
Discuss: Hacker News
🔠Type-Level Programming
Stream Integration
feldera.com·2d·
Discuss: Hacker News
🔬Static Analysis
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·7h·
Discuss: Lobsters, Hacker News
🐫OCaml
Show HN: I built a toy TPU that can do inference and training on the XOR problem
tinytpu.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Const Trait Counterexamples
dbeef.dev·6h·
Discuss: Lobsters, Hacker News, r/rust
🔠Type-Level Programming
Peeking Under the Hood of Claude Code
medium.com·6h·
Discuss: Hacker News
🛡️seL4
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
Monad Annoyance
macwright.com·13h·
Discuss: Lobsters, Hacker News
➡️Category Theory
Lisp in 99 Lines of C With TinyLisp
hackaday.com·19h
⚙️PL Implementation
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·17h
🔍Formal Verification
Why Is This Hard?
programmersstone.blog·8h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
How do LSM Trees work?
rowjee.com·3h·
Discuss: Hacker News
🛡️seL4
Subinterpreters and Asyncio
blog.changs.co.uk·11h·
Discuss: Hacker News
🐫Embedded OCaml
Overview of Complex System Design
arxiv.org·2d
📡Network Protocol Design