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

Cryptography for the Everyday Developer: Understanding DES - The Data Encryption Standard
sookocheff.com·2d
🔐Cryptographic Archaeology
First-Hand:The AT&T Bellmac-32 Microprocessor Development
ethw.org·20h·
Discuss: Hacker News
⚡Circuit Archaeology
Reinforcement Learning with Nvidia NeMo-RL
nvidia-nemo.github.io·21h·
Discuss: Hacker News
📊Quantization
Building a Sleeper Computer from an SGI Indy
buu342.me·15h·
Discuss: Hacker News
🖥️Terminal Renaissance
Security is a Renewals Problem: How to negotiate in vendor renewals
securityis.substack.com·22h·
Discuss: Substack
🎫Kerberos Attacks
Show HN: MCP server for Blender that builds 3D scenes via natural language
blender-mcp-psi.vercel.app·10h·
Discuss: Hacker News
🎙️Whisper
ChatGPT agent might be a big deal
augmentedswe.com·2d·
Discuss: Hacker News
🖥️Terminal Renaissance
Functional Abstract Interpretation
simon.peytonjones.org·5d·
Discuss: Hacker News
🔗Functional Compilers
My First HomeLab (Leveraging Ai)
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
Alice: Your AI Desktop Companion is Here!
dev.to·1d·
Discuss: DEV
📟CLI Design
Machine Learning Fundamentals: dimensionality reduction with python
dev.to·3d·
Discuss: DEV
🧠Machine Learning
Cactus Language • Stylistics 5
inquiryintoinquiry.com·1d
📐Format Grammars
Waiting is worth it and can be improved with predictions
arxiv.org·2d
📡Information theory
Understanding the Basics: Linear Equations and Matrices
dev.to·3d·
Discuss: DEV
📐Linear Algebra
AI Agents Are Getting Smarter Than You Think — And That’s Changing Everything
dev.to·21h·
Discuss: DEV
⚙️TLA+
Show HN: New Audiobook Generator for Nvidia Using Chatterbox TTS
github.com·10h·
Discuss: Hacker News
🎙️Whisper
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·3d
🤐Secure Multiparty
Claudeputer
github.com·2d·
Discuss: Hacker News
🚀Indie Hacking
MiniCourseX AI Review (2025): The Easiest Way To Create & Sell Your Own AI-Powered Mini Courses In Just 60 Seconds
dev.to·1d·
Discuss: DEV
🎵Audio ML
How I’m Solving the Dark Side of Vibe Coding — Building DevPilot Core as a Solo Engineer
dev.to·1d·
Discuss: DEV
📏Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap