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

Verification, Type-level Programming, Safety Proofs, Linear Types

Age verification
revk.uk·3h·
Discuss: www.revk.uk
🛡Cybersecurity
Scientists Report Surreal Scenes In the World’s Most Northern Town
404media.co·21h
🧊Arctic Storage
One of the Weirdest Bugs
softuts.com·2d·
Discuss: Hacker News
⛏️SQL Archaeology
"The Launch Party Incident" – Fictional Marketing
dentalcandy.net·1d·
Discuss: Hacker News
🔓Hacking
Belgian region grapples with forever chemical scandal
phys.org·1d
📜Document Physics
Should You Migrate Your Documentation System – and Is It AI-Ready?
nikhilajain.com·21h·
Discuss: Hacker News
🦋Format Metamorphosis
Colodebug: A simple way to improve bash script debugging
johannes.truschnigg.info·6d·
Discuss: Hacker News
🐚Shell Optimization
Show HN: I Built a Runtime Defense Against Prompt Injection in Supabase MCP
docs.tansive.io·4d·
Discuss: Hacker News
🌳Archive Merkle Trees
Performance of Threads vs. Processes
medium.com·1d·
Discuss: Hacker News
⚡Performance Tools
Linux Kernel Proposal Documents Rules For Using AI Coding Assistants
phoronix.com·1d·
Discuss: r/linux
🔩Systems Programming
Mistral AI publishes the first comprehensive life cycle assessment of a large language model
the-decoder.com·1d
🎙️Whisper
Fundamental limits of distributed covariance matrix estimation via a conditional strong data processing inequality
arxiv.org·3d
⧗Information Bottleneck
Using Data Engineering to Track Food Prices and Inflation in Kenya from 2006 to 2025
dev.to·4d·
Discuss: DEV
🤖Archive Automation
Multi-modal Multi-task Pre-training for Improved Point Cloud Understanding
arxiv.org·3d
📊Learned Metrics
RAG Isn’t Enough. Context Engineering is how real AI gets built
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Beginner Questions about Hardware
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Startup Claims up to 100x Better Embedded Computing Efficiency
spectrum.ieee.org·2d·
Discuss: Hacker News
🖥️Hardware Architecture
If you're interested in agentic AI, you need to read this. Stunning, original, pragmatic.
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Install Linters, Get Malware
c-b.io·5d·
Discuss: Hacker News
🛡️eBPF Security
Bolt.new top 50 AI driven app builders (until 51 go live)
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap