Software convergence
underlap.org·1d
🔢Denotational Semantics
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·21h·
Discuss: Hacker News
⚡Proof Automation
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·2d
✨Effect Handlers
Lisp in 99 Lines of C With TinyLisp
hackaday.com·3d
🔗Lisp
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Codeminer42 Dev Weekly #75
blog.codeminer42.com·19h
📏Code Metrics
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·4d·
Discuss: r/programming
🔤Type Theory
Signal Relays
pzuraq.com·19h·
Discuss: Hacker News
✨Effect Handlers
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·20h
🔗Tailscale
It's okay to solve a problem twice
til.andrew-quinn.me·4h·
Discuss: Hacker News
⚡Proof Automation
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
What would Monads in JavaScript look like?
playfulprogramming.com·5d
🧬Functional Programming
An Update on Pytype
github.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Go Beyond Viper and Cobra: Declarative Field-Driven Configuration for Go Apps
dev.to·10h·
Discuss: DEV
📋Format Specification
Const Trait Counterexamples
dbeef.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🔒Type Safety
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Show HN: Novel GPT-2 sampling and memory architecture
github.com·3h·
Discuss: Hacker News
💎Information Crystallography
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
💻Programming languages
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·19h·
Discuss: Hacker News
⚡Dependent Rust
Fox pairing
ncatlab.org·1h
🔱Galois Theory