🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Why more thinking isn’t always better: Informatics PhD student co-authors AI safety study with Anthropic
informatics.ed.ac.ukΒ·1d
✨Effect Systems
Aligning AI with Culture
cacm.acm.orgΒ·1d
🌍Cultural Algorithms
Let's Encrypt End of Life Plan for RFC 6962 Certificate Transparency Logs
letsencrypt.orgΒ·2dΒ·
Discuss: Hacker News
🌳Archive Merkle Trees
Save memory and CPU with an interning cache
chrispenner.caΒ·5d
⚑Cache Theory
The Drugs Are Taking Hold
blog.dshr.orgΒ·2dΒ·
Discuss: Hacker News, www.blogger.com
πŸ”BitFunnel
From crawlers to AI agents: why untangling the new AI-powered web takes an intent-based approach
techradar.comΒ·2d
🎯Threat Hunting
Claude Code turned a 3-week project into a 2-day task — but nearly broke it
businessinsider.comΒ·1d
🌳Incremental Parsing
URL Inspection Tasks: Helping Users Detect Phishing Links in Emails
usenix.orgΒ·3d
🌐WARC Forensics
The fixed length bottleneck and the feed forward network
gilesthomas.comΒ·2dΒ·
Discuss: Hacker News
πŸ“ŠQuantization
OpenAI aims to build AI systems that can work on problems for hours or even days
the-decoder.comΒ·1d
🌊Stream Processing
Accelerating exoplanet climate modelling: A machine learning approach to complement 3D GCM grid simulations
arxiv.orgΒ·1d
⚑Incremental Computation
Deep Dive into SSTI: Finding and Exploiting Server-Side Template Injection Like a Pro
infosecwriteups.comΒ·1d
πŸ›‘οΈWASM Security
Buy Now: Get a Ready-to-Use, Aged GitHub Profile Instantly.
dev.toΒ·15hΒ·
Discuss: DEV
πŸ“¦Content Addressable
Running Claude Code inside your dev containers
dev.toΒ·2dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
Three AI Futures
cacm.acm.orgΒ·1dΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
πŸš€ Dev-Elevate – AI-Powered Developer Growth Platform
dev.toΒ·1dΒ·
Discuss: DEV
πŸš€Indie Hacking
Does Vibe Coding Work?
dev.toΒ·3dΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Multi-Sequence Parotid Gland Lesion Segmentation via Expert Text-Guided Segment Anything Model
arxiv.orgΒ·2d
πŸ“„Text Segmentation
EntropyGS: An Efficient Entropy Coding on 3D Gaussian Splatting
arxiv.orgΒ·1d
πŸ“Projective Geometry
Smart Data Sync Agent
dev.toΒ·1dΒ·
Discuss: DEV
🏠Homelab Orchestration
Loading...Loading more...
AboutBlogChangelogRoadmap