Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·8h·
Discuss: Hacker News
🎯Performance Proofs
The Library Method: Understanding @cache
dev.to·21h·
Discuss: DEV
⚡Cache Theory
Generative Art
4rknova.com·1d·
Discuss: Hacker News
📐Mathematical Art
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·3d
🎯Proof Tactics
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·18h
🧠Machine Learning
The Mondrian introduction to functional optics
marcosh.github.io·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·12h·
Discuss: DEV
🤖Paleographic AI
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·18h
💻Local LLMs
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·3h·
Discuss: Hacker News
🔗Concatenative Programming
Beyond the Hyped IMO Benchmarks: Towards a True Mathematical AI Discovery
quantumformalism.substack.com·1d·
Discuss: Substack
🧮SMT Solvers
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·2h·
Discuss: DEV
🔍Concolic Testing
Neuro-Symbolic AI
en.wikipedia.org·7h·
Discuss: Hacker News
🔲Cellular Automata
Item Patterns and Struct Await
noratrieb.dev·16h·
Discuss: Hacker News
🦀Rust Macros
Intro to RL: Off-Policy Methods
neelsomaniblog.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·1h·
Discuss: Hacker News
📊Quantization
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·2d
🕸️Graph Algorithms