🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✓ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

Daily Deal: The Courses Digest, Labs Digest, and Exams Digest Bundle
techdirt.com·1d
🏠Homelab Pentesting
Anukari has macros, and a preset API
anukari.com·7h·
Discuss: Hacker News
✨Algebraic Effects
Why Semantic HTML Still Matters - Jono Alderson
jonoalderson.com·2h
🌐Web Standards
Faster Python: Unlocking the Python Global Interpreter Lock
blog.jetbrains.com·4d
⚡Parallel Computing
Reverse engineering some updates to Claude
simonwillison.net·2d·
Discuss: Hacker News
🏺ZIP Archaeology
Show HN: Production-Ready Agents with the OpenAI Agents SDK and Temporal
temporal.io·3d·
Discuss: Hacker News
⚙️TLA+
I Made AI Personas Watch (and React to) the Astronomer Ad
askrally.com·4d·
Discuss: Hacker News
📼Cassette Hacking
Codestral 25.08 and the Complete Mistral Coding Stack for Enterprise
mistral.ai·3d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
🔄Language Evolution
Beyond the Noise: How HackerOne Cuts Through the Noise in the Age of AI
hackerone.com·3d
🔓Hacking
OpenAI's "Study Mode" and the risks of flattery
resobscura.substack.com·2d·
Discuss: Substack
🏛Digital humanities
The pest book is finally complete now!
github.com·3d
🦀Rust Macros
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·3d·
Discuss: Lobsters, r/programming
🔗Parser Combinators
Perplexity AI - Don’t get how they still exist.
reddit.com·2d·
Discuss: r/artificial
🔍Concolic Testing
How to Check Installed Python Version
dev.to·8h·
Discuss: DEV
🔄Language Evolution
How AI Affects Developer Literacy: A Guide for CTOs, CEOs & Rapid-Growth Tech Teams
dev.to·1d·
Discuss: DEV
📏Code Metrics
The Subtle Art of Herding Cats: Why AI Agents Ignore Your Rules (Part 1 of 4)
dev.to·5d·
Discuss: DEV
⚡Proof Automation
A Beginner's Guide to Location-Based Databases: How Apps Like Uber and Google Maps Work day 18 of learning system design
dev.to·1d·
Discuss: DEV
📏Range Queries
AI API Platform Recommendation - GPT Proto
dev.to·2d·
Discuss: DEV
🔌Archive APIs
High-Performance Go: Mastering Memory Mapping and Direct I/O for Terabyte-Scale Data Processing
dev.to·3d·
Discuss: DEV
🌊Stream Processing
How Not to Be Replaced by AI (A Developer’s Guide)
dev.to·2d·
Discuss: DEV
🌍Cultural Algorithms
Loading...Loading more...
AboutBlogChangelogRoadmap