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

Blink Twice to Quell a Quasar: Carl Sagan on Superstition
themarginalian.org·1d
⏰Time Crystals
Evolving Security Frameworks: From Compliance Checklists to Intelligence Engines
bitsight.com·11h
🎯Threat Hunting
Miss Manners: They think I’m my twin, and I come off looking rude
mercurynews.com·15h
🎯Gradual Typing
Dropping an SQLite index for a 300x speedup (2019)
nickb.dev·9h·
Discuss: Hacker News
💾SQLite
[RFC] Hardening mode for the compiler - Clang Frontend
discourse.llvm.org·4d·
Discuss: Hacker News, r/cpp
🏭Compiler Backends
Program development in Limbo (the native lang of Inferno, Unix 3.0)
seh.dev·3d·
Discuss: Hacker News
❄Nix
Daily briefing: Respiratory illness can ‘wake up’ dormant cancer cells
nature.com·9h
📡RSS Readers
Apple Has Relegated Its First AI Chatbot to Customer Support
lifehacker.com·3h
🤖Automated Parsing
Mechanistic View of Transformers: Patterns, Messages, Residual Stream… and LSTMs
towardsdatascience.com·7h
🌊Streaming Algorithms
openSUSE Leap 16.0 Enters RC Phase with SELinux by Default
linuxiac.com·15h
🔓Open Source Software
Mastering NLP with spaCy – Part 2
towardsdatascience.com·4d
📝Text Parsing
You're probably not learning with AI
aryas.dev·3d·
Discuss: Hacker News
⚔️Lean Tactics
Adaptive Contact Force Control of Multi-Body Systems via Hybrid Model Predictive Control and Reinforcement Learning
dev.to·19h·
Discuss: DEV
🔲Cellular Automata
Philosophers Among Recent NEH Grant Winners
dailynous.com·1d
🏛️Philosophy
JetBrains previews Kineto for vibe no-coding
theregister.com·7h
🔓Open Source Software
[R] Kimi K2: Open Agentic Intelligence (Technical Report)
reddit.com·3d·
Discuss: r/MachineLearning
🧠Intelligence Compression
Claude Opus 4.1 Is Here And What It Means for AI Development
dev.to·3h·
Discuss: DEV
🔄Language Evolution
A Dynamic, Context-Aware Framework for Risky Driving Prediction Using Naturalistic Data
arxiv.org·20h
🧠Machine Learning
Update: Finally got the 10g redundant connection set up. Almost no downtime!
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Behind the Mic: AI and the Vibe Coding Podcast Retrospective
dev.to·1d·
Discuss: DEV
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap