Claude on Rails
obie.medium.com·2h·
Discuss: Hacker News
👑Isabelle
Elmo's World NP-complete problem (2006)
blog.plover.com·3d·
Discuss: Hacker News
🧮SMT Solvers
The Bitter Lesson
finbarr.ca·1d·
Discuss: Hacker News
🔲Cellular Automata
Many small evals beat one big eval, for AI Products
getkiln.ai·6h·
Discuss: Hacker News
🔍Concolic Testing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·2d
📝Concrete Syntax
Rust Forge Conf 2025 Schedule Announced
newsletter.rustforgeconf.com·9h
🦀Rust Macros
Project Vend: Can Claude run a small shop? (And why does that matter?)
anthropic.com·6h·
Discuss: Hacker News
🚀Indie Hacking
How Do You Handle Orphaned Processes?
reddit.com·1d·
Discuss: r/golang
🎯Gradual Typing
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
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
Video Perception Models for 3D Scene Synthesis
arxiv.org·1d
📐Projective Geometry
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·1d·
Discuss: DEV
🌊Stream Ciphers
Off-Policy Evaluation and Learning for the Future under Non-Stationarity
arxiv.org·1d
🧠Machine Learning
SPD-CFL: Stepwise Parameter Dropout for Efficient Continual Federated Learning
arxiv.org·3d
📊Learned Metrics
CovDocker: Benchmarking Covalent Drug Design with Tasks, Datasets, and Solutions
arxiv.org·18h
🔍BitFunnel