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

Newly-Retired Andrew Appel Reflects on his Voting Machine Advocacy
blog.citp.princeton.edu·1d
🔓Hacking
Authenticate Update 38211: Introducing the Perspective Filter, Improvements to the Video Mode, and More!
blog.ampedsoftware.com·1d
📐Projective Geometry
I Watched AI Agents Try to Hack My Vibe-Coded Websit
wired.com·2d
🚀Indie Hacking
Re: Multiple vulnerabilities in the web management interface of Intelbras routers
seclists.org·3d
🛣️BGP Hijacking
Metacrap
people.well.com·1d
🏷️Metadata Standards
The Practicals of Writing: Paper and Pens
brianschrader.com·1d·
Discuss: Hacker News
⭐Awesome lists
Lewis Carroll and Zero Knowledge Proofs
johndcook.com·15h
🔐Hash Functions
Rebuilding an old project paid off, literally!
pro.hextaui.com·1d·
Discuss: Hacker News
🎬WebCodecs
What does your chatbot think about this chatbot's thoughts on GPT-5
karimmustaghni.substack.com·1d·
Discuss: Substack
🤖AI Curation
Automated HEMT Model Construction from Datasheets via Multi-Modal Intelligence and Prior-Knowledge-Free Optimization
arxiv.org·3d
⚡Circuit Archaeology
6 Weeks of Claude Code
blog.puzzmo.com·1d·
Discuss: Lobsters, Hacker News
📏Code Metrics
Build AI Game Characters and Robots That Outsmart You
thenewstack.io·1d
🔲Cellular Automata
Trying out Qwen3 Coder Flash using LM Studio and Open WebUI and LLM
simonwillison.net·1d
🕸️WASM Archives
Meejah/shwim: Peer-to-peer terminal sharing
github.com·1h·
Discuss: Hacker News
📟Terminals
Vulnerability Mitigation System (VMS): LLM Agent and Evaluation Framework for Autonomous Penetration Testing
arxiv.org·3d
🛡️WASM Sandboxing
Beyond the Chatbot: Event-Driven Agents in Action
docker.com·4d
🌊Streaming Systems
Programming Is Becoming Prompting
dev.to·17h·
Discuss: DEV
🌳Incremental Parsing
A Novel Post-Quantum Secure Digital Signature Scheme Based on Neural Network
arxiv.org·4d
🔐Quantum Cryptography
Show HN: I built a local AI system for SOAP notes–no cloud, no wrappers
news.ycombinator.com·2d·
Discuss: Hacker News
🎙️Whisper
Post-Training Large Language Models via Reinforcement Learning from Self-Feedback
arxiv.org·3d
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap