💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

The Power of Digital Twins in Cybersecurity
cacm.acm.org·1d
🔐Capability Systems
Brilliant! 13th Gen Solid Firewall PC Core i7-13620H 4x10G SFP 4x2.5G Nics. Finally, a firewall box with 4 10G sfp ports! Right? Uh, right?
i.redd.it·1h·
Discuss: r/homelab
🔌Operating system internals
No, Your Domains and Bounded Contexts Don’t Map 1 on 1
verraes.net·1d
🔢Denotational Semantics
Chasing the Silver Fox: Cat & Mouse in Kernel Shadows
research.checkpoint.com·20h
🦠Malware Analysis
Nullable vs. Nullable in C#
einarwh.no·3d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Can We Build Trustable Hardware? (2019)
bunniestudios.com·20h·
Discuss: Hacker News
🔒Hardware Attestation
Rare IBM Schools Computer 1969
retrocomputingforum.com·20m·
Discuss: Hacker News
🕹️Retro Gaming
Noom's Tech Evaluation: Top AI Mobile Test Automation Tools (August 2025)
mobileboost.io·1d·
Discuss: Hacker News
🔍Concolic Testing
Why JSON Prompts Are the Future of AI Automation
peerlist.io·1d·
Discuss: Hacker News
⚡Proof Automation
Vibing options for whoever you are
seroter.com·15h·
Discuss: Hacker News
📏Code Metrics
Coding at the Speed of AI: Innovation, Vulnerability, and the GenAI Paradox
devops.com·1d
🔄Language Evolution
TypeScript: Enable Strict Mode by Default
github.com·3d·
Discuss: Hacker News
🎯Gradual Typing
Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI
arxiv.org·1d
⚙️Proof Engineering
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·1d·
Discuss: Hacker News
📏Code Metrics
Flowing Straighter with Conditional Flow Matching for Accurate Speech Enhancement
arxiv.org·5h
🎙️Whisper
Tutorial: Dynamic Class Discovery and Loading in Python
dev.to·23h·
Discuss: DEV
🎯Gradual Typing
Building Libra: the story of creating a modern label-manufacturing website (and everything under the hood)
dev.to·23h·
Discuss: DEV
📄Document Digitization
Capabilities of GPT-5 across critical domains: Is it the next breakthrough?
arxiv.org·1d
💻Programming languages
Disabling Self-Correction in Retrieval-Augmented Generation via Stealthy Retriever Poisoning
arxiv.org·1d
🔍BitFunnel
Multi-Objective Optimization of ReRAM Crossbars for Robust DNN Inferencing under Stochastic Noise
arxiv.org·5h
🧠Machine Learning