🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ”’ Linear Types

Resource Management, Rust Ownership, Session Types, Protocol Safety

Programmable protein ligation on cell surfaces
nature.comΒ·1d
🎯Proof Tactics
Build Your Own Minisforum N5 Inspired Mini NAS: A Comprehensive Guide
jackharvest.comΒ·1dΒ·
Discuss: Lobsters, Hacker News
πŸ”ŒOperating system internals
AMD Advanced Interactive Streaming SDK v1.1.0 Adds Support for Linux
gpuopen.comΒ·2dΒ·
Discuss: Hacker News
πŸ•ΈοΈWASM Archives
Mitigation of Social Media Platforms Impact on the Users
arxiv.orgΒ·1d
🀐Secure Multiparty
Certificate Transparency - Part 1
ipng.chΒ·4dΒ·
Discuss: Lobsters, Hacker News, r/programming
🌳Archive Merkle Trees
Why I believe in AGI (again)
guzey.comΒ·23hΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
An inherent regularization approach to parameter-free preconditioning for nearly incompressible linear poroelasticity and elasticity
arxiv.orgΒ·15h
πŸŒ€Differential Geometry
Digitalizing Uncertain Information
arxiv.orgΒ·1d
πŸ›‘οΈProof-Carrying Data
My "Full-Stack" MLOps Journey: From Broken Models to Actually Working AI
dev.toΒ·2dΒ·
Discuss: DEV
πŸ¦€Rust Macros
Efficient handover based on Near-field and Far-field RIS for seamless connectivity
arxiv.orgΒ·15h
πŸ“‘Bluetooth Archaeology
Help planning my new (overkill) setup
reddit.comΒ·1dΒ·
Discuss: r/homelab
πŸ–₯Home Lab Setup
Linux kernel 6.16 lands without any headline features but 38M lines of code
theregister.comΒ·2d
πŸ”©Systems Programming
Probabilistic Consistency in Machine Learning and Its Connection to Uncertainty Quantification
arxiv.orgΒ·1d
🧠Machine Learning
Serverless Inferencing: Accelerating Business Growth through Scalable AI Deployment
dev.toΒ·9hΒ·
Discuss: DEV
🌊Streaming Systems
StaffPro: an LLM Agent for Joint Staffing and Profiling
arxiv.orgΒ·1d
πŸ“šDigital Humanities
Python Lambda Functions: When to Use Them (and When Not To) [2025 Guide]
dev.toΒ·3dΒ·
Discuss: DEV
Ξ»Lambda Formalization
Linux's Lockdown LSM Back To Being Maintained For Restricted Computing
phoronix.comΒ·9h
πŸ”eBPF
What Is Vertex AI Agent Memory Bank ?
dev.toΒ·1dΒ·
Discuss: DEV
πŸ’ΎPersistence Strategies
I'm rewriting the V8 engine in Rust
reddit.comΒ·6dΒ·
Discuss: r/rust
πŸ¦€Rust Macros
\textit{FedABC}: Attention-Based Client Selection for Federated Learning with Long-Term View
arxiv.orgΒ·2d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap