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

Some third-party Mac apps I use
lapcatsoftware.comΒ·10h
🍎Apple Archive
Show HN: I built a tool that automates cold DMs on Twitter
dmpro.aiΒ·42mΒ·
Discuss: Hacker News
πŸ“‘RSS Automation
The Cheapest LLM Call Is the One You Don't Await
inference.netΒ·1dΒ·
Discuss: Hacker News
🌊Stream Processing
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.comΒ·5dΒ·
Discuss: Hacker News
🀝Distributed Consensus
Airside Labs
dev.toΒ·5hΒ·
Discuss: DEV
πŸ•΅οΈPenetration Testing
Proctoring – My Latest Side Project to Catch Cheaters (Gently)
dev.toΒ·9hΒ·
Discuss: DEV
πŸš€Indie Hacking
Why QA Teams Are Switching to Codeless Automation
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”Concolic Testing
Competitive Algorithms for Cooperative Multi-Agent Ski-Rental Problems
arxiv.orgΒ·20h
πŸ”²Cellular Automata
First deliverable: Building with Bolt - WLH Challenge
dev.toΒ·7hΒ·
Discuss: DEV
βš™οΈPL Implementation
SOMMIA: How Bolt Helped Me Build an AI Sommelier in 48 Hours
dev.toΒ·7hΒ·
Discuss: DEV
πŸ”„Sync Engine
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.toΒ·6dΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Machine Learning Fundamentals: ensemble learning tutorial
dev.toΒ·2dΒ·
Discuss: DEV
🌊Stream Processing
Show HN: An Intuitive Go Library for Handling Complex Permission/RBAC
github.comΒ·3dΒ·
Discuss: Hacker News, r/golang
πŸ”Capability Systems
Mind the Gap: A Review of Arabic Post-Training Datasets and Their Limitations
arxiv.orgΒ·20h
βš™οΈCompression Benchmarking
Beyond accelerators: Lessons from building foundation models on AWS with Japan’s GENIAC program
aws.amazon.comΒ·7h
πŸ‘οΈObservatory Systems
Revolutionizing Novel Writing: Introducing novelWriter
dev.toΒ·10hΒ·
Discuss: DEV
πŸ“Concrete Syntax
Integrating Model Context Protocol with Gemini: The Definitive Guide to Modern Tool Calling (Agentic-AI)
dev.toΒ·3dΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
Show HN: Browser AI – Use Playwright Without Blowing Up Your Context Window
news.ycombinator.comΒ·9hΒ·
Discuss: Hacker News
πŸ”—Hypermedia APIs
Claude AI vs Sista AI: A Comprehensive Comparison
dev.toΒ·15hΒ·
Discuss: DEV
πŸŽ™οΈWhisper
How to Optimize Python ORM Performance: 7 Proven Techniques for Faster Database Operations
dev.toΒ·2hΒ·
Discuss: DEV
🧬PostgreSQL Forensics
Loading...Loading more...
AboutBlogChangelogRoadmap