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

Browsers battle over PDF capabilities
pdfa.orgΒ·2d
πŸ“‹Document Standards
What’s new on Clever Cloud, Q2 2025
clever-cloud.comΒ·3d
🏠Homelab Preservation
WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.beΒ·3d
πŸ“‘Bluetooth Archaeology
Slopsquatting: AI's Contribution to Supply Chain Attacks
hackerone.comΒ·3d
πŸ”’WASM Capabilities
Show HN: TrueSift – AI-Powered Real-Time Fact-Checking Chrome Extension
truesift.devΒ·2dΒ·
Discuss: Hacker News
βœ…FLAC Verification
I asked AI tools philosophical questions – here’s what their answers revealed about how they think (and how we do too)
techradar.comΒ·22h
πŸ›οΈPhilosophy
Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.devΒ·2dΒ·
Discuss: Lobsters, r/programming
πŸŒ€Brotli Internals
NIH Is Far Cheaper Than The Wrong Dependency
lewiscampbell.techΒ·2dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ“Code Metrics
I got tired of explaining my project to AI assistant so I gave it memory
codecontextpro.comΒ·2dΒ·
Discuss: Hacker News
🌳Incremental Parsing
How to generate a TypeScript SDK for your API spec
buildwithfern.comΒ·3dΒ·
Discuss: Hacker News
⚑gRPC
Tao: The Power of the Graph (2013)
engineering.fb.comΒ·2dΒ·
Discuss: Hacker News
🌳B-tree Optimization
Migrating to GitOps in a multi-client AWS environment β€” looking for advice to make it smooth
reddit.comΒ·22hΒ·
Discuss: r/kubernetes
🧱Immutable Infrastructure
A Beginner-Friendly Guide to RCE, Command Injection, and More
infosecwriteups.comΒ·8h
πŸ”“Hacking
[R] Paper recommendations?
reddit.comΒ·1dΒ·
Discuss: r/MachineLearning
🧠Machine Learning
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.toΒ·4dΒ·
Discuss: DEV
πŸ“Concrete Syntax
The Power of HTML - Part 20: AI-Generated HTML: Tools and Best Practices
dev.toΒ·1hΒ·
Discuss: DEV
⚑Proof Automation
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.orgΒ·2d
πŸ“Geometric Hashing
Vibe Coding - Conversational Software Development - Part 2 In Practice
dev.toΒ·14hΒ·
Discuss: DEV
πŸ”„Language Evolution
Turning My Homelab into a Smart Home Automation Powerhouse πŸš€
reddit.comΒ·54mΒ·
Discuss: r/homelab
🏠Homelab Automation
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.orgΒ·3d
πŸ’»Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap