Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔬Nanopasses
Has anyone tried csprimer and have any reviews on it?
csprimer.com·15h·
Discuss: Hacker News
⚡Live Programming
What Large Language Models Teach Us About 'Human Knowledge'
opengovernance.net·3h
🌱Minimal ML
Together AI's ATLAS adaptive speculator delivers 400% inference speedup by learning from workloads in real-time
venturebeat.com·16h
🗺️Region Inference
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·19h
✨Effect Inference
GoMem is a high-performance memory allocator library for Go
github.com·1d
🧠Memory Allocators
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
📋JSON Parsing
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·4h·
Discuss: Hacker News
🪜Recursive Descent
Looking at my Arduino
boswell.bearblog.dev·12h
🔌Microcontrollers
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
📝Rope Editors
Toy Binary Decision Diagrams
philipzucker.com·5d
✅Type Checking
Is GRPO Broken?
neelsomaniblog.com·4h·
Discuss: Hacker News
⚡Partial Evaluation
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·15h·
Discuss: Hacker News
🧩Constraint Solvers
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
📏Linear Haskell
GaloisInc/parameterized-utils
github.com·3d
📏Linear Haskell
Cactus Language • Semantics 3
inquiryintoinquiry.com·13h
📋Backus-Naur Form
I combined ZetaMac and MonkeyType into the best quick math game. Go try it!
monkeymac.vercel.app·7h·
Discuss: r/javascript, r/reactjs, r/webdev
🧸Toy Compilers
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·10h·
Discuss: Hacker News
🎮Language Ergonomics