Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Why Computer Science Is No Good, Redux
cacm.acm.org·10h
🎯Performance Proofs
[D] reflecting on 8 years of model inference
reddit.com·2d·
Discuss: r/MachineLearning
💻Local LLMs
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·11h
🧮Kolmogorov Complexity
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·10h
💧Liquid Types
Machine Learning Fundamentals: model evaluation project
dev.to·10h·
Discuss: DEV
📏Code Metrics
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1d
💻Local LLMs
How the Lean language brings math to coding and coding to math
amazon.science·9h·
Discuss: Hacker News
🔬Lean
Rod Burstall: In Memoriam
arxiv.org·10h·
Discuss: Lobsters
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Carnival of Maths #241
aperiodical.com·1d
📐Mathematical Art
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·14h·
Discuss: www.blogger.com
🌳Persistent Data Structures
DSPy Simba Explained
blog.mariusvach.com·5h·
Discuss: Hacker News
🧮SMT Solvers
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
In Support Of Shitty Types
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
A Beginner's Guide to Skyline Queries
hackernoon.com·9h
📏Range Queries
Backpropagating through a maze with candle and WASM
yberreby.com·16m·
Discuss: Hacker News
🔲Cellular Automata