Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Lobsters Interview with Matklad
lobste.rs·1d·
Discuss: Lobsters
🦀Rust Macros
busy beaver function
ncatlab.org·8h
⚔️Lean Theorem
CL-JSON Ambiguity
funcall.blogspot.com·2h·
Discuss: www.blogger.com
🧠Lisp Dialects
JavaScript lib for exchanging selective disclosure proofs
github.com·47m·
Discuss: Hacker News
🌳Archive Merkle Trees
Active Learning for Neurosymbolic Program Synthesis
arxiv.org·1d
💻Programming languages
Fun OCaml 2025
fun-ocaml.com·50m·
Discuss: Hacker News
🧬Functional Programming
Beyond Bézier
beyondbezier.ch·8h·
Discuss: Hacker News
📖Nordic Typography
LLMs Won't Replace Programming Languages
mech-lang.org·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
The Baby Paradox in Haskell
blog.jle.im·2d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Icepath: a 2D Programming Language
healeycodes.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Get Back To WARP
binary.ninja·23h
🧪Binary Fuzzing
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
💧Liquid Types
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·1d·
Discuss: Hacker News
🔗Concatenative Programming
Codanna now supports Go! Instant call graphs, code-aware lookup, zero servers
reddit.com·16h·
Discuss: r/golang
🦀Rust Macros
the core of rust
jyn.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages
A string formatting library in 65 lines of C++
riki.house·21h·
Discuss: Lobsters, Hacker News
✅Format Verification
HigherOrderCO/HVM3
github.com·16h
🔗Functional Compilers