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

CodeSOD: An Annual Report
thedailywtf.com·1d
🧬Bitstream Evolution
What is agentic commerce? And how are fraudsters exploiting it?
fingerprint.com·4h
⚡Proof Automation
os-test has been funded by NGI Zero Commons
sortix.org·2d
🔓Open Source Software
Testing out Crush, a TUI based coding agent (in neovim btw)
grahamhelton.com·3d
🌀Brotli Internals
Show HN: Glyphshift – A Browser Extension to Learn Phonetic Systems
mordenstar.com·10h·
Discuss: Hacker News
🔤Unicode Normalization
How long do you make your customers wait?
idiallo.com·6h·
Discuss: Hacker News
📡Feed Security
Why Building Billing Systems Is So Painful
dmitry.ie·4h·
Discuss: Hacker News
🔍BitFunnel
SFrame Stack Trace Format
sourceware.org·5d·
Discuss: Hacker News
🔧Binary Parsing
Measuring the effectiveness of software development tools and practices
amazon.science·6h·
Discuss: Hacker News
📏Code Metrics
Does the Code Work or Not?
towardsdatascience.com·2d
📏Code Metrics
🚀 Learning Update: Bash, Python, and Cybersecurity Training!
dev.to·2d·
Discuss: DEV
📟Terminal Forensics
Glioblastoma Overall Survival Prediction With Vision Transformers
arxiv.org·1d
📊Learned Metrics
Dataset Condensation with Color Compensation
arxiv.org·1d
🌈Color Science
The Hidden 3-Hour Time Drain in AI Development
dev.to·21h·
Discuss: DEV
🧮Z3 Solver
Why did Meta invest in Scale AI – and how will it change the AI models you use?
techradar.com·13h
🤖AI Curation
AI Isn't Writing 90% of Your Code (But It Should Be Making You Money)
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Get ready to relive the energy of KubeCon + CloudNativeCon Japan 2025! 🇯🇵
youtube.com·1h
🕹️Retro Gaming
Machine Learning Fundamentals: loss function with python
dev.to·3d·
Discuss: DEV
👁️Observatory Systems
Getting Started with Building a Markdown Parser in Rust
hackernoon.com·6d
🦀Rust Macros
Hybrid LSTM-Transformer Models for Profiling Highway-Railway Grade Crossings
arxiv.org·2d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap