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

Coastline Similarity
xkcd.com·3d
🦴Binary Paleontology
Operational technology (OT): just like all the other horses
runzero.com·4d
🛡Cybersecurity
Kryptos K4: The Solution Auction
rrauction.com·3d·
Discuss: Hacker News
🏺Kerberos Archaeology
A Brief Introduction to Ruby
freecodecamp.org·4d·
Discuss: Hacker News
🔗Concatenative Programming
Protections needed to stop people believing chatbots are friends – expert
the-independent.com·5h
🎙️Whisper
Redesigning The Intrinsic Perspective
theintrinsicperspective.com·3d·
Discuss: Hacker News
🎨Swedish Design Philosophy
Bluehost in 60 minutes: making WordPress hosting easier
techradar.com·3d
🚀Indie Hacking
Optimizing how cells self-organize: Computational framework extracts genetic rules
phys.org·4d
🔲Cellular Automata
New Tool Ends Java Configuration Nightmare in K8s
thenewstack.io·3d
🔓Open Source Software
Is the "kube-dns" service "standard"?
reddit.com·3d·
Discuss: r/kubernetes
📦Container Security
AI-enabled growth could push universal basic income to $10,000 a month, says former OpenAI researcher
techspot.com·1h
🚀Indie Hacking
Hijacking Windsurf: How Prompt Injection Leaks Developer Secrets
embracethered.com·4d·
Discuss: Hacker News
🛡️WASM Sandboxing
Automated Regression Testing Prioritization with Hyperdimensional Semantic Embeddings
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
5 Mistakes People Make with ChatGPT Prompts
dev.to·3d·
Discuss: DEV
📐Proof Assistants
GraphCogent: Overcoming LLMs' Working Memory Constraints via Multi-Agent Collaboration in Complex Graph Understanding
arxiv.org·6d
🔄Graph Rewriting
Day 2 of experimenting with Open Source AI: Learned a Lot about Code indexing (Progress 2%)
github.com·6d·
Discuss: DEV, Hacker News
🎙️Whisper
A Fully Transformer Based Multimodal Framework for Explainable Cancer Image Segmentation Using Radiology Reports
arxiv.org·5d
🧠Machine Learning
I left my job at BCG to found an AI startup. Here's how consulting prepared me to be a founder — and how it didn't.
businessinsider.com·4h
🗺️Competency Maps
I was laid off from Microsoft after 2 years. Here's why I didn't freak out — and I'm absolutely better off.
businessinsider.com·5h
🏠Personal Archives
Trump’s Stunning Attack on Mail-In Ballots
nytimes.com·23h
🎫Kerberos Attacks
Loading...Loading more...
AboutBlogChangelogRoadmap