The Manhattan Well: How Aaron Burr and Alexander Hamilton United to Solve a Murder Mystery
atlasobscura.com·3h
🧬PostgreSQL Forensics
Project Vend: Can Claude run a small shop? (And why does that matter?)
anthropic.com·3h·
Discuss: Hacker News
🚀Indie Hacking
Elmo's World NP-complete problem (2006)
blog.plover.com·3d·
Discuss: Hacker News
🧮SMT Solvers
The Bitter Lesson
finbarr.ca·22h·
Discuss: Hacker News
🔲Cellular Automata
Many small evals beat one big eval, for AI Products
getkiln.ai·3h·
Discuss: Hacker News
🔍Concolic Testing
Using Generative AI to Strengthen & Accelerate Learning • Barbara Oakley • GOTO 2024
youtube.com·7h
🔲Cellular Automata
Self-Improving CLI Agents in 5 minutes
colinharman.substack.com·5h·
Discuss: Substack
⚡Proof Automation
Coding Agents 101: Some tips for using agents productively
devin.ai·1h·
Discuss: Hacker News
⚡Proof Automation
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
reddit.com·1d·
Discuss: r/golang
🔗Concatenative Programming
Small Encoders Can Rival Large Decoders in Detecting Groundedness
arxiv.org·15h
🧮Kolmogorov Complexity
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·3d·
Discuss: Hacker News
📦Container Security
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·3d
📏Code Metrics
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·2d
💻Local LLMs
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·2d
🌀Fractal Compression
How AI Helped Me Build a CRM Integration 60% Faster: A Real Vue.js + CouchDB Case Study
dev.to·23h·
Discuss: DEV
🌀Brotli Internals
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·5d·
Discuss: DEV
🧬Functional Programming
Language Modeling by Language Models
arxiv.org·1d
🤖Grammar Induction
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·1d·
Discuss: DEV
🌊Stream Ciphers
Video Perception Models for 3D Scene Synthesis
arxiv.org·1d
📐Projective Geometry