Atomic and Saturated Models
functor.network·22h·
Discuss: Hacker News
🔢Denotational Semantics
Efficient Quantum Field Theory Simulations via Hybrid Tensor Network & Variational Autoencoder Approach
dev.to·2h·
Discuss: DEV
🕸️Tensor Networks
original ↗
lmika.org·22h
🔗Concatenative Programming
News for September 2025
ptreview.sublinear.info·12h
🧪Property-Based Testing
Designers Should Look to Demis Hassabis. Not Jony Ive
suffsyed.com·2h·
Discuss: Hacker News
🌍Cultural Algorithms
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·7h
🔀Category Theory
OO Design Principles: SOLID
slott56.github.io·2d
💻Programming languages
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·1d
⚔️Lean Theorem
Lazy imports using wrapt
grahamdumpleton.me·16h
🦀Rust Macros
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·3h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Upgrading Our Way Through the Rest of OpenGL
bumbershootsoft.wordpress.com·3h
🎨LUT Compression
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·23h·
Discuss: Hacker News
🔤Type Theory
Superficial Safety Alignment Hypothesis
arxiv.org·1d
💾Binary Linguistics
Ask HN: Systems Development Path
news.ycombinator.com·10h·
Discuss: Hacker News
🦀Rust Borrowing
Stochastic Activations
gonzoml.substack.com·39m·
Discuss: Substack
📊Quantization
Delimited Continuations in Lone Lisp
matheusmoreira.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
LLM Prompt Fixed Point: the Ultimate Prompt
funcall.blogspot.com·1d·
Discuss: www.blogger.com
✓Automated Theorem Proving
Python feels sucky to use now
kix.dev·13h·
Discuss: Hacker News
🎯Gradual Typing
Higher-Level Design Patterns
qouteall.fun·1d·
Discuss: Hacker News
✨Algebraic Effects
mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.com·3d
🎞️Tape Combinatorics