Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·19h
🔄Burrows-Wheeler
Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.org·2d
📏Range Queries
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·1d
📊Graph Databases
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·2d
⚔️Lean Theorem
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1h·
Discuss: Hacker News
🎯Performance Proofs
Spectral Graph Clustering under Differential Privacy: Balancing Privacy, Accuracy, and Efficiency
arxiv.org·1d
📈Spectral Graph Theory
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·19h
🧠Machine Learning
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔢Reed-Solomon Math
🐼 Pandas DataFrame Selection, Filtering & Cleaning — Hands-on Practice.
dev.to·4h·
Discuss: DEV
📐Linear Algebra
Reverse Supply Chain Network Design of a Polyurethane Waste Upcycling System
arxiv.org·19h
🔗Supply Chain
The Unknotting Number is Not Additive
divisbyzero.com·1d·
Discuss: Hacker News
🕸️Algebraic Topology
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·21h·
Discuss: Hacker News, r/programming
✅Format Verification
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·1d·
Discuss: Hacker News
🔄Burrows-Wheeler
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·3h·
Discuss: Hacker News
📊Quantization
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·3h·
Discuss: DEV
🔍Concolic Testing
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·10h·
Discuss: Hacker News
🎯Performance Proofs
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·19h
🧮Theorem Proving