💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

How Pixel and Android are bringing a new level of trust to your images with C2PA Content Credentials
security.googleblog.com·2d·
Discuss: www.blogger.com
🎬WebCodecs
callisto: free, experimental CI server, initially for Rust projects
blog.liw.fi·1d
🦀Embedded Rust
Memory Integrity Enforcement
mjtsai.com·1d
🏷️Memory Tagging
Announcing OpenAI Grove
openai.com·14h·
Discuss: Hacker News
🔓Open Source Software
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·3d·
Discuss: Lobsters, Hacker News, r/hardware, r/programming
🏷️Memory Tagging
Cipher Mining: Building For The Future, But Still Bleeding
seekingalpha.com·6h
🔗Hash Chains
Just because you can render a Doom-like in SQL doesn't mean you should
theregister.com·1d
🎮Vintage Gaming
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·1d·
Discuss: Hacker News
❄️Nix Adoption
A “Beam Versus Dataflow” Conversation
oreilly.com·4d
🌊Stream Processing
Programmable Locking Cells (PLC) for Modular Robots with High Stiffness Tunability and Morphological Adaptability
arxiv.org·2d
✋Tactile Computing
Don't Run it Twice: Mastering Idempotency in Production LangGraph Agents
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
Microsoft and OpenAI are working on a new deal – still
heise.de·8h
🔓Open Source Software
The 30-Second Problem That Took Me 3 Weeks to Solve
dev.to·1d·
Discuss: DEV
🌳Git Internals
A New Formula for Pi Is Here. And It’s Pushing Scientific Boundaries.
popularmechanics.com·3d
📐Mathematical Art
How the EU’s Cyber Act Burdens Lone Open Source Developers
thenewstack.io·1d
🔓Open Source Software
Beyond Innovation: Building AI We Can Trust
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
ProtSAE: Disentangling and Interpreting Protein Language Models via Semantically-Guided Sparse Autoencoders
arxiv.org·3d
🔗Monadic Parsing
Meet ArchiSprk, your personal Architect
dev.to·1d·
Discuss: DEV
📟CLI Design
Can You Spend Crypto Without Selling It? Inside The ether.fi Cash Card’s “Never Sell” Revolution
hackernoon.com·1d
🚀Indie Hacking
HTB Titanic Walkthrough
infosecwriteups.com·16h
🛡️CLI Security