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

I'm a real estate agent who thought I was too smart to fall for a scam. Then I almost sold a $200,000 lot to a fraudster.
businessinsider.com·11h
🎫Kerberos Attacks
All Souls exam questions and the limits of machine reasoning
resobscura.substack.com·23h·
Discuss: Substack
🏛Digital humanities
A conversation with Max Tegmark inspired AI co-founder Igor Babuschkin shift to safer AI
the-decoder.com·5h
🚀Indie Hacking
Tribblix: OS derived from OpenSolaris, OpenIndiana, and Illumos
tribblix.org·1d·
Discuss: Hacker News
🔌Operating system internals
[$] Possible paths for signing BPF programs
lwn.net·2d
🛡️eBPF Security
Claude can now process entire software projects in single request, Anthropic says
venturebeat.com·2d·
Discuss: Hacker News
⚙️Batch Processing
The GenAI 'crutch': why teams must learn before they lean
techradar.com·13h
⚔️Lean Tactics
Vulkan 1.4.325 Released With Untyped Pointers Extension
phoronix.com·5d
🔗Static Linking
GCC Developers Discuss Dropping Poorly Supported, Niche CPU Architectures
phoronix.com·1d
🔩Systems Programming
New discoveries of <i>Australopithecus</i> and <i>Homo</i> from Ledi-Geraru, Ethiopia
nature.com·1d
🦴Database Paleontology
AI Coding Assistants Made Me a Lazy Developer… And That’s Okay
dev.to·1d·
Discuss: DEV
📏Code Metrics
Linux distros for beginners in 2025 make switching from Windows so easy
zdnet.com·3d·
Discuss: Hacker News
🔌Operating system internals
August 11, 2025: Intermediate Scraping Webinar (4 hour) [Americas / Europe-friendly time]
bellingcat.com·3d
🦀Rust Macros
Sanboxed Claude Code
dev.to·2d·
Discuss: DEV
📦Container Security
Multi-Hop Privacy Propagation for Differentially Private Federated Learning in Social Networks
arxiv.org·2d
🤐Secure Multiparty
Fairness of Automatic Speech Recognition: Looking Through a Philosophical Lens
arxiv.org·2d
🎙️Whisper
Physics-Informed Multimodal Bearing Fault Classification under Variable Operating Conditions using Transfer Learning
arxiv.org·2d
🧠Machine Learning
Breeding climate-resilient crop plants: Mapping method reveals key regulatory switches
phys.org·2h
🧬Copy Number Variants
Learning Generalizable and Efficient Image Watermarking via Hierarchical Two-Stage Optimization
arxiv.org·1d
💧Digital Watermarking
LLMs vs. Chinese Anime Enthusiasts: A Comparative Study on Emotionally Supportive Role-Playing
arxiv.org·3d
🇯🇵Japanese Computing
Loading...Loading more...
AboutBlogChangelogRoadmap