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

A geography game that never happened – every photo is AI, every memory is yours
timeguessr.online·1d·
Discuss: Hacker News
🔲Cellular Automata
Show HN: B2B Planr – track marketing plans, budgets, and results in one place
b2bplanr.com·1d·
Discuss: Hacker News
🧠Query Planners
What’s a ‘Secondary Tariff’ Like the One Trump Imposed on India?
bloomberg.com·20h
🎯Proof Tactics
Microbial metabolite repairs liver injury by restoring hepatic lipid metabolism
journals.asm.org·43m·
Discuss: Hacker News
🧮Algorithmic Cooking
Policies on Large Language Model Usage at ICLR 2026
blog.iclr.cc·1d·
Discuss: Hacker News
📜Digital Philology
Hashlock Launches Free AI Audit Tool for Smart Contracts
aiaudit.hashlock.com·2d·
Discuss: Hacker News
⚡Proof Automation
The MiniPC Revolution
jadarma.github.io·2d·
Discuss: Hacker News
🖥️Modern Terminals
Sep 26 2025 : Synthesizer Night @ NYC Resistor
nycresistor.com·1d
🎛️Audio Synthesis
V Language: Simplicity Made Sexy. A Gen-Z Blend of Go and Rust
medium.com·1d·
Discuss: Hacker News
🦀Rust Macros
A Causal App For Gnuplot
irreal.org·1d
📺Terminal UI
In-browser NL2SQL2NL playground: SQLite WASM meets Gemini
github.com·12h·
Discuss: Hacker News
💾SQLite
How Deep Research Agents Can Leak Your Data
embracethered.com·3d
🧪Protocol Fuzzing
Two Meta Superintelligence hires jump back to OpenAI after only weeks
the-decoder.com·1d
🤖AI Curation
Adaptive DDoS Mitigation via Hyper-Dimensional Signature Correlation & Dynamic Recursion
dev.to·4d·
Discuss: DEV
👁️Observatory Systems
Jeff Su: 3 AI Habits So Powerful It Feels Like Cheating
dev.to·20h·
Discuss: DEV
🚀Indie Hacking
AI character generator tools
dev.to·2d·
Discuss: DEV
🔤Character Classification
The MCP Threat Landscape: Security Risks Every Developer Must Know
dev.to·2d·
Discuss: DEV
📦Container Security
💻MCP: Protocol as Product, Hype as Standard
dev.to·2d·
Discuss: DEV
🏺Protocol Archaeology
AI as IA: The use and abuse of artificial intelligence (AI) for human enhancement through intellectual augmentation (IA)
arxiv.org·2d
🔲Cellular Automata
Multi-User SLNR-Based Precoding With Gold Nanoparticles in Vehicular VLC Systems
arxiv.org·3d
⚛️Quantum Codecs
Loading...Loading more...
AboutBlogChangelogRoadmap