🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Worth Reading 081325
rule11.tech·1d
📟Historical Protocols
Hidden Agendas, Lost Cities
systemstack.dev·1d
🎨Swedish Design Philosophy
Guess what else GPT-5 is bad at? Security
cyberscoop.com·2d
🔓Hacking
Nvidia, AMD Pay A 15% Bribe To The US Treasury To Keep Selling Chips To China
techdirt.com·18h
🇨🇳Chinese Computing
Futarchy’s fundamental flaw — the market — the blog post
dynomight.net·1d·
Discuss: Hacker News
🔍BitFunnel
Running Guitar Effects on a PlayStation Portable
hackaday.com·1d
🎵Gameboy Sound
How This AI Breakthrough with Pure Mathematics and Reinforcement Learning Could Help Predict Future Crises
scientificamerican.com·3d
🔲Cellular Automata
The Coming Lob App Renaissance (and Security Nightmare)
brethorsting.com·2d·
Discuss: Hacker News
🔒WASM Capabilities
I created SerdeCraft - Serialize Rust data structures into Minecraft blocks using Serde
github.com·3d
🔒Linear Types
Pironman 5 Mini is a cheaper Tower PC case for the Raspberry Pi 5
cnx-software.com·22h
🔌Single Board PC
Sloppy AI Defenses Take Cybersecurity Back To the 1990s, Researchers Say
it.slashdot.org·2d
🔓Hacking
Scaling Agentic AI – Akka Leads the Way
news.ycombinator.com·18h·
Discuss: Hacker News
🌊Streaming Systems
I Analyzed 14 Years of My Writing with Vibe Coding. Here's What Made Me Change How I See Everything.
dev.to·16h·
Discuss: DEV
📚Digital Humanities
NEAR vs Avalanche: A Dev’s Rant on Trade-Offs (Scalable Web3 Apps)
dev.to·2d·
Discuss: DEV
❄️Nix Flakes
Askeladden Capital Q2 2025 Letter
seekingalpha.com·1d
🧠Intelligence Compression
AI Security Map: Holistic Organization of AI Security Technologies and Impacts on Stakeholders
arxiv.org·2d
🔍Vector Forensics
Hybrid Node-Destroyer Model with Large Neighborhood Search for Solving the Capacitated Vehicle Routing Problem
arxiv.org·2d
🧠Learned Indexes
Blending Imitation and Reinforcement Learning for Robust Policy Improvement
arxiv.org·3d
🔲Cellular Automata
AI in Drug Discovery: Transforming Tomorrow
dev.to·6h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Physics-Informed Deep Contrast Source Inversion: A Unified Framework for Inverse Scattering Problems
arxiv.org·2h
🏺Computational Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap