๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Dependent Preservation

Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants

OpenSSH Post-Quantum Cryptography
openssh.comยท3dยท
Discuss: Lobsters, Hacker News, r/linux
๐Ÿ”Quantum Security
Kubernetes Resource Optimization Strategies That Work in Production
scaleops.comยท45mยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Establishing verifiable security: Reproducible builds and AWS Nitro Enclaves
aws.amazon.comยท3dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
MLS: The Naked King of End-to-End Encryption
poberezkin.comยท1dยท
Discuss: Hacker News
๐Ÿ”Archive Encryption
Show HN: An open-source,security first,local-first memory tool for AI assistants
news.ycombinator.comยท23hยท
Discuss: Hacker News
๐ŸŒWASI
Provably Transformers Harness Multi-Concept Word Semantics for Efficient In-Context Learning
arxiv.orgยท10h
๐Ÿง Machine Learning
Does anyone actually have a good way to deal with OOMKilled pods in Kubernetes?
reddit.comยท16hยท
Discuss: r/kubernetes
๐Ÿ“ฆContainer Security
NEURAL: Attention-Guided Pruning for Unified Multimodal Resource-Constrained Clinical Evaluation
arxiv.orgยท10h
๐Ÿง Machine Learning
LightShed: Defeating Perturbation-based Image Copyright Protections
usenix.orgยท1d
๐Ÿ‘๏ธPerceptual Hashing
Automated Anomaly Detection in Cloud Resource Configuration Utilizing Dynamic Graph Embeddings
dev.toยท12hยท
Discuss: DEV
๐Ÿ”Vector Forensics
Securing Meta's Production PKI Credentials
usenix.orgยท1d
๐ŸŽฏNTLM Attacks
Automated Regulatory Compliance Verification for Radiological Safety Protocols via Bayesian Network Optimization
dev.toยท1dยท
Discuss: DEV
โœ…Format Verification
Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
arxiv.orgยท2d
๐Ÿง Intelligence Compression
Build a Real-World IROPS Re-accommodation Workflow with KaibanJS
dev.toยท13hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
READER: Retrieval-Assisted Drafter for Efficient LLM Inference
arxiv.orgยท1d
๐Ÿ”„Burrows-Wheeler
The Best Platforms for Evaluating AI Models in 2025
dev.toยท2hยท
Discuss: DEV
๐Ÿ”Concolic Testing
AI-Powered Predictive Maintenance for Intermodal Container Logistics Using Hybrid Bayesian Networks
dev.toยท1dยท
Discuss: DEV
๐ŸงฎKolmogorov Bounds
Day 28: GraphQL in System Design โ€“ A Beginner-Friendly Guide
dev.toยท1hยท
Discuss: DEV
๐Ÿ“ŠGraph Databases
NAS vs Mini-PC for hosting docker containers
reddit.comยท22hยท
Discuss: r/homelab
๐Ÿ HomeLab
Inline Caching (2021)
bernsteinbear.comยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap