Domain Driven Design in Clojure with Generalized Hiccup
biotz.ioยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Functional Compilers
Atomic and Saturated Models
functor.networkยท23hยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
News for September 2025
ptreview.sublinear.infoยท13h
๐ŸงชProperty-Based Testing
The Closure Phenomenon: Functions That Remember
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปProgramming languages
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.netยท4hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.comยท4hยท
Discuss: Hacker News
โšกIncremental Computation
Fun with HyperLogLog and SIMD
vaktibabat.github.ioยท13hยท
Discuss: Hacker News, r/rust
๐Ÿ“ŠHyperLogLog
The Analystโ€™s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.comยท1d
โš”๏ธLean Theorem
Asymmetric Proximal Policy Optimization: mini-critics boost LLM reasoning
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Group Theory Day in Budapest
cameroncounts.wordpress.comยท2d
๐Ÿ”€Category Theory
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.comยท1hยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinลฏ
logicmatters.netยท8h
๐Ÿ”€Category Theory
Delimited Continuations in Lone Lisp
matheusmoreira.comยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.ioยท14hยท
Discuss: Hacker News, r/LLM
ฮปLambda Encodings
Upgrading Our Way Through the Rest of OpenGL
bumbershootsoft.wordpress.comยท4h
๐ŸŽจLUT Compression
Terence Tao says ChatGPT saved him hours solving a math problem
the-decoder.comยท12h
๐ŸงฎSMT Solvers
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codesยท23h
๐Ÿ”—Functional Compilers
OO Design Principles: GRASP patterns
slott56.github.ioยท10h
๐Ÿ”’WASM Capabilities
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ฌLean
Stochastic Activations
gonzoml.substack.comยท1hยท
Discuss: Substack
๐Ÿ“ŠQuantization