SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·17h
🔗Functional Compilers
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·1d
🧮Kolmogorov Complexity
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Mechanistic View of Transformers: Patterns, Messages, Residual Stream… and LSTMs
towardsdatascience.com·1d
🌊Streaming Algorithms
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
How the Lean language brings math to coding and coding to math
amazon.science·23h·
Discuss: Hacker News
🔬Lean
5 Maths Gems #191
resourceaholic.com·1h·
Discuss: www.resourceaholic.com
📐Mathematical Art
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·22h
🔬Refinement Types
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
🔄Lens Laws
Mastering LLM Temperature: A Step-by-Step Guide
dev.to·1h·
Discuss: DEV
🧮Kolmogorov Bounds
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
Who Am I in the Eye of AI?
lightcapai.medium.com·1d·
Discuss: Hacker News
🔲Cellular Automata
YC Startups Use AI: Agents, OCR, and Prompt Engineering with Mercoa (YC W23)
aiengineering.report·1h·
Discuss: Hacker News
⚡Proof Automation
Backpropagating through a maze with candle and WASM
yberreby.com·13h·
Discuss: Hacker News
🔲Cellular Automata