🐿️ 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
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·16h
🇨🇳Chinese Computing
The Crisis of the University Started Long Before Trump
compactmag.com·10h·
Discuss: Hacker News
⚖️Emulation Ethics
Immediate-Mode-UI/Nuklear
github.com·2d
📺Terminal UI
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·20h
🔌Single Board PC
Scaling Agentic AI – Akka Leads the Way
news.ycombinator.com·16h·
Discuss: Hacker News
🌊Streaming Systems
Verification Method for Graph Isomorphism Criteria
arxiv.org·3d
🔗Graph Isomorphism
$100,000 or the Robot Gets it! Tech Workers' Resistance Guide: Tech Worker Actions, History, Risks, Impacts, and the Case for a Radical Flank
arxiv.org·3d
🧲Magnetic Philosophy
From Backlinks to Data Depth: How LLMs Are Rewriting Content Authority
hackernoon.com·1d
🌀Brotli Internals
I Analyzed 14 Years of My Writing with Vibe Coding. Here's What Made Me Change How I See Everything.
dev.to·14h·
Discuss: DEV
📚Digital Humanities
Resurrecting the Salmon: Rethinking Mechanistic Interpretability with Domain-Specific Sparse Autoencoders
arxiv.org·1d
💻Local LLMs
Real-time deep learning phase imaging flow cytometer reveals blood cell aggregate biomarkers for haematology diagnostics
arxiv.org·1d
🏺Computational Archaeology
AI in Drug Discovery: Transforming Tomorrow
dev.to·4h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The enterprise AI paradox: why smarter models alone aren’t the answer
techradar.com·1d
🔲Cellular Automata
Silent Code: The Unseen Algorithms Reshaping Your Digital World
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Hyper-Resolution Spectral Mapping of Intra-Cluster Medium Ionization States via Bayesian Deep-Learning
dev.to·4h·
Discuss: DEV
🧠Machine Learning
Improving watermelon (Citrullus lanatus) disease classification with generative artificial intelligence (GenAI)-based synthetic and real-field images via a cust...
arxiv.org·1h
🤖Advanced OCR
Loading...Loading more...
AboutBlogChangelogRoadmap