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

Type-safe Storage, Verified Preservation, Format Correctness, Proof-carrying Data

She Don't Mind the Late Night Radio
daniel.industriesยท22h
๐ŸงฒMagnetic Philosophy
Privacy for the newly appointed (and already exasperated) DPO
latacora.github.ioยท2d
โš–๏ธLegal Compliance
Ken Kocienda - Coding With AI using Cursor
kocienda.micro.blogยท3d
๐Ÿ”„Language Evolution
After nine years, Ninja has merged support for the GNU Make jobserver
thebrokenrail.comยท1hยท
Discuss: Hacker News, r/cpp, r/linux, r/programming
๐Ÿ”—Topological Sorting
Security and Human Rights in the Age of BCIs
blog.unsupervision.comยท7hยท
Discuss: Hacker News
๐Ÿ”Capability Security
google/codeworld
github.comยท11h
๐Ÿ”“Open Source Software
Airtable "Omni" app builder review
rnikhil.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Daily briefing: The oldest rocks on Earth
nature.comยท2h
๐Ÿ”ฒCellular Automata
Macros Explained for Java Developers
dev.toยท22hยท
Discuss: DEV
๐Ÿง Lisp Dialects
Every breath you take (is intertextual): AG Emiliouโ€™s opinion in C-590/23 Pelham II โ€“ Part 1
copyrightblog.kluweriplaw.comยท3d
โš–๏ธArchive Ethics
Terraform Fundamentals: CodeCommit
dev.toยท1dยท
Discuss: DEV
๐ŸคDistributed Consensus
A Deep Learning framework for building damage assessment using VHR SAR and geospatial data: demonstration on the 2023 Turkiye Earthquake
arxiv.orgยท8h
๐Ÿค–Advanced OCR
Claude Code was stuck without gdb, so I installed it midway and it got happy
dev.toยท6hยท
Discuss: DEV
๐Ÿ“œProof Carrying Code
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.orgยท6d
๐ŸงชCBOR Fuzzing
monads at a practical level
nyadgar.comยท3dยท
Discuss: Hacker News, r/programming
๐ŸงฌFunctional Programming
Update on Goodwill UPS and a question! Too many UPS's? Setup? Help!
reddit.comยท12hยท
Discuss: r/homelab
๐Ÿ Homelab Preservation
[Showcase] My Fully Codified Homelab: Fedora Servers, K3s Cluster, VM Infra, Zigbee, and Monitoring on Baremetal
reddit.comยท1dยท
Discuss: r/homelab
๐Ÿ HomeLab
How to Build a Digital Twin for Predictive Maintenance: A Practical Roadmap
dev.toยท1hยท
Discuss: DEV
๐Ÿ’พPersistence Strategies
๐Ÿง  Solving LeetCode Until I Become Top 1% โ€” Day `34`
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏPerformance Proofs
From Microservices to Fan-Out: Evolving Cross-Service Communication in Modern Systems
dev.toยท20hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Loading...Loading more...
AboutBlogChangelogRoadmap