🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Proof-Carrying Archives

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs

FORGE: Cybersecurity’s “AlphaEvolve Moment” for Threat Detection
sentinelone.com·3d
⚡Proof Automation
raise a song over wine.
archiveofourown.org·4h
📝ABNF Parsing
Introducing rr Chaos Mode (2016)
robert.ocallahan.org·1d·
Discuss: Lobsters, Hacker News
👁️System Observability
From 20% to 5%: How Modern ZFS Changed the Free Space Debate
infosecwriteups.com·1d
💿ZFS Internals
Handwired Skeletyl
justinmklam.com·4d·
Discuss: Hacker News, r/ErgoMechKeyboards
⌨️Mechanical Keyboards
Buy now pay later for your annual software subscriptions
news.ycombinator.com·20h·
Discuss: Hacker News
🔍BitFunnel
MariaDB Kubernetes Operator 25.08.0 Adds AI Vector Support and Disaster Recovery Enhancements
hackernoon.com·3d
⛏️SQL Archaeology
Real-World Success Stories Where GraphRAG Beats Standard RAG
memgraph.com·3d·
Discuss: Hacker News
📊Graph Databases
3D printing and AI will bring in 'new era of nuclear construction' - but how safe is it?
techradar.com·16h
📄Document Digitization
HTTP/1.1 Must Die: What This Means for In-House Pentesters
portswigger.net·4d
🛣️BGP Hijacking
Stop Practicing, Start Showcasing: Portfolio Projects That Land Data Analyst Jobs
dev.to·2d·
Discuss: DEV
🧪Data science
Building PhAlS - A Phishing Alert System using Google AI Studio.
dev.to·2d·
Discuss: DEV
👑Isabelle
AlignGuard-LoRA: Alignment-Preserving Fine-Tuning via Fisher-Guided Decomposition and Riemannian-Geodesic Collision Regularization
arxiv.org·6d
💻Local LLMs
I'm experimenting with AI in my 70s. I've had to adapt to new technologies my entire career — those who embrace change survive.
businessinsider.com·2d
🌍Cultural Algorithms
Automated Multi-Modal Analysis for Predicting Apoptotic Resistance in Ovarian Cancer via Hypervector Learning
dev.to·1d·
Discuss: DEV
🧠Machine Learning
A Few Words Can Distort Graphs: Knowledge Poisoning Attacks on Graph-based Retrieval-Augmented Generation of Large Language Models
arxiv.org·4d
🔄Graph Rewriting
My first Go project after a career in .NET: A Serilog-inspired logging library
reddit.com·3d·
Discuss: r/golang
📝Log Parsing
Ratfactor's Illustrated Guide to Folding Fitted Sheets
ratfactor.com·3d
⭐Awesome lists
EndoMatcher: Generalizable Endoscopic Image Matcher via Multi-Domain Pre-training for Robot-Assisted Surgery
arxiv.org·3d
🌀Riemannian Computing
Finding Needles in Images: Can Multimodal LLMs Locate Fine Details?
arxiv.org·3d
🤖Advanced OCR
Loading...Loading more...
AboutBlogChangelogRoadmap