Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
A gentle introduction to Generative AI: Historical perspective
medium.com·1h·
Discuss: Hacker News
🧠Learned Codecs
Show HN: Realization Jsmn on a Pure Zig
github.com·16h·
Discuss: Hacker News
🔗Concatenative Programming
Experimenting with ACL2 and Claude Code
mikedodds.org·14h·
Discuss: Hacker News
👑Isabelle
Neuro-Symbolic AI
en.wikipedia.org·12h·
Discuss: Hacker News
🔲Cellular Automata
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·7h·
Discuss: Hacker News
🔗Concatenative Programming
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·5h·
Discuss: Hacker News
📊Quantization
Real-Time Adaptive Sparsity Optimization for Edge-Deployed AI Inference Accelerators
dev.to·16h·
Discuss: DEV
🌊Streaming Compression
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·12h·
Discuss: Hacker News
🎯Performance Proofs
Randomized and quantum approximate matrix multiplication
arxiv.org·22h
🔐Quantum Cryptography
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·22h
⛪Church Encoding
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·2d
💨Cache Optimization
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·4h·
Discuss: Hacker News
🎯Performance Proofs
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·22h
📼Cassette Combinators
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·22h
🧠Machine Learning
Why Low-Precision Transformer Training Fails: An Analysis on Flash Attention
huggingface.co·1d·
Discuss: Hacker News
📊Learned Metrics
Building the Reasoning Engine at Axiom
axiommath.ai·6h·
Discuss: Hacker News
⚔️Lean Tactics