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

Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants

Marriage
joelx.com·21h
🏠Personal Archives
Diverted mode
lmno.lol·13h
📟Terminal Typography
Panpsychism is crazy, but it’s also most probably true
aeon.co·7h
⏰Time Crystals
An LLM Traded a Toe for a Foot
cto.berlin·2d·
Discuss: Hacker News
⚙️Proof Engineering
Building more helpful ChatGPT experiences for everyone
openai.com·9h·
Discuss: Hacker News
🎙️Whisper
The Ongoing Fallout from a Breach at AI Chatbot Maker Salesloft
krebsonsecurity.com·15h·
Discuss: Hacker News
🎫Kerberos Attacks
Inside Zig's New Writer
joegm.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
What I Crave from Blogs
idiallo.com·3d·
Discuss: Hacker News
🎯Content Recommendation
Tic-tac-toe meets Lean 4
ochagavia.nl·5d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
Former Czech populist Prime Minister Andrej Babis attacked at a rally ahead of October elections
the-independent.com·19h
🔍Polish Cryptanalysis
A 20-Year-Old Algorithm Can Help Us Understand Transformer Embeddings
ai.stanford.edu·5d·
Discuss: Hacker News
🧮Vector Embeddings
Show HN: E-Paper Family 2 Day Calendar
github.com·21h·
Discuss: Hacker News
📡RSS Extensions
Securing AI Agents: Why Traditional Identity Systems Fail and How to Build for AI
guptadeepak.com·3d·
Discuss: DEV, Hacker News
🔐Capability Systems
Codeless Automation Isn’t Enough – Why Python Still Rules the Test World
dev.to·5h·
Discuss: DEV
📏Code Metrics
🪄 Scopes, Closures, and Decorators in Python: A Deep Dive Adventure
dev.to·4d·
Discuss: DEV
⬆️Lambda Lifting
DeepSeek V3.1 vs GPT-5: 685B Parameters, 128K Context, 68 Cheaper
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Automated X-ray Diffraction Data Anomaly Identification via Multi-Scale Kernel Regression
dev.to·3d·
Discuss: DEV
💿Optical Forensics
Series: Learn Python via Real-Life Termux Projects
dev.to·3h·
Discuss: DEV
🛡️CLI Security
DeepFold Predictor: Enhanced Protein Folding via Multi-Modal Graph Neural Networks & Bayesian Calibration
dev.to·3d·
Discuss: DEV
🌀Differential Geometry
Adaptive Network Slice Orchestration via Federated Reinforcement Learning for 5G+ Edge Computing
dev.to·3d·
Discuss: DEV
📡Network Calculus
Loading...Loading more...
AboutBlogChangelogRoadmap