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

The Compliance Arms Race: What GovRAMP Means for SLED, Cloud Vendors, and the Rest of Us
backblaze.com·2d
✅Archive Fixity
Margaret Boden, Philosopher of Artificial Intelligence, Dies At 88
slashdot.org·3h
🔲Cellular Automata
Trying Out the New Android Linux Terminal
deepakness.com·23h·
Discuss: Hacker News
📟Terminals
Why Remediation Is the Hardest Problem in NHI Security
token.security·1d·
Discuss: Hacker News
🔐Capability Systems
For Americans Only: Estimating Celsius and Other Mental Metrics
hackaday.com·23h
📐Arithmetic Precision
Australian lawyer apologizes for AI-generated errors in murder case
the-independent.com·9h
🔍Vector Forensics
Book Review: The Math Academy Way
ijfen.substack.com·1d·
Discuss: Substack
📚Proof Pedagogy
The Drugs Are Taking Hold
blog.dshr.org·1d·
Discuss: Hacker News, www.blogger.com
🔍BitFunnel
A Guide to Managing the Complexities of Multicloud Adoption
hackernoon.com·7h
🖥️Self-hosted Infrastructure
Building Safeguards for Claude
anthropic.com·3d·
Discuss: Hacker News
🎯Threat Hunting
How GPT Can Assist in Bloodstream Infection Management: AI as a Clinician’s Helper
dev.to·1h·
Discuss: DEV
🌊Stream Processing
Chimera: Harnessing Multi-Agent LLMs for Automatic Insider Threat Simulation
arxiv.org·3d
🎯Threat Hunting
Automated Microstructure Analysis for Predictive Material Degradation Modeling
dev.to·3d·
Discuss: DEV
🏺Computational Archaeology
DiffPose-Animal: A Language-Conditioned Diffusion Framework for Animal Pose Estimation
arxiv.org·2d
🧠Machine Learning
Learning Optimal and Fair Policies for Online Allocation of Scarce Societal Resources from Data Collected in Deployment
arxiv.org·2d
⚡Incremental Computation
Evaluating Podcast Recommendations with Profile-Aware LLM-as-a-Judge
arxiv.org·2d
📊Feed Optimization
Automated Fault Tree Analysis Refinement via Bayesian Optimization and Genetic Algorithm Hybridization
dev.to·5d·
Discuss: DEV
🌲B-tree Variants
CodeCraft
dev.to·5d·
Discuss: DEV
📜Proof Carrying Code
Secure chat darling Matrix admits pair of 'high severity' protocol flaws need painful fixes
theregister.com·2d·
Discuss: Hacker News
🔓Hacking
Noise-adapted Neural Operator for Robust Non-Line-of-Sight Imaging
arxiv.org·1d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap