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

Locking Down the WordPress Login Page
blog.sucuri.net·1d
🎯NTLM Attacks
You could have invented CuTe hierarchical layout (but maybe not the rest of it?)
blog.ezyang.com·2d·
Discuss: blog.ezyang.com
⟷Bidirectional Programming
Delhi High Court Orders Sci-Hub, Libgen to Be Blocked in India
maktoobmedia.com·10h·
Discuss: Hacker News
🎓Academic Torrents
A Python RAG tutorial with Pinecone and Ollama 3.2 with a code example
blog.yasuflores.me·5d·
Discuss: Hacker News
🌀Brotli Dictionary
Discovery of a widespread chemical signalling pathway in the Bacteroidota
nature.com·4d
🧬Copy Number Variants
How to Make Weed Killer at Home That Works
popularmechanics.com·1d
🎯Proof Tactics
A Smarter Way to License Research Articles for AI
scholarlykitchen.sspnet.org·5d·
Discuss: Hacker News
📚MARC Evolution
National Guard members on DC streets for Trump's crackdown will soon be armed, military says
the-independent.com·2d
🛡Cybersecurity
Tuucho – A Kotlin Multiplatform Mobile (KMM) Rendering Engine
github.com·2d·
Discuss: Hacker News
🌀Brotli Internals
ChromaLex
hackster.io·1d
📱QR Archaeology
49ers preseason finale: Cue the awards at closing time against Harbaugh’s Chargers
mercurynews.com·18h
⚡Proof Automation
Richard Sutton says the AI industry has "lost its way" by ignoring core principles of intelligence
the-decoder.com·4d
🔲Cellular Automata
Show HN: Journey – Development focused database migration tool
github.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
FedUP: Efficient Pruning-based Federated Unlearning for Model Poisoning Attacks
arxiv.org·4d
🔍BitFunnel
LitForager: Exploring Multimodal Literature Foraging Strategies in Immersive Sensemaking
arxiv.org·2d
🏛Digital humanities
Show HN: Web MCP Free Tier – Internet Access for Agents (5K Req/Mo)
github.com·4d·
Discuss: Hacker News
📡RSS
The Prompting Brain: Neurocognitive Markers of Expertise in Guiding Large Language Models
arxiv.org·3d
🧠Intelligence Compression
Beyond the Algorithm: The Human Heart of AI in Retail
dev.to·2d·
Discuss: DEV
🌍Cultural Algorithms
LoRAtorio: An intrinsic approach to LoRA Skill Composition
arxiv.org·6d
🌀Brotli Internals
Dynamic Key Rotation Management for Scalable HSM Rack Infrastructure via Adaptive Bloom Filters
dev.to·5d·
Discuss: DEV
🌸Bloom Variants
Loading...Loading more...
AboutBlogChangelogRoadmap