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

Microsoft keeps adding stuff into Windows we don't need
theregister.com·15h·
Discuss: Hacker News
🪟Awesome windows command-line
Need to make sure pre job succeeds before the sts pod gets upgraded
reddit.com·11h·
Discuss: r/kubernetes
📋PREMIS Events
Persistent Risk: XZ Utils Backdoor Still Lurking in Docker Images
binarly.io·4d
📦Container Security
welp ¯\_(ツ)_/¯
kivikakk.ee·19h
📰RSS Reading Practices
This Martian Rock’s Mysterious Spots May Reveal Clues to Ancient Life
scitechdaily.com·21h
🌈Spectroscopy
Are you willing to pay $100k a year per developer on AI?
theregister.com·1d·
Discuss: Hacker News
🔄Language Evolution
Machine Learning Contest Aims to Improve Speech BCIs
spectrum.ieee.org·13h
🎙️Whisper
A brilliant puzzle-platformer, Enter the Gungeon on mobile and other new indie games worth checking out
engadget.com·15h
🕹️Retro Gaming
Oracle can now sell Gemini models following major Google Cloud deal
techradar.com·1d
🏠Homelab Federation
‘Are you asking for my help to be gay?’: what 40 years as a psychoanalyst has taught me about sex and desire
theguardian.com·15h
📡Information theory
Verification Method for Graph Isomorphism Criteria
arxiv.org·4d
🔗Graph Isomorphism
Optimise debian for booting from usb 2.0
reddit.com·1d·
Discuss: r/homelab
🏠Homelab
The Shopify Resource Picker API: A Developer's Journey Through Version Changes (August 2025 )
dev.to·23h·
Discuss: DEV
🔌Interface Evolution
Python 3.14 Release Candidate Lands: Faster Code, Smarter Concurrency
realpython.com·5d
🌀Brotli Internals
New NFC-Driven Android Trojan PhantomCard targets Brazilian bank customers
securityaffairs.com·1d
🦠Malware Analysis
CSRF Testing Methodology: From Detection to Exploitation
infosecwriteups.com·1d
🧪Protocol Fuzzing
Enhanced Lipid Nanoparticle Delivery via Adaptive Hydrogel Microfluidics for mRNA Therapeutics
dev.to·23h·
Discuss: DEV
🌊Streaming Systems
Integrating Clinical Knowledge Graphs and Gradient-Based Neural Systems for Enhanced Melanoma Diagnosis via the 7-Point Checklist
arxiv.org·2d
🕸️Algebraic Topology
5 Best AI Tool Directories to Launch Your App in 2025
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Dynamic Semantic Command Understanding via Graph-Augmented Reasoning and Reinforcement Learning
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Loading...Loading more...
AboutBlogChangelogRoadmap