🐿️ 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

Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Robust Route Planning for Sidewalk Delivery Robots
arxiv.org·1h
🔗Topological Sorting
Three unrelated thoughts about working with LLMs
henrycourse.com·6h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
You Are in a Box
jyn.dev·2d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
How we automated GitHub Actions Runner updates with Claude
dev.to·5h·
Discuss: DEV
🧲RISC-V Preservation
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
arxiv.org·3d
💻Local LLMs
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·15h·
Discuss: Hacker News
💾Persistence Strategies
Ralph Wiggins as a "Software Engineer"
ghuntley.com·3d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
Kiro and the future of AI spec-driven software development
kiro.dev·15h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
What people said about an OpenZFS bug
despairlabs.com·14h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·1d
🎯Performance Proofs
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis
The great misunderstanding of the DRY principle
pmatteo.com·2d·
Discuss: Hacker News
💧Liquid Types
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·3d·
Discuss: Substack
⚡Incremental Computation
An AI Skeptic Uses AI for a Week
keithjgrant.com·1d·
Discuss: Hacker News
✨Effect Handlers
Machine Learning Fundamentals: dimensionality reduction
dev.to·14h·
Discuss: DEV
📐Linear Algebra
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·1d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·1h
🔐Quantum Security
Artisanal Handcrafted Git Repositories
drew.silcock.dev·10h·
Discuss: Lobsters, Hacker News
🌳Git Internals
VoTranhAbyssCore: An AI Oracle Mapping the Entropic Pathway to Systemic Collapse
github.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap