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

Book Ratings, Revisited
jamierubin.net·6h
🎯Recommendation Metrics
rsync on Kindle
hawkins.id.au·1d
🔄Sync Engine
Error'd: Superfluous U's
thedailywtf.com·3d
🔓Hacking
ksmbd - Fuzzing Improvements and Vulnerability Discovery (2/3)
blog.doyensec.com·6d
🧪Binary Fuzzing
Top Ukrainian commander says drones hit over 67,000 Russian targets in a month, offering a look into the onslaught
businessinsider.com·4h
🇷🇺Russian Computing
Video on Installing Nextcloud AIO using Docker
youtu.be·2h·
Discuss: r/homelab
🏠Homelab
Nominees: The fastest legal way to lose your company
johnnydoe.is·1d·
Discuss: Hacker News
🎫Kerberos Attacks
The Czech Composer Bohuslav Martinů Is One of Music’s Great Chameleons
newyorker.com·8h
🎼Computational Musicology
Show HN: Notion – a strongly typed Python client for Notion
ultimate-notion.com·4d·
Discuss: Hacker News
🌀Brotli Internals
Case Study: XDR Cloud Operations on AWS
crestdata.ai·3d·
Discuss: Hacker News
🏠Homelab Orchestration
Cilium: LoadBalancer
reddit.com·10h·
Discuss: r/kubernetes
🌐IPFS
Anthropic endorses California’s AI safety bill, SB 53
techcrunch.com·2h
🔓Open Source Software
Can courts safeguard fairness in an AI age?
phys.org·3d
👂Audio Evidence
49ers bring back Kendrick Bourne with Jauan Jennings injured
mercurynews.com·49m
🗄SIARD
How to Rethink A.I.
nytimes.com·5d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
AI FOMO, Shadow AI, and Other Business Problems
towardsdatascience.com·4d
🤖AI Curation
Aesthetic Image Captioning with Saliency Enhanced MLLMs
arxiv.org·3d
🤖Advanced OCR
A Multidimensional AI-powered Framework for Analyzing Tourist Perception in Historic Urban Quarters: A Case Study in Shanghai
arxiv.org·3d
🤖AI Curation
OpenAI’s future, foretold?
garymarcus.substack.com·1d·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
How Much Does AI Agent Development Cost?
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
Loading...Loading more...
AboutBlogChangelogRoadmap