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

How to make the most out of MOP
blog.evanchen.cc·3d
🔲Cellular Automata
A boring theory of the populist right
slowboring.com·18h·
Discuss: Hacker News
🤝Consensus Networks
August GNU Spotlight with Amin Bandali featuring Eleven new GNU releases: Emacs, Mes, and more!
fsf.org·3d
🐧FOSS
In Australia, racist violence is nothing new. But emboldened neo-Nazis form a frightening new spectre
theguardian.com·49m
🌍Cultural Computing
The Case for Pascal, 55 Years On
hackaday.com·3d
💧Liquid Types
Implementing the Caesar Cipher in Python
towardsdatascience.com·3d
🔐Cryptographic Archaeology
Finally a homelab to call my own!
preview.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
Cost-effective catalyst uses abundant metals to convert CO₂ emissions to useful products
phys.org·12h
☕Coffee Chemistry
Trump FCC Boss Brendan Carr Joins Ted Cruz In Fucking Over Poor Rural School Kids
techdirt.com·16h
🛡Cybersecurity
A glimpse of a planet in formation: AB Aurigae b detected in H-alpha light
phys.org·12h
🏺Kerberos Archaeology
AI Agent Security – Why You Should Pay Attention
medium.com·3d·
Discuss: Hacker News
🎯Threat Hunting
The Open Source Ward Weekly (2 September 2025)
open-source-ward.com·3d·
Discuss: Hacker News
🔓Open Source Software
Vibe Coding Python: Testing Copilot vs. CodeGPT vs. Tabnine
thenewstack.io·3d
📟Terminals
Automatically Generating High-Precision Simulated Road Networking in Traffic Scenario
arxiv.org·2d
🌀Hyperbolic Geometry
Becoming the AI Agent Specialist on Your Team
dev.to·1d·
Discuss: DEV
⚙️Batch Processing
Activation Subspaces for Out-of-Distribution Detection
arxiv.org·5d
🧠Machine Learning
Letters: What private investor would put money into high-speed rail?
mercurynews.com·1d
💻Local first
Custom AI Solutions in Healthcare: Why One-Size-Fits-All Software Fails
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
The Future of AI Development: Building Real-World Intelligent Agents
dev.to·20h·
Discuss: DEV
🎙️Whisper
ELA-1510-1 libcommons-lang-java security update
freexian.com·5d
🛡️CBOR Security
Loading...Loading more...
AboutBlogChangelogRoadmap