SAT Requires Exhaustive Search
link.springer.com·5h·
Discuss: Hacker News
🧮Kolmogorov Complexity
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·14h
⚗️Algebraic Coding
Alignment Monitoring
arxiv.org·21h
⚙️Assembly Verification
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·8h·
Discuss: blog.computationalcomplexity.org, Hacker News
🧠Computational Logic
News for July 2025
ptreview.sublinear.info·3d
🕸️Graph Algorithms
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·9h
⏰Time Crystals
Extensions and Shadows (9)
sites.psu.edu·11h
✨Effect Handlers
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Machine learning by satisfiability solving
johndcook.com·4d
🧮SMT Solvers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Automating Boundary Filling in Cubical Type Theories
arxiv.org·21h
🔶Cubical Type Theory
Machine Learning Fundamentals: machine learning with python
dev.to·8h·
Discuss: DEV
🧠Machine Learning
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·3d
🕸️Tensor Networks
RDNA4 + CDNA3 Architectures Thread
forums.anandtech.com·10h
⚡Compression Hardware
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
Fly.io Distributed Systems Challenge solutions (again I guess)
reddit.com·18h·
Discuss: r/golang
🏛️Byzantine Archives
Who Am I in the Eye of AI?
lightcapai.medium.com·7h·
Discuss: Hacker News
🔲Cellular Automata
Introductory Computer Science and Software Engineering Topics
albertyw.com·23h
🛠Language Design
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·34m·
Discuss: Hacker News
📊Citation Graphs