🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚔️ Lean Tactics

Interactive Proving, Tactic Composition, Proof Automation, Mathlib

I cofounded uBreakiFix and grew it to over 550 locations. Now I'm using what I learned in tech to scale bagel shops.
businessinsider.com·1d
📡RSS Automation
Agent OS | A free Spec-Driven Development System for AI-Powered Coding
buildermethods.com·1d
⚡Proof Automation
What is an Entity Component System architecture for game development? (2012)
richardlord.net·23h·
Discuss: Hacker News
🔒WASM Capabilities
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·4d·
Discuss: Hacker News
💻Programming languages
Why We Develop EloqDB Mainly in C++
eloqdata.com·2d·
Discuss: Hacker News
🦀Rust Borrowing
How AI Can Degrade Human Performance in High-Stakes Settings
ai-frontiers.org·23h·
Discuss: Hacker News
👁️Observatory Systems
Getting past LLM "day one" problem with MIRIX
fujimon.com·1d·
Discuss: Hacker News
💾Persistence Strategies
What people said about an OpenZFS bug
despairlabs.com·3d·
Discuss: Lobsters, Hacker News
🔒Type Safety
AI Improves at Improving Itself Using an Evolutionary Trick
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Go Concurrent Programming: Real-World Lessons to Level Up Your Skills
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Ask HN: Would you use a serverless, pay-per-second model for AI inference?
news.ycombinator.com·1d·
Discuss: Hacker News
🌊Streaming Algorithms
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·3d·
Discuss: Hacker News
🦀Rust Borrowing
How we automated GitHub Actions Runner updates with Claude
dev.to·2d·
Discuss: DEV
🧲RISC-V Preservation
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org·1d
🎧Learned Audio
From Goliath Idea to Reality with Bolt
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·2d
🔐Quantum Security
I cloned this VC-funded AI super agent app in a weekend, here's how🪄✨
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Solving the Context Rot Problem for Coding Agents
install.md·3d·
Discuss: Hacker News
🌳Incremental Parsing
An AI Skeptic Uses AI for a Week
keithjgrant.com·4d·
Discuss: Hacker News
✨Effect Handlers
Don’t Know Coding? You Can Still Learn AI in Bangalore
dev.to·9h·
Discuss: DEV
🗺️Competency Maps
Loading...Loading more...
AboutBlogChangelogRoadmap