Graph Lineages and Skeletal Graph Products
arxiv.org·21h
🔗Graph Isomorphism
Topological AI enables interpretable inverse design of catalytic active sites
phys.org·9h
🌐Computational Topology
SAT Requires Exhaustive Search
link.springer.com·5h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·12h
📝Concrete Syntax
Extensions and Shadows (9)
sites.psu.edu·11h
✨Effect Handlers
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·39m·
Discuss: Hacker News
📊Citation Graphs
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·9h
⏰Time Crystals
LLMs - Embeddings 01
dev.to·19h·
Discuss: DEV
🧮Vector Embeddings
How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·9h
📐Mathematical Art
Who Am I in the Eye of AI?
lightcapai.medium.com·7h·
Discuss: Hacker News
🔲Cellular Automata
The Kepler Problem (Part 9)
johncarlosbaez.wordpress.com·23h
⚙Backus-Naur Form
On This Day in Math - August 4
pballew.blogspot.com·20h·
Discuss: www.blogger.com
📜Manuscript Algebras
Automating Boundary Filling in Cubical Type Theories
arxiv.org·21h
🔶Cubical Type Theory
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·15h
⚗️Algebraic Coding
Russian Teacher Tricks American Students
mindyourdecisions.com·5h
🌀Differential Geometry
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Honey Classification using Hyperspectral Imaging and Machine Learning
arxiv.org·21h
🧠Machine Learning
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·2d·
Discuss: Hacker News
🧬Bitstream Evolution
First Images of the Atomic Fingerprint of Heat in Quantum Materials
mse.umd.edu·4h·
Discuss: Hacker News
⚛️Quantum Tape