The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
➡️Category Theory
Extending a Phylogeny-based Method for Detecting Signatures of Multi-level Selection for Applications in Artificial Life
arxiv.org·1d
🔄Reproducible Builds
Scheme Basics
courses.cs.washington.edu·6h·
Discuss: Hacker News, Hacker News
🐫OCaml
Rspack Introduces Rslint, a TypeScript-First Linter Written in Go
socket.dev·1d·
Discuss: Hacker News
🐫OCaml
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·3d·
Discuss: r/programming
🐫OCaml
What Hugging Face reveals about the data economy of fine-tuning
research.portexai.com·3h·
Discuss: Hacker News
🐫OCaml
An Update on Pytype
github.com·2d·
Discuss: Hacker News
🔬Static Analysis
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
🐫Embedded OCaml
the core of rust
jyn.dev·1d·
Discuss: Lobsters, Hacker News, r/rust
🔬Static Analysis
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
➡️Category Theory
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·3h·
Discuss: Hacker News
🔍Formal Verification
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
➡️Category Theory
Icepath: a 2D Programming Language
healeycodes.com·19h·
Discuss: Hacker News
🐫Embedded OCaml
Rust for Gophers - a short interview
packagemain.tech·7h·
Discuss: r/programming
🧱Immutable Infrastructure
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🐫OCaml
Contrasting Data and Objects (2018)
tedinski.com·1d·
Discuss: Hacker News
🔬Static Analysis
Multiagent orchestration framework to manage swarms via drag and drop
github.com·1h·
Discuss: Hacker News
⎈Kubernetes
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·7h·
Discuss: Hacker News
🔬Static Analysis
Racket 8.18 Released
blog.racket-lang.org·10h·
Discuss: Hacker News
🏹Effect Systems
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·2d
🔍Formal Verification