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

New AI tool illuminates 'dark side' of the human genome
phys.org·17h
🧬Copy Number Variants
Quick Fix: Recover a Corrupted Btrfs Filesystem in Minutes
cubiclenate.com·22h·
Discuss: r/archlinux
🔌Operating system internals
Teacher’s fraction grading shocks internet
mindyourdecisions.com·20h
🎯Arithmetic Coding Theory
Cracking the code: resilient defense and rapid recovery
techradar.com·1d
💾Persistence Strategies
Are you deploying across ARM and x64 architectures?
caepe.sh·22m·
Discuss: Hacker News
🧲RISC-V Preservation
Show HN: Exploratory Policy – a policy simulation playground for complex systems
exploratory.vercel.app·2h·
Discuss: Hacker News
✨Algebraic Effects
What is gVisor?
blog.yelinaung.com·1d·
Discuss: Lobsters, Hacker News, r/programming
📦Container Security
Model Context Protocol, Product Demos, and the New App Store
wjgilmore.com·21h·
Discuss: Hacker News
🖥️Modern Terminals
Working on creating a friends-only NAS/Streaming server, any advice?
preview.redd.it·20h·
Discuss: r/homelab
🏠HomeLab
Got my best friend into linux and now hes falling down the rabbithole
reddit.com·10h·
Discuss: r/linux
🕹️Retro Gaming
Is there a library for building a graphical user interface (GUI) in Go using WebGPU, Vulkan, or OpenGL?
reddit.com·17h·
Discuss: r/golang
⚡Homebrew CPUs
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·1d
🧠Machine Learning
A Scalable Pipeline for Estimating Verb Frame Frequencies Using Large Language Models
arxiv.org·1d
🔗Monadic Parsing
Simplify Your Python Code with Clean Code Best Practices
dev.to·1d·
Discuss: DEV
⬆️Lambda Lifting
A Hands-On Guide to Model Context Protocol (MCP)!
dev.to·9h·
Discuss: DEV
🌊Streaming Systems
OpenBSD Ports: Import of CDE-2.5.2
discoverbsd.com·1d
🔌Operating system internals
An Empirical Study on the Amount of Changes Required for Merge Request Acceptance
arxiv.org·12h
🔓Open Source Software
Reverse engineering some updates to Claude
simonwillison.net·17h
🏺ZIP Archaeology
FairReason: Balancing Reasoning and Social Bias in MLLMs
arxiv.org·12h
📏Linear Logic
Claude Code: My Most Trusted Coworker and My Worst Enemy
lopezb.com·1d·
Discuss: Hacker News, r/programming
⚔️Lean Tactics
Loading...Loading more...
AboutBlogChangelogRoadmap