Encrypting identifiers in practice
sjoerdlangkemper.nl·13h
🌊Stream Ciphers
CVE-2025-32977 - Quest KACE Unauthenticated Backup Upload
seclists.org·1d
🛡Cybersecurity
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·2h
⚡Proof Automation
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·9h·
Discuss: Hacker News
🧩WASM Modules
C++ Seeding Surprises (2015)
pcg-random.org·1h·
Discuss: Hacker News
🔢Bitwise Algorithms
The collective waste caused by poor documentation
shanrauf.com·16h·
Discuss: Hacker News
📦Deflate
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Make Sense of a 10K+ Line GitHub Repos Without Reading the Code
kdnuggets.com·1d
🌿git
What Is "Modern" Programming?
lemire.me·6h·
Discuss: Hacker News
💧Liquid Types
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·11h
📋Protocol Buffers
Using PhantomData and Zero-Sized Types
dev.to·2h·
Discuss: DEV
🔒Type Safety
From Zero to One: A Complete Guide to Implementing WeChat Sharing in HarmonyOS
dev.to·9h·
Discuss: DEV
⚡Modern Compression
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·11h·
Discuss: DEV
λLambda Formalization
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Python Fundamentals: assertions
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Is Your Automated Software Engineer Trustworthy?
arxiv.org·1d
⚡Proof Automation