๐Ÿฟ๏ธ 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

Invincible Island: The Bones of Our Ancestors
bluerenga.blogยท1d
โšกProof Automation
2025 One Hertz Challenge: A Discrete Component Divider Chain
hackaday.comยท1d
โš™๏ธCassette Mechanics
Small world: The revitalization of small AI models for cybersecurity
news.sophos.comยท4d
๐Ÿ’ปLocal LLMs
Zeitwerk: The Autoloader That Rails Deserves, but Not the One It Needs
rubystacknews.comยท4dยท
Discuss: Hacker News
๐Ÿ”—Static Linking
What Is Practice Leadership?
ubuntu.comยท2dยท
Discuss: Hacker News
๐Ÿ“ŸCLI Design
Interactive Programming in C (2014)
nullprogram.comยท3dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Recursively self improving AI might not work without these functions
secondsight.devยท4dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
My boss used AI for 2 hours to solve a problem I fixed in 10 minutes
reddit.comยท3dยท
Discuss: r/artificial
โšกProof Automation
Thinking Machines and the Second Wave: Why $2B Says Everything About AI's Future
decodingdiscontinuity.comยท3dยท
Discuss: Hacker News
โœ“Automated Theorem Proving
@thedrlambda8148 on How to Improve your Approach to Developing
youtube.comยท4d
๐Ÿฆ€Rust Macros
Show HN: Support Copilot
github.comยท1dยท
Discuss: Hacker News
๐ŸชŸAwesome windows command-line
Algolia MCP enriches your Data through Claude Natural Language!๐Ÿš€๐Ÿ€๐Ÿฅ‡
dev.toยท3dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
arxiv.orgยท6d
๐ŸงฎConstraint Solvers
Building Effective Agents: Simple Strategies for Success
dev.toยท2dยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Bolt.new top 50 AI driven app builders (until 51 go live)
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
From Zero to Agent Hero: Building AI Agents with Agno + uv
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
๐Ÿš€ Building with Bolt: From Idea to Reality in 48 Hours
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStreaming Systems
AI Coding Tools Showdown: GitHub Copilot vs The New Challengers
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ€Rust Macros
Automating YouTube Shorts with Python and AI
dev.toยท1dยท
Discuss: DEV
๐Ÿ“บyt-dlp
Perfecting anti-aliasing on signed distance functions
blog.pkh.meยท23hยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸŽจLUT Compression
Loading...Loading more...
AboutBlogChangelogRoadmap