Graph Lineages and Skeletal Graph Products
arxiv.org·23h
🔗Graph Isomorphism
SAT Requires Exhaustive Search
link.springer.com·6h·
Discuss: Hacker News
🧮Kolmogorov Complexity
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·16h
⚗️Algebraic Coding
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
Quantum framework offers new approach to analyzing complex network data
phys.org·8h
⚛️Quantum Circuits
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·13h
📝Concrete Syntax
News for July 2025
ptreview.sublinear.info·3d
🎯Performance Proofs
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·2h·
Discuss: Hacker News
📊Citation Graphs
Understanding the KNN Algorithm: Finding Your Nearest Neighbors
dev.to·3d·
Discuss: DEV
🗂️Vector Search
Carnival of Maths #241
aperiodical.com·15h
📐Mathematical Art
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
Extensions and Shadows (9)
sites.psu.edu·13h
✨Effect Handlers
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·10h·
Discuss: blog.computationalcomplexity.org, Hacker News
🎯Performance Proofs
How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·10h
📐Mathematical Art
Cycles of Elliptic Curves
johndcook.com·2d
🔱Galois Cryptography
Python LeetCode 70: Climbing Stairs - (Easy)
dev.to·4h·
Discuss: DEV
📐Interval Arithmetic
Automating Boundary Filling in Cubical Type Theories
arxiv.org·23h
🔶Cubical Type Theory
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·18h·
Discuss: Hacker News
🔒Linear Types
Russian Teacher Tricks American Students
mindyourdecisions.com·7h
🌀Differential Geometry