Graph Lineages and Skeletal Graph Products
arxiv.org·20h
🕸️Graph Algorithms
SAT Requires Exhaustive Search
link.springer.com·4h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·11h
📝Concrete Syntax
Quantum framework offers new approach to analyzing complex network data
phys.org·6h
⚛️Quantum Circuits
How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·8h
📐Mathematical Art
Extensions and Shadows (9)
sites.psu.edu·10h
✨Effect Handlers
LLMs - Embeddings 01
dev.to·18h·
Discuss: DEV
🧮Vector Embeddings
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·13h
⚗️Algebraic Coding
Who Am I in the Eye of AI?
lightcapai.medium.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Deriving Rope the Proper Way
nor-blog.pages.dev·4d·
Discuss: Hacker News
📐Linear Algebra
Automating Boundary Filling in Cubical Type Theories
arxiv.org·20h
🔶Cubical Type Theory
News for July 2025
ptreview.sublinear.info·3d
🎯Performance Proofs
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
Where Matters: Location Feature Engineering for Search & Recs
shaped.ai·1d
📏Range Queries
The Generativity Pattern in Rust
arhan.sh·6h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·7h·
Discuss: blog.computationalcomplexity.org, Hacker News
🎯Performance Proofs
Linkage from Montreal
11011110.github.io·4d
🎨Graph Coloring
Week 7 — Learning Basic Concepts of Cybersecurity
infosecwriteups.com·19h
🔐Capability Systems
Pairing-unfriendly curves
johndcook.com·4h
🔱Galois Cryptography