Eilenberg correspondence for Stone recognition
arxiv.org·22h
📜Manuscript Algebras
Travels, 11
cameroncounts.wordpress.com·8h
🎯Performance Proofs
Parsing Layout, or: Haskell's Syntax is a Mess
amelia.how·1d·
Discuss: Lobsters, r/programming
🔗Monadic Parsing
weak topology of a topological vector space
ncatlab.org·1d
🕸️Algebraic Topology
Discovering cognitive strategies with tiny recurrent neural networks
nature.com·10h
🔲Cellular Automata
The Algebraic Structure of Morphosyntax
arxiv.org·22h
💾Binary Linguistics
Gradient Trouble
percisely.xyz·9h·
Discuss: Hacker News
📐Error Bounds
5 Advanced RAG Architectures Beyond Traditional Methods
machinelearningmastery.com·14h
🌀Brotli Internals
Stop adding booleans to programming languages
goldenstack.net·23h·
Discuss: Hacker News
⛪Church Encoding
Autoformalization of mathematical theorems? No shit!
freedommathdance.blogspot.com·11h·
Discuss: freedommathdance.blogspot.com
🔬Lean
WebAssembly for Client-Side Image Processing
dev.to·1d·
Discuss: DEV
🎬WebCodecs API
Ultra: Universal Grammar as a Universal Parser
frontiersin.org·4d·
Discuss: Hacker News
🔗Monadic Parsing
Outlier Weighed Layerwise Sparsity (OWL): A Missing Secret Sauce for Pruning LLMs to High Sparsity
arxiv.org·22h
💻Local LLMs
$\sigma$-Maximal Ancestral Graphs
arxiv.org·22h
🔗Graph Isomorphism
Reachability in symmetric VASS
arxiv.org·1d
🎯Dependent Types
Vibe coding a Perl interface to a foreign library
chrisarg.github.io·23h·
Discuss: Hacker News
📝Concrete Syntax
Delooping presented groups in homotopy type theory
arxiv.org·22h
🔶Cubical Type Theory
Recursive factorial in 14 characters (2023)
mvanier.github.io·1d·
Discuss: Hacker News
🔗Concatenative Programming
A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
arxiv.org·22h
🔢Denotational Semantics
A Hierarchical and Evolvable Benchmark for Fine-Grained Code Instruction Following with Multi-Turn Feedback
arxiv.org·22h
📼Tape Combinators