Simpler Category Theory
ryanbrewer.dev·13h·
Discuss: Hacker News
🔬Static Analysis
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·22h
🔍Formal Verification
An Update on Pytype
github.com·9h·
Discuss: Hacker News
🔠Type-Level Programming
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·2d·
Discuss: r/programming
🐫OCaml
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·12h·
Discuss: Lobsters, Hacker News
🐫OCaml
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·7h·
Discuss: Hacker News
🔠Type-Level Programming
Memory as Structured Trajectories: Persistent Homology and Contextual Sheaves
arxiv.org·1d
🐫OCaml
Alphabet of Human Thought
en.wikipedia.org·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Modeling GRNs with a Probabilistic Categorical Framework
arxiv.org·22h
🏹Effect Systems
Don't ask to ask, just ask
dontasktoask.com·2h·
Discuss: r/programming
🔬Static Analysis
A Systematic Study of Post-Training Quantization for Diffusion LLMs
arxiv.org·1h·
Discuss: Hacker News
🐫Embedded OCaml
Monad Annoyance
macwright.com·19h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·1d·
Discuss: Hacker News, Hacker News
🏹Effect Systems
Tracing the evolution of single-cell 3D genomes in Kras-driven cancers
nature.com·14m·
Discuss: Hacker News
🔬Unikernels
Characterizing NC1 with Typed Monoids
arxiv.org·2d
🐫OCaml
A mathematical paradox allows infinite cloning
quantamagazine.org·1d·
Discuss: Hacker News
🔬Unikernels
Rspack Introduces Rslint, a TypeScript-First Linter Written in Go
socket.dev·4h·
Discuss: Hacker News
🔠Type-Level Programming
Presheaf automata
arxiv.org·2d
🔄Finite State Machines
Teaching: A Few Useful Analogies
jonathandinu.com·9h·
Discuss: Hacker News
🔬Static Analysis
Building a Regex Engine
abstractsyntaxseed.com·14h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml