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

img2blocks
scruss.com·1d
🔠Terminal Fonts
Adobe Security Recap: 2024 Ambassador World Cup Final Four
hackerone.com·2d
🎫Kerberos Exploitation
Financial Lessons from My Family's Experience with Long-Term Care Insurance
whitecoatinvestor.com·8h·
Discuss: Hacker News
🏠Personal Archives
Myths and Lessons from a Century of American Automaking
eig.org·14h·
Discuss: Hacker News
🏺Gaming Archaeology
The Dartboard Sequence
mathpages.com·2d·
Discuss: Hacker News
🎞️Tape Combinatorics
10 Surprising Things You Can Do with Python’s time module
kdnuggets.com·1d
⚙️WASM Runtime
What is gVisor?
blog.yelinaung.com·2d·
Discuss: Lobsters, Hacker News, r/programming
📦Container Security
Show HN: Same prompt tested across Replit, Bolt, v0, Lovable and Raq.com
raq.com·4d·
Discuss: Hacker News
⚡Proof Automation
Show HN: Gensee – Free AI Agent Optimization and Deployment
platform.gensee.ai·2d·
Discuss: Hacker News
🤖AI Curation
‘You killed her!’: My 100% faithful attempt at Traitors Live Experience
theguardian.com·10h
📟Terminal Forensics
Igniting Young Minds: SCRATCH & Pair Programming for Early CS Success
hackernoon.com·3d
🗺️Competency Maps
You, Your Tools, and Your Team of AI Agents – By Owen Zanzal
medium.com·2d·
Discuss: Hacker News
🔄Archival Workflows
COTI Launches Monthly DeCC Space in Collaboration With Secret Network, To Unite Web3 Projects
hackernoon.com·2d
📞WebRTC
Day 41/100: Reading Files with open() in Python
dev.to·1d·
Discuss: DEV
📄file formats
Boost Your Coding Game with ToolPix: Free AI-Powered Tools in 2025
dev.to·1d·
Discuss: DEV
🎬WebCodecs
Boots theory and Wikipedia
reasonableapproximation.net·1d
🧲Magnetic Philosophy
Multi-fidelity Bayesian Data-Driven Design of Energy Absorbing Spinodoid Cellular Structures
arxiv.org·2d
🌀Differential Geometry
Reviving Your MNEME: Predicting The Side Effects of LLM Unlearning and Fine-Tuning via Sparse Model Diffing
arxiv.org·3d
💻Local LLMs
Linux's Lockdown LSM Back To Being Maintained For Restricted Computing
phoronix.com·2d
🔍eBPF
DepMicroDiff: Diffusion-Based Dependency-Aware Multimodal Imputation for Microbiome Data
arxiv.org·1d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap