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

Mathematical secrets of ancient tablet unlocked after nearly a century of study (2017)
theguardian.com·1d·
Discuss: Hacker News
🗝️Paleocryptography
The Physics of Parabolic Microphones: Frequency Dependence of Gain
legallyblindbirding.net·18h·
Discuss: Hacker News
📡Frequency Archaeology
A lost game and other curiosities from a 1989 IBM PC floppy (marnetto.net)
marnetto.net·4d
🕹️Retro Gaming
Beware the false false-positive: how to distinguish HTTP pipelining from request smuggling
portswigger.net·6d
🛣️BGP Hijacking
House Fire, Death, and Rebirth
adama-platform.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Personal AI Workstation with Four Nvidia RTX 6000 Pro Blackwell Max-Q GPUs
a16z.com·3d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
🖥️Modern Terminals
Why I'm building Price Boldly
priceboldly.com·2d·
Discuss: Hacker News
🔍BitFunnel
A Better Way to Think About AI
theatlantic.com·1d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
Best Data Science Training Placement in Electronic City, Bangalore
dev.to·1d·
Discuss: DEV
🧪Data science
Recon Roulette: Spinning Old Subdomains into a Fresh Critical Takeover
infosecwriteups.com·22h
🛣️BGP Hijacking
Sam Altman and UK government minister reportedly discussed giving ChatGPT Plus to all Brits for free
tomshardware.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Predictive Maritime Asset Valuation via Dynamic Network Embedding & Bayesian Optimization
dev.to·3d·
Discuss: DEV
🔍Vector Forensics
Asking Eric: It was a compliment! Why should my friend resent being compared to a celebrity?
mercurynews.com·18h
🔢Coding Theory
Inside The Income Factory: Credit Asset Investing With Steven Bavaria
seekingalpha.com·9h
🔍BitFunnel
Best Programming Languages for AI and Machine Learning
dev.to·2d·
Discuss: DEV
🎵Audio ML
Letters: Board should bar Contra Costa sheriff from ICE notifications
mercurynews.com·3d
💻Local first
A Cost-Effective Framework for Predicting Parking Availability Using Geospatial Data and Machine Learning
arxiv.org·4d
🧠Machine Learning
Reinforcement Learning to Rank Using Coarse-grained Rewards
arxiv.org·4d
📊Search Ranking
Talking To Zed Industries- Makers Of The 100% Rust, Super-Performant, Collaborative Code Editor
filtra.io·5d·
Discuss: r/rust
⚔️Lean Tactics
Angular Goes AI-Native: Building Smarter Dev Workflows
dev.to·4d·
Discuss: DEV
🔄Language Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap