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

86Box Now Supports the SafeDisc Copy Protection for Cue/Bin Image Files
fabulous.systems·2d·
Discuss: Hacker News
✅FLAC Verification
Inspired by water striders: self-unfolding fans make the ‘Rhagobot’ agile
heise.de·2d
⚙️Tape Transport
The Binomial Trap: Why 99% Reliability Still Fails Users
michaelyaroshefsky.com·1d·
Discuss: Hacker News
❄️Nix Adoption
Light Intensity Monitoring System using Bolt Cloud & Google
hackster.io·1d
📱QR Archaeology
One Camera Mule to Rule Them All
hackaday.com·2d
🔌Single Board PC
Astronomers map detailed structures in a giant radio fossil in the Ophiuchus cluster
phys.org·1d
📰RSS Archaeology
PadChest-GR: A Bilingual Chest X-ray Dataset for Grounded Radiology Report Generation
arxiv.org·2d
🦴Binary Paleography
Enhancing Machine Learning for Imbalanced Medical Data: A Quantum-Inspired Approach to Synthetic Oversampling (QI-SMOTE)
arxiv.org·2d
⚛️Quantum Tape
Computational Social Science and Critical Studies of Education and Technology: An Improbable Combination?
arxiv.org·2d
🌍Cultural Computing
DUViN: Diffusion-Based Underwater Visual Navigation via Knowledge-Transferred Depth Features
arxiv.org·2d
🌀Riemannian Computing
Can the Waymo Open Motion Dataset Support Realistic Behavioral Modeling? A Validation Study with Naturalistic Trajectories
arxiv.org·2d
🧩WASM Components
Intel Releases OpenVINO 2025.3 With More GenAI Enhancements & Arc Pro B-Series Support
phoronix.com·1d
🖥️Modern CPU
Getting Started with CrewAI: Multi-Agent AI Teams
dev.to·1d·
Discuss: DEV
⚡Proof Automation
HydroVision: Predicting Optically Active Parameters in Surface Water Using Computer Vision
arxiv.org·3d
📐Projective Geometry
Free QR code generators are no more free
dev.to·2d·
Discuss: DEV
🔓Open Source Software
My Summer 2025 Dev Journey: AI Challenges, Robot Adventures, and Community Growth 🌞
dev.to·5d·
Discuss: DEV
🌀Brotli Internals
2025/26 Women’s Super League prediction & betting tips: Blues best in class
the-independent.com·2d
🔃Feed Algorithms
Population-aware Online Mirror Descent for Mean-Field Games with Common Noise by Deep Reinforcement Learning
arxiv.org·2d
🔲Cellular Automata
ESP32-H2-Zero mini Zigbee, Thread, and BLE USB-C board is based on ESP32-H2 RISC-V SoC
cnx-software.com·1d
🔌Single Board PC
It looks like you’re ransoming data. Would you like some help?
theregister.com·2d
🕵️Vector Smuggling
Loading...Loading more...
AboutBlogChangelogRoadmap