Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·22h
🎯Performance Proofs
Building an AI-Powered Domain Name Generator: Technical Deep Dive
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Dependent types I › Universes, or types of types
jonmsterling.com·3d·
Discuss: Hacker News
🔤Type Theory
The use of Claude Code in SciML repos
discourse.julialang.org·14h·
Discuss: Lobsters
📏Code Metrics
Equivalence via Surjections
golem.ph.utexas.edu·15h
🔀Category Theory
Chicken Scheme internals: the garbage collector
more-magic.net·22h·
Discuss: Hacker News
🧠Separation Logic
AI researcher Andrej Karpathy says he's "bearish on reinforcement learning" for LLM training
the-decoder.com·25m
🧠Intelligence Compression
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·1d
💎Information Crystallography
Understanding Automatic Differentiation
swagatmitrab.vercel.app·1d·
Discuss: Hacker News
📐Error Bounds
Token Alignment Protocol, Zero Drift for AI Agents
symbiquity.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Understanding Tool-Integrated Reasoning
arxiv.org·3d
🔗Constraint Handling
Elephants for breakfast
bitfieldconsulting.com·1d
🦀Rust Macros
What is a large language model?
proton.me·21h
💻Local LLMs
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·3d·
Discuss: Hacker News
🧮Algebraic Datatypes
Marginal Effect of Hyperparameter Tuning with XGBoost
towardsdatascience.com·21h
🧮Kolmogorov Bounds
Macroexpand-Deep 2025 – the first Clojure AI conference
scicloj.github.io·14h·
Discuss: Hacker News
🦀Rust Macros
Making Operations Research More Accessible: Insights from the Rise of ML
pubsonline.informs.org·2d·
Discuss: Hacker News
🧠Machine Learning
Mojo Roadmap Document
docs.modular.com·1d·
Discuss: Hacker News
💻Programming languages
Model Merging – A Biased Overview
crisostomi.github.io·2d·
Discuss: Hacker News
🔲Cellular Automata
OOP and the expression problem
bennett.ink·1d·
Discuss: r/programming
✨Algebraic Effects