How the Lean language brings math to coding and coding to math
amazon.science·3h·
Discuss: Hacker News
📡gRPC
My 2-Year-Old Shipped His First Game. I'm Not Teaching Him to Code.
dev.to·8h·
Discuss: DEV
⚙Technology
How to build the #1 open source terminal-use agent
letta.com·3h·
Discuss: Hacker News
🔄Tokio
Vibe Coding 4 -- Speed Scrabble
joelgrus.com·1d
🌐WebAssembly
AI Optimization, not Options or Optimism
lesswrong.com·20h
⚙Technology
Simulated Society of 10k AI Agents
theunwindai.com·1d·
Discuss: Hacker News
💬Natural Language Processing
How I Built a Millisecond-Fast Squaredle Solver with Astro and React Islands
dev.to·12h·
Discuss: DEV
🌐WebAssembly
The Invariant Design Pattern in Rust
yequalscode.com·1d·
Discuss: r/programming
🦀Rust
Beyond Manually Designed Pruning Policies with Second-Level Performance Prediction: A Pruning Framework for LLMs
arxiv.org·18h
💬Natural Language Processing
New Game AI Turns Photos Into Playable Worlds! | Celebrating 10 Years Of Papers! 🎂
youtube.com·4h
🤖Machine Learning
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🦀Rust
Encapsulated Collaboration: Using Closures to Extend Class Behavior Without Violating Interface Boundaries [OC]
medium.com·8h·
Discuss: r/programming
📡gRPC
Kruskal Algorithm C++: Story
dev.to·2d·
Discuss: DEV
🔄Tokio
Twentyseven 1.0.0
blog.poisson.chat·4d·
Discuss: Hacker News
🔄Tokio
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💬Natural Language Processing
[P] AI Learns to Conquer Gaming's Most BRUTAL Level (Donkey Kong)
youtube.com·2d
🤖Machine Learning
AI Can Do a Lot—but Still Seems Totally Stumped by Sudoku
inc.com·2d
💬Natural Language Processing
Inside the JVM House: Meet the Language Cousins
dev.to·19h·
Discuss: DEV
📡gRPC
The Faces of Turso: Meet Alperen Keleş
turso.tech·1d
🔄Tokio
lydiahallie/javascript-questions
github.com·2d
🌐WebAssembly