SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
🔒Protocol Verification
Flag this post
Your URL Is Your State
🌐Network Protocols
Flag this post
Internet Archive's Legal Fights Are Over, But Its Founder Mourns What Was Lost
tech.slashdot.org·2d
📵Digital Minimalism
Flag this post
The Same Feature That Makes a Component Powerful Can Also Make It Dangerous
🏃Escape Analysis
Flag this post
Why TypeScript Won't Save You
cekrem.github.io·10h·
Discuss: r/javascript, r/node, r/programming, r/reactjs, r/typescript, r/webdev
🎯GADT
Flag this post
KubeCon NA vCluster Schedule: Come Visit us and get some books signed, and check out what we're doing with GPUs and Multitenancy
⎈Kubernetes
Flag this post
Set Up Talos Linux on Your Machine
thenewstack.io·41m
⎈Kubernetes
Flag this post
Automated Prompt Generation for Code Intelligence: An Empirical study and Experience in WeChat
arxiv.org·13h
🤖Program Synthesis
Flag this post
I built an open‑source C# email client with Uno: Gmail, Outlook, IMAP, native Proton Mail, private local AI-agents
📦Unikernel Systems
Flag this post
Anthropic Commits To Model Weight Preservation
lesswrong.com·21h
🐫Embedded OCaml
Flag this post
Loading...Loading more...