SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
Software books I wish I could read
buttondown.com·1h
🔄Language Evolution
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Three challenges in machine-based reasoning
amazon.science·9h·
Discuss: Hacker News
🧮Theorem Proving
Build a Command-Line Tool for Skyline Queries in Golang
hackernoon.com·20h
🧠Query Planners
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
Why Computer Science Is No Good, Redux
cacm.acm.org·21h
🎯Performance Proofs
New Method Is the Fastest Way To Find the Best Routes
quantamagazine.org·14m
🕸️Network Topology
Python performance myths and fairy tales
lwn.net·6h·
Discuss: Lobsters, Hacker News
💻Programming languages
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
The Christofides Algorithm
alon.kr·22h·
Discuss: Hacker News
🕸️Graph Algorithms
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·22h
🧮Kolmogorov Complexity
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
On This Day in Math - August 6
pballew.blogspot.com·9h·
Discuss: www.blogger.com
📐Mathematical Art
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·2d·
Discuss: Hacker News
🔢Bitwise Algorithms
SIEVE — a better algorithm than LRU?
blog.apnic.net·1d
💨Cache Analysis
How the Lean language brings math to coding and coding to math
amazon.science·20h·
Discuss: Hacker News
🔬Lean
Implementing symbolic-statistical hybrids for operational AI reasoning in process plants
dev.to·46m·
Discuss: DEV
🌊Stream Processing