Operable Software
ferd.ca·15h·
Discuss: Hacker News
✅Configuration Validation
Experimenting with ACL2 and Claude Code
mikedodds.org·16h·
Discuss: Hacker News
💬Interactive REPLs
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🔍ML Language
A Gaussian Leftover Hash Lemma for Modules over Number Fields
eprint.iacr.org·3d
🔗Borrowing Extensions
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·1d
🗺️Region Inference
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·2d
🎨Graph Coloring
Item Patterns and Struct Await
noratrieb.dev·23h·
Discuss: Hacker News
🛡️Error Handling
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
✨Effect Inference
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to·1d·
Discuss: DEV
🔄Subinterpreters
Cactus Language • Semantics 3
inquiryintoinquiry.com·13h
📋Backus-Naur Form
Nearly Instance-Optimal Parameter Recovery from Many Trajectories via Hellinger Localization
arxiv.org·2d
🪜Recursive Descent
Generalised fractional Rabi problem
arxiv.org·1d
📡Binary Protocols
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
Realistic Reward Hacking Induces Different and Deeper Misalignment
lesswrong.com·1d
✨Effect Inference
Building a Production-Ready E-Commerce Platform with NestJS
dev.to·12h·
Discuss: DEV
📦Monorepos
I built SemanticCache, a high-performance semantic caching library for Go
reddit.com·9h·
Discuss: r/LLM
🐹Go Internals
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·15h·
Discuss: Hacker News
🧩Constraint Solvers
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔬Nanopasses
Nonlinear phase gates as Airy transforms of the Wigner function
nature.com·15h
∀Quantified Types
What Large Language Models Teach Us About 'Human Knowledge'
opengovernance.net·3h
🌱Minimal ML