🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

ELA-1498-1 openjpeg2 security update
freexian.com·6h
🔓Open Source Software
Pushing the Limits of ARM CI with Actuated and Apple Silicon
jasoneckert.github.io·1d
🔌Operating system internals
Since I posted my “Open hardware desktop 3D printing is dead” article, you’ve been asking me about “that patent” 🤔 Here it is ...
josefprusa.com·8h·
Discuss: Hacker News, r/3Dprinting
🕹️Retro Gaming
Information and Entropy
ocw.mit.edu·2h·
Discuss: Hacker News
ℹ️Information Theory
The Calculus of Grit (2011)
ribbonfarm.com·1d·
Discuss: Hacker News
📐Mathematical Art
Show HN: SecretShare – Easy, secure one time secret sharing CLI
news.ycombinator.com·1d·
Discuss: Hacker News
🔑Cryptographic Protocols
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·5d·
Discuss: Hacker News
🧪Binary Fuzzing
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·6d·
Discuss: blog.computationalcomplexity.org, Hacker News, Hacker News
🎯Performance Proofs
Constant-traffic padded and encrypted network tunnel
github.com·1d·
Discuss: Hacker News
🧅Tor Networks
Google Dorks: Unearth Valuable Information with Advanced Searches
infosecwriteups.com·1d
🔬Archive Forensics
The MCP Security Survival Guide: Best Practices, Pitfalls, and Real-World Lessons
towardsdatascience.com·3d
🔓Hacking
Students Find Hidden Fibonacci Sequence in Classic Probability Puzzle
scientificamerican.com·3d·
Discuss: Hacker News
📐Mathematical Art
Doomprompting Is the New Doomscrolling
workingtheorys.com·42m·
Discuss: Hacker News
🧠Intelligence Compression
🐱 Schrödinger’s Index: It Only Exists When You Observe It and Only the Way You Observe It – in the HydrAIDE Engine
dev.to·1d·
Discuss: DEV
⚛️Quantum Archives
📬 Automate Email Attachments to Telegram with Python + Render.com
dev.to·8h·
Discuss: DEV
⚡gRPC
OpenAI launches GPT-5 as a unified system with adaptive reasoning for complex tasks
the-decoder.com·3d
🌀Brotli Internals
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·5d
📝Concrete Syntax
OpenAI boasts about the power of ChatGPT 5, but does that make it better than Gemini 2.5 Flash?
techradar.com·2d
🌀Brotli Internals
Data Overdose? Time for a Quadruple Shot: Knowledge Graph Construction using Enhanced Triple Extraction
arxiv.org·4d
🔍Information Retrieval
AI and the 10x Engineer Myth
taoofmac.com·4d
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap