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

What's new with Himitsu 0.9?
drewdevault.com·1d
🔌Operating system internals
DARPA’s AI Cyber Challenge reveals winning models for automated vulnerability discovery and patching
cyberscoop.com·1d
🔓Hacking
Circadian clock in synthetic cells reveals timekeeping principles
nature.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Ratfactor's Illustrated Guide to Folding Fitted Sheets
ratfactor.com·10h·
Discuss: Hacker News
⭐Awesome lists
Show HN: AI Tool Writes Your Stories 10x Faster
aistoryspark.online·1d·
Discuss: Hacker News
📰Feed Readers
GitLab uncovers Bittensor theft campaign via PyPI
about.gitlab.com·3d·
Discuss: Hacker News
🌳Archive Merkle Trees
Digest #176: AWS Account Wipe, Pinterest’s Kubernetes Bug, Kamal + Terraform Deployment
devopsbulletin.com·1d
❄️Nix Adoption
Fail-Open: Reckless or Resilient?
nextorbit.co·3d·
Discuss: Hacker News
🛡️Error Boundaries
Reducing double spend latency from 40 ms to < 1 ms on privacy proxy
blog.cloudflare.com·4d·
Discuss: Hacker News
🌐DNS over QUIC
Linux laptop PCI dss at ovhcloud
blog.ovhcloud.com·13h·
Discuss: Hacker News
🔌Operating system internals
Dear String-to-Integer Parsers
owl.billpg.com·2d·
Discuss: Hacker News
🔧Binary Parsing
Quantifying the algorithmic improvement from reasoning models
epoch.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Rails queue adapter for mindful developers. Accepts all jobs, executes none
github.com·1d·
Discuss: Hacker News
🔄Sync Engine
Additional Intel Linux Drivers Left Orphaned & Maintainers Let Go
phoronix.com·1d·
Discuss: Hacker News, r/linux
🔩Systems Programming
Linux desktop Gnome: Between financial difficulties and technical progress
heise.de·2d
🔓Open Source Software
Show HN: Blueprint, a desktop app to guard against rogue LLMs
github.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Axum Is Shaping the Future of Web Development in Rust
dev.to·5d·
Discuss: DEV
🔒Linear Types
How to Create NumPy Arrays from Lists
dev.to·14h·
Discuss: DEV
📊APL Heritage
Mastering Prompting for AI Agents: Insights and Best Practices
dev.to·3h·
Discuss: DEV
🤖AI Curation
The Subtle Art of Herding Cats: Show, Don’t Tell: Teaching AI by Example (Part 2 of 4)
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap