💧 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
Searching for Closure
third-bit.com·1d
🕸️Mesh Archiving
callisto: free, experimental CI server, initially for Rust projects
blog.liw.fi·1d
🦀Embedded Rust
Programmable antisense oligomers for phage functional genomics
nature.com·2d
🧬Palindrome Codes
Setting up rooted Android emulator with Frida and mitmproxy
trickster.dev·1d·
Discuss: Hacker News
🕹Emulation
Show HN: Flox – Nvidia CUDA available for the Nix ecosystem
flox.dev·2d·
Discuss: Hacker News
❄️Nix Flakes
New tool automates cell identification in complex datasets
phys.org·1d
📄Document Digitization
Just because you can render a Doom-like in SQL doesn't mean you should
theregister.com·1d
🎮Vintage Gaming
A “Beam Versus Dataflow” Conversation
oreilly.com·4d
🌊Stream Processing
Optimizing AI Inference on Non-GPU Architectures by Rajalakshmi Srinivasaraghavan
hackernoon.com·3d
⚡CPU Microarchitecture
Don't Run it Twice: Mastering Idempotency in Production LangGraph Agents
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
Ethereum Meme Coin Little Pepe Crosses $25M, Announces 15 ETH Giveaway
hackernoon.com·7h
🔍BitFunnel
Depth-Bounded Epistemic Planning
arxiv.org·1d
📏Linear Logic
Exposing Agents as MCP Servers with mcp-agent
dev.to·3d·
Discuss: DEV
⚙️TLA+
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
Co-Investigator AI: The Rise of Agentic AI for Smarter, Trustworthy AML Compliance Narratives
arxiv.org·1d
🔍Vector Forensics
Introducing MinIO AIStor on Supermicro: Pre-Integrated Pods for Private Cloud AI
blog.min.io·1d
🔄Sync Engine
Build a Collaborative Inventory Dashboard with TanStack, Velt SDK and Kiro IDE⛵
dev.to·6h·
Discuss: DEV
🔄Sync Engine
Beyond Innovation: Building AI We Can Trust
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms