How the Lean language brings math to coding and coding to math
amazon.science·9h·
Discuss: Hacker News
🔬Lean
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·7h
🔬Refinement Types
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge
arxiv.org·23h
🧮Kolmogorov Complexity
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
My 2-Year-Old Shipped His First Game. I'm Not Teaching Him to Code.
dev.to·14h·
Discuss: DEV
🕹️Retro Gaming
Gotta Go Fast: Jobs, Emails and Cache with Rails
blog.codeminer42.com·9h
🔄Sync Engine
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·13h
🎯Gradual Typing
How far can we push AI autonomy in code generation?
martinfowler.com·13h·
Discuss: Hacker News
⚡Proof Automation
Week 31 Status
blogs.gnome.org·1d
🎯Gradual Typing
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·3h
💻Local LLMs
AI in Action Hackathon: Celebrating the GitLab innovations
about.gitlab.com·1d
⚙️TLA+
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
The hiring test that defeated AI
bitecode.dev·11h·
Discuss: Hacker News
✅Shell Verification
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·16h·
Discuss: Hacker News
🌳Archive Merkle Trees
DSPy Simba Explained
blog.mariusvach.com·5h·
Discuss: Hacker News
🧮SMT Solvers
A New Concurrent ML in Guile Scheme
wingolog.org·18h·
Discuss: Hacker News
🔄Lens Laws