Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔢Reed-Solomon Math
A Proof of the Riemann Hypothesis
dev.to·1d·
Discuss: DEV
⚔️Lean Theorem
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·9h·
Discuss: DEV
📊Multi-vector RAG
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⚙️Proof Engineering
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·15h·
Discuss: Hacker News
⚙️Proof Engineering
Detecting Distillation Data from Reasoning Models
arxiv.org·3d
⚙️ABNF Mining
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
IASC: Interactive Agentic System for ConLangs
arxiv.org·19h
🌳Context free grammars
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·19h
⚡Proof Automation
Paper2Agent: Research Papers as Interactive AI Agents
huggingface.co·7h·
Discuss: Hacker News
🤖AI Curation
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.org·19h
🔲Cellular Automata
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🔗Concatenative Programming
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·19h
🧮Kolmogorov Complexity
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·3d
⚡Proof Automation