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

Sideloading audiobooks to an iPhone
sixcolors.com·17h
💿FLAC Archaeology
4 no-oven recipes to keep your kitchen cool during the UK heatwave
the-independent.com·3h
🧮Algorithmic Cooking
Expanding carbon capture project ‘marks significant moment for Welsh industry’
the-independent.com·9h
📄Document Digitization
An AI data trap catches Perplexity impersonating Google
businessinsider.com·7h
🚀Indie Hacking
My First Zig Day
tristanpemble.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Show HN: New VSCode extension Function Explorer
marketplace.visualstudio.com·4d·
Discuss: Hacker News
🖋Typography
The hidden engineering behind foundation model building
poolside.ai·2d·
Discuss: Hacker News
⚡Incremental Computation
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·5d·
Discuss: Hacker News
🌳Incremental Parsing
ASCII Art Signatures in the Wild (2012)
geon.github.io·3d·
Discuss: Hacker News
🔧KAITAI
42% of Developers Using AI Say Their Codebase is Now Mostly AI-Generated
darkreading.com·13h
📏Code Metrics
Dear Abby: I’m a mom and a teacher, and one of my daughter’s peers wants to date me
mercurynews.com·51m
🗃archives
Why Solana Is the Cost-Efficient Choice for Token Creation in 2025
dev.to·1h·
Discuss: DEV
🔗Hash Chains
User Interfaces in Agentic CLI Tools: What Developers Need
thenewstack.io·2d
📟Terminals
Integrating Agentic AI into DevOps: New Era of Smart Automation
vibe.forem.com·23h·
Discuss: DEV
⚙️TLA+
How to Run Open-Source LLMs Offline in 2025
dev.to·2d·
Discuss: DEV
💻Local LLMs
Distinguishing Target and Non-Target Fixations with EEG and Eye Tracking in Realistic Visual Scenes
arxiv.org·4h
📊Learned Metrics
Context Guided Transformer Entropy Modeling for Video Compression
arxiv.org·4h
🧠Learned Codecs
Efficient Chambolle-Pock based algorithms for Convoltional sparse representation
arxiv.org·4h
⧗Information Bottleneck
How AI Tools Are Assisting Smart Contract Testing & Auditing in 2025
dev.to·2h·
Discuss: DEV
🏠Homelab Pentesting
AI Just Found the Future of Batteries, And It’s Not Lithium
scitechdaily.com·42m
🤖AI Curation
Loading...Loading more...
AboutBlogChangelogRoadmap