Characterizing NC1 with Typed Monoids
arxiv.org·3h
🔶Cubical Type Theory
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·8h
🔗Functional Compilers
Presheaf automata
arxiv.org·3h
🎯Automata theory
A brief consideration of input shapes (fuzzing)
addisoncrump.info·15h·
Discuss: Lobsters
🧪Binary Fuzzing
The theorem on formal functions
math.columbia.edu·2d
⚔️Lean Theorem
Logic Unseen: Revealing the Logical Blindspots of Vision-Language Models
arxiv.org·3h
📏Linear Logic
Abstract algebra structures made easy
blog.sesse.net·2d
🔀Category Theory
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·3h
⚡Incremental Computation
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·3h
🔗Parser Combinators
https://blog.wilsonl.in/search-engine/?s=09
blog.wilsonl.in·1d
🔍BitFunnel
CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·1h
🌊Stream Ciphers
Dyna – Logic Programming for Machine Learning
dyna.org·1d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·3h
🔮Proof Search
Efficient Neural Network Pruning via Adaptive Spectral Density Shaping
dev.to·23h·
Discuss: DEV
📊Quantization
Interpolation in Classical Propositional Logic
arxiv.org·3h
🔗Combinatory Logic
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·3h
💻Programming languages
CURE: Critical-Token-Guided Re-concatenation for Entropy-collapse Prevention
arxiv.org·3h
🔗Concatenative Programming
PTMPicker: Facilitating Efficient Pretrained Model Selection for Application Developers
arxiv.org·3h
🌀Brotli Dictionary
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·3h
🎨Graph Coloring
Conditional Independence Estimates for the Generalized Nonparanormal
arxiv.org·3h
📐Information Geometry