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

52 Week Ham Radio Challenge Roundup: Weeks 33-36
ianrenton.com·1d
📻Homebrew Protocols
Heavy boron isotopes trace recycled water in deep-mantle reservoir
nature.com·3h·
Discuss: Hacker News
🌡️Preservation Physics
How Does a Firewall Work Step by Step
kalilinuxtutorials.com·1d·
Discuss: Hacker News
🌐Network Security
Learning web development: Shells and Node.js
2ality.com·1d
📝Shell Parsing
Flood watch for the Greater Lake Tahoe Area until Sunday night due to intense rainfall
mercurynews.com·1d
📡Feed Security
‼ HACK ALERT: Farmers Insurance data breach affects 1.1M people
bleepingcomputer.com·3h·
Discuss: Hacker News
🔓Hacking
Fuzz-testing Go HTTP services
packagemain.tech·3d·
Discuss: r/golang
🧪Binary Fuzzing
Dealing With the 1970s EPROM Chaos in 2025
hackaday.com·1d
🖥Retro Computing
Grepcidr3: High performance search for IP addresses and CIDR ranges
github.com·5d·
Discuss: Hacker News
🌳Incremental Parsing
Prompt engineering is collapsing – GPT-5 just proved it
news.ycombinator.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Predictive Maritime Asset Valuation via Dynamic Network Embedding & Bayesian Optimization
dev.to·3d·
Discuss: DEV
🔍Vector Forensics
Steerable Prompts: Prompt Engineering for the GPT-5 Era
dev.to·5d·
Discuss: DEV
⚡Proof Automation
Multi-Objective Bayesian Optimization with Independent Tanimoto Kernel Gaussian Processes for Diverse Pareto Front Exploration
arxiv.org·4d
🔍Vector Forensics
🔥 The Secret Edge of TinyGo: Run Go Code on a $2 Microcontroller and Blow Your Mind
dev.to·4d·
Discuss: DEV
⚡Homebrew CPUs
How can AI improve ERP reporting (280+ SQL reports, PostgreSQL, 10+ years growing data, multi-client security)?
dev.to·17h·
Discuss: DEV
🗄️Database Internals
Emergent Crowds Dynamics from Language-Driven Multi-Agent Interactions
arxiv.org·3d
🔲Cellular Automata
Futurity as Infrastructure: A Techno-Philosophical Interpretation of the AI Lifecycle
arxiv.org·3d
⚖️Emulation Ethics
InboxTone AI – Writing Assistant for Developers Who Hate Writing
dev.to·7h·
Discuss: DEV
🎙️Whisper
3 reasons everyone is talking about an AI bubble
businessinsider.com·2h
🤖AI Curation
The Interpretability Analysis of the Model Can Bring Improvements to the Text-to-SQL Task
arxiv.org·5d
🧮Datalog Engines
Loading...Loading more...
AboutBlogChangelogRoadmap