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

Dining across the divide: ‘Wait a minute, you vote Reform and you read the Guardian?’
theguardian.com·7h
📝ABNF Parsing
Deep Think in the Gemini app
simonwillison.net·2d
🌀Brotli Internals
Cybersecurity Snapshot: AI Security Trails AI Usage, Putting Data at Risk, IBM Warns, as OWASP Tackles Agentic AI App Security
tenable.com·2d
🔓Hacking
The Good, the Bad and the Ugly in Cybersecurity – Week 31
sentinelone.com·2d
🛡Cybersecurity
AI app correcting your accent
apps.apple.com·9h·
Discuss: Hacker News
🎙️Whisper
AWS deleted my 10-year account and all data without warning
seuros.com·23h·
Discuss: Hacker News, r/webdev
🖥️Self-hosted Infrastructure
CISA roasts unnamed critical national infrastructure body for shoddy security hygiene
theregister.com·1d·
Discuss: Hacker News
🛡Cybersecurity
Program development in Limbo (the native lang of Inferno, Unix 3.0)
seh.dev·1d·
Discuss: Hacker News
❄Nix
class 10 mathematics
dev.to·9h·
Discuss: DEV
🧮Z3 Applications
Executing arbitrary Python code from a comment
hacktron.ai·5d·
Discuss: Lobsters, Hacker News
🔧Binary Parsing
AI Chatbots Remain Confident – Even When They're Wrong
cmu.edu·3d·
Discuss: Hacker News
🎙️Whisper
OpenCQRS – an open-source CQRS framework for the JVM
github.com·2d·
Discuss: Hacker News
🔐CBOR
Cycles of Elliptic Curves
johndcook.com·17h
🔱Galois Cryptography
ashishpatel26/500-AI-Agents-Projects
github.com·5d
⚡Proof Automation
Automated but Atrophied? Student Over-Reliance vs Expert Augmentation of AI in Learning and Cybersecurity
arxiv.org·4d
🗺️Competency Maps
Memory vs. Context in AI: Why ChatGPT Is Ahead , and Why That Matters
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
The AI Revolution: Streamlining Financial Control with Virtual Corporate Cards
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Show HN: AgentOS-An Early OS for Coding Agents Memory and Execution and Learning
news.ycombinator.com·3d·
Discuss: Hacker News
🌐WASI
Exploring LLM-generated Culture-specific Affective Human-Robot Tactile Interaction
arxiv.org·2d
✋Tactile Computing
Python Automation Testing Guide
dev.to·3d·
Discuss: DEV
🧪Property-Based Testing
Loading...Loading more...
AboutBlogChangelogRoadmap