Threaded Code
muforth.dev·9h·
Discuss: Hacker News
🦀Rust Macros
Godel's Incompleteness Theorem
news.ycombinator.com·3h·
Discuss: Hacker News
🔤Type Theory
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
daily quizzz
dev.to·7h·
Discuss: DEV
λLambda Encodings
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·1h·
Discuss: DEV
🌊Stream Processing
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·16h
🌀Fractal Compression
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·8h·
Discuss: Hacker News
🔗Constraint Handling
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·9h·
Discuss: Hacker News, r/programming
🔗Lisp
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·5h·
Discuss: DEV
✓Automated Theorem Proving
Hypercubical manifolds in homotopy type theory
arxiv.org·16h
🔶Cubical Type Theory
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·1d
🔲Cellular Automata
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🧮Kolmogorov Complexity
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·6d·
Discuss: Hacker News
🔢Denotational Semantics
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·5h·
Discuss: Substack
🦀Rust Macros
Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
arxiv.org·1d
🎯Performance Proofs