🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Proof Assistants

Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification

Mapping LLMs over excel saved my passion for game dev
danieltan.weblog.lol·18h·
Discuss: Hacker News
🗣️Domain-Specific Languages
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Useful LLM Agent Tools
tersesystems.com·8h
🌀Brotli Internals
Python Fundamentals: aiohttp
dev.to·13h·
Discuss: DEV
λLambda Formalization
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
Coping with Complexity
slott56.github.io·23h
🔗Concatenative Programming
Sakana AI's ALE AI agent cracks the top 21 among 1,000 code experts
the-decoder.com·1d
⚡Proof Automation
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
The Little Learner and hotel room hacking
dustycloud.org·1d
⚔️Lean Tactics
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·12h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
WQ42: Grounding LLMs in Wikidata Facts via Tool Calling
thottingal.in·19h·
Discuss: Hacker News
🔗Constraint Handling
A very short book note
logicmatters.net·1d
⚔️Lean Theorem
Program Synthesis is Interesting and Open
stephendiehl.com·10h·
Discuss: Hacker News
💻Programming languages
Pgexplaindash: Logs Postgres EXPLAIN ANALYZE results for analysis in a dashboard
github.com·6h·
Discuss: Hacker News
🗄️PostgreSQL WAL
Managing Complex Failure Analysis Workflows with LLM-based Reasoning and Acting Agents
arxiv.org·3d
📋Formal Verification
Microcontrollers: Getting Started
youtube.com·1d
🔌Microcontrollers
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
higher: Your favourite Haskell type classes for Rust (2023)
github.com·20h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Structured Output for Beginners and 3 Prompting Tips
pocketflow.substack.com·2d·
Discuss: Substack
🌳Incremental Parsing
Something weird is happening in prompt engineering right now
dev.to·15h·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap