Automating Boundary Filling in Cubical Type Theories
arxiv.org·21h
🔶Cubical Type Theory
SAT Requires Exhaustive Search
link.springer.com·5h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
[D] reflecting on 8 years of model inference
reddit.com·1d·
Discuss: r/MachineLearning
💻Local LLMs
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·15h
⚗️Algebraic Coding
Carnival of Maths #241
aperiodical.com·14h
📐Mathematical Art
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·12h
📝Concrete Syntax
Extensions and Shadows (9)
sites.psu.edu·11h
✨Effect Handlers
Constructive Disintegration and Conditional Modes
arxiv.org·21h
🏗️Constructive Logic
In Support Of Shitty Types
lucumr.pocoo.org·7h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Machine Learning Fundamentals: machine learning tutorial
dev.to·9h·
Discuss: DEV
🧮Z3 Applications
Challenges of Pseudocode Expansion
funcall.blogspot.com·18h·
Discuss: www.blogger.com
🔗Lisp
Introductory Computer Science and Software Engineering Topics
albertyw.com·23h
🛠Language Design
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
The Generativity Pattern in Rust
arhan.sh·7h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·9h·
Discuss: blog.computationalcomplexity.org, Hacker News
🎯Performance Proofs
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·47m·
Discuss: Hacker News
📊Citation Graphs
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms