Prime Portraits
archive.bridgesmathart.org·1d
📐Mathematical Art
Generative Art
4rknova.com·1d·
Discuss: Hacker News
📐Mathematical Art
Neuro-Symbolic AI
en.wikipedia.org·13h·
Discuss: Hacker News
🔲Cellular Automata
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·7h·
Discuss: DEV
🔍Concolic Testing
Item Patterns and Struct Await
noratrieb.dev·21h·
Discuss: Hacker News
🦀Rust Macros
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·2d
🕸️Graph Algorithms
VLLM Predicted Outputs
cascadetech.ai·6h·
Discuss: Hacker News
💻Local LLMs
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·4h·
Discuss: Hacker News
⚡Proof Automation
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·23h
📐Compression Bounds
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.co·1d·
Discuss: Hacker News
📊Learned Metrics
Contrastive Weak-to-strong Generalization
arxiv.org·23h
⧗Information Bottleneck
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·2d
🧮Compute Optimization
The Porcelain to Come
stackdiver.com·4h·
Discuss: Hacker News
🔲Cellular Automata
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·23h
🔗Parser Combinators
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·17h·
Discuss: DEV
🤖Paleographic AI
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·1d
⚛️Quantum Algorithms