Property-based testing of batch-invariant operations
mmaaz.ca·6h·
Discuss: Hacker News
🎲Property Testing
Building a Command-Line Quiz Application in R
towardsdatascience.com·15h
💬Interactive REPLs
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·2h
🔒Rust Borrowing
The Inverse Matrix problem
talesfrom.dev·5h
🚂Error Propagation
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1h
🎲Parser Fuzzing
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·22h·
Discuss: DEV
🌿Trie Structures
why & how i learnt ML
abinesh-mathivanan.vercel.app·21h·
Discuss: r/programming
🔍ML Language
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1h
🧩Constraint Solvers
The 'Magic' of LLMs: The Function of Language
lesswrong.com·1d
🔍ML Language
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·1h
🔬Nanopasses
Getting Better at Software Engineering
madhadron.com·2d·
Discuss: Lobsters, Hacker News
🎮Language Ergonomics
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
machinelearning.apple.com·4d
📜Proof Languages
Writing a Dictation Application
osada.blog·10h
📚Self-Documenting Code
C? Rewrite it in Brainfuck
iacgm.pages.dev·2d·
Discuss: r/programming, r/rust
🪄C Metaprogramming
Delimited Continuations in Lone Lisp
matheusmoreira.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters
How Much Should You Tell Your AI Agent?
raymondyxu.com·11h·
Discuss: Hacker News
💬Interactive REPLs
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2d·
Discuss: Hacker News
📐Mathematical Computing
Type Theory and Functional Programming (1999) [pdf]
dev.to·4d·
Discuss: DEV
🎯Type Theory
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·1d
🔗Concatenative Theory
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·2d·
Discuss: Lobsters, Hacker News
🎭Racket Modules