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

How to Read a Book: 009, Elementary Reading, The First Level
janusworx.com·4d
🖋Typography
Reset Cookies and force new sign-in using ASP.NET Core Identity
damienbod.com·2d·
Discuss: Hacker News
🏺Kerberos Archaeology
After 8 years of live systematic trading, here are the 7 backtesting mistakes that killed 90% of the strategies I tested : r/quantfinance
reddit.com·1d·
Discuss: r/quantfinance
🧬PostgreSQL Forensics
Post Election Audits
electionlab.mit.edu·4d·
Discuss: Hacker News
✅Archive Validation
Even Amazon Just Got Burned by an AI Security Breach
maybedont.ai·4d·
Discuss: Hacker News
🛡️Preservation Proofs
Hundreds Languish in Pakistan’s Prisons on Blasphemy Charges
nytimes.com·19h
🔍Polish Cryptanalysis
Jack Dorsey launches White Noise, his next decentralized chat app after Bitchat
cryptopolitan.com·1d·
Discuss: Hacker News
🌊Apache Kafka
The Comfortable Familiarity Dilemma
fedecarg.substack.com·1d·
Discuss: Substack
🎨Swedish Design Philosophy
Making Cash Off 'AI Slop': the Surreal Video Business Taking Over the Web
tech.slashdot.org·1d
🚀Indie Hacking
FFmpeg 8.0 Released
ffmpeg.org·2d·
Discuss: Hacker News
🎬AV1 Encoding
Behind the scenes of the process of creating a macOS app
old.reddit.com·1d·
Discuss: r/macapps
🚀Indie Hacking
Anamorpher: visual multi-modal prompt injection via image-scaling attacks
github.com·1d·
Discuss: Hacker News
🕵️Vector Smuggling
DeepSeek launches v3.1 model, raising the stakes in the US-China AI race
techspot.com·1d
🇨🇳Chinese Computing
Justice Jackson Correctly Defines The John Roberts Supreme Court As The Calvinball Court
techdirt.com·2d
🔲Proof Irrelevance
Algorhythm Holdings, Inc. (RIME) Q2 2025 Earnings Call Transcript
seekingalpha.com·2d
🎙️Whisper
**Mastering HTTP/2 Server Performance Optimization in Go for High-Traffic Applications**
dev.to·2d·
Discuss: DEV
⚡gRPC
Minimize Misconfiguration Issues by Embracing a Minimum Configuration to Run Mindset
bencane.com·3d
🔗Dependency Resolution
Enhanced Thermal Performance Prediction via Multi-Scale Graph Neural Network with Bayesian Calibration
dev.to·3d·
Discuss: DEV
🔧Hardware Verification
Seeking reccomendations for an Access Point
reddit.com·13h·
Discuss: r/homelab
🏠HomeLab
Comparative Evaluation of Text and Audio Simplification: A Methodological Replication Study
arxiv.org·3d
🎵Audio Formats
Loading...Loading more...
AboutBlogChangelogRoadmap