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

Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification

double chocolate zucchini bread
smittenkitchen.com·1d
⭐Awesome lists
I'm a cyclist. Will the arrival of robotaxis make my journeys safer?
newscientist.com·1d
🏠Home Automation
Show HN: I built a tool to visualize NYC Urban Chaos
dash.hudsonshipping.co·4h·
Discuss: Hacker News
💻Local first
Vanilla JavaScript scroll restoration for overflowing elements
restore-scroll.js.org·2d·
Discuss: Hacker News
🖋Typography
CRLite: Fast, private, and comprehensive certificate revocation checking in Firefox
hacks.mozilla.org·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌳Archive Merkle Trees
No Silver Marketing Bullets
businessofsoftware.org·1d·
Discuss: Hacker News
📡Feed Archaeology
How DAG Is Transforming Enterprise EDI
surpass.biz·1d·
Discuss: Hacker News
🚚Data Migration
Introducing Pivotal Token Search (PTS): Targeting Critical Decision Points in LLM Training
huggingface.co·4d·
Discuss: Hacker News, r/LLM, r/programming
🎯Interactive Provers
Git RFC: Introduce jj-inspired git-history(1) command for easy history editing
lore.kernel.org·1d·
Discuss: Lobsters, Hacker News
🌿git
I tried Intermapper, a solid visual network monitoring but showing its age
techradar.com·8h
📊Homelab Monitoring
Why is Future Proofing Important in Mobile App Development 2025
dev.to·10h·
Discuss: DEV
🔌Interface Evolution
All amber lights blinking Dell R720XD
reddit.com·2d·
Discuss: r/homelab
🔍FPGA Verification
My Most Valuable Lesson as an Aspiring Data Analyst
towardsdatascience.com·22h
🔗Data Provenance
Radxa Cubie A7A is a powerful SBC based on Allwinner A733 Cortex-A76/A55 AI SoC with up to 16GB RAM
cnx-software.com·2d
🖥️Modern CPU
Simplify access control and auditing for Amazon SageMaker Studio using trusted identity propagation
aws.amazon.com·1d
🔄Sync Engine
Deep Learning for Taxol Exposure Analysis: A New Cell Image Dataset and Attention-Based Baseline Model
arxiv.org·14h
🧠Machine Learning
From Heuristics to Data: Quantifying Site Planning Layout Indicators with Deep Learning and Multi-Modal Data
arxiv.org·2d
🏺Computational Archaeology
AI Agents Are Finally Delivering on the Semantic Web’s Promise
thenewstack.io·2d
🤖AI Curation
Towards a general diffusion-based information quality assessment model
arxiv.org·1d
📊Citation Graphs
Evaluating Open-Source Vision Language Models for Facial Emotion Recognition against Traditional Deep Learning Models
arxiv.org·1d
🧠Learned Codecs
Loading...Loading more...
AboutBlogChangelogRoadmap