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

Type-level Programming, Proof-carrying Code, Agda, Type Safety

AI That Finds “Shadows” in Fusion Reactors Could Unlock Clean Energy Faster
scitechdaily.com·10h
⚛️Information Physics
Progress on my open source funding experiment
hezmatt.org·14h
🚀Indie Hacking
Colorado River Running Out of Water
oilprice.com·14h·
Discuss: Hacker News
🌡️Preservation Thermodynamics
Time Is on My Side
frankchimero.com·19h·
Discuss: Hacker News
📖Nordic Typography
"Assume a Spherical Cow"
sphericalcowblog.com·1d·
Discuss: Hacker News
🌀Differential Geometry
Subverting AIOps Systems Through Poisoned Input Data
schneier.com·1d·
Discuss: www.schneier.com
🔓Hacking
How to Build a Brand Monitoring Bot on X
anchorbrowser.io·18h·
Discuss: Hacker News
📡RSS Automation
Study of 281 MCP plugins: 72% expose high-privilege actions; 1 in 10 fully exploitable
pynt.io·2d·
Discuss: r/programming
🛡️CLI Security
Speed wins when fuzzing Rust code with `#[derive(Arbitrary)]`
nnethercote.github.io·5d·
Discuss: r/rust
🦀Rust Macros
An Analysis of the Impact of Gold Open Access Publications in Computer Science
cacm.acm.org·23h
📊Citation Graphs
Microsoft Post-quantum resilience: building secure foundations
blogs.microsoft.com·20h·
Discuss: Hacker News, r/privacy
🔐Quantum Security
Large Language Models Parse Content
blog.blogwald.com·2d·
Discuss: Hacker News
🧠Intelligence Compression
Using Claude Code with your Team plan
support.anthropic.com·8h·
Discuss: Hacker News
🌳Incremental Parsing
How "special register groups" invaded computer dictionaries for decades
righto.com·1d·
Discuss: Hacker News
🏛️BESM Computers
Quark’s Outlines: Python Complex Numbers
dev.to·3d·
Discuss: DEV
🧮Z3 Applications
Mindful Pomodoro on M5Stack Paper
hackster.io·18h
🖥️Modern Terminals
Emotionally Adaptive Generative Art: A Bayesian Optimization Framework
dev.to·1d·
Discuss: DEV
🧠Learned Codecs
Making Pose Representations More Expressive and Disentangled via Residual Vector Quantization
arxiv.org·10h
🗜️LZW Variants
Send Emails with Lovable and Mailtrap
dev.to·6h·
Discuss: DEV
📡Feed Security
From side project to meaningful gift: Building Love Tales in public
dev.to·1d·
Discuss: DEV
🏛Digital humanities
Loading...Loading more...
AboutBlogChangelogRoadmap