💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·17h·
Discuss: Lobsters, Hacker News, r/programming
🛡️Proof-Carrying Data
Anonymous structavaganza in zig
lirk.top·16h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Athos Silicon: SoC with redundant UCIe chiplets for autonomous driving and more
heise.de·39m
⚡Nordic Processors
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·21h
🌊Stream Processing
Generating C functions and prototypes using macros – part 2
subethasoftware.com·8h
🦀Rust Macros
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·1h·
Discuss: Lobsters, Hacker News, r/rust
🦾ARM Assembly
Nullable vs. Nullable in C#
einarwh.no·15h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Quality Precision
lesswrong.com·15h·
Discuss: Hacker News
✅FLAC Verification
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·19h·
Discuss: Hacker News
✅Format Verification
The Nickel Configuration Language
nickel-lang.org·2d·
Discuss: Hacker News
📋Format Specification
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·14h·
Discuss: Hacker News
✅Format Validation
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·23h·
Discuss: Hacker News, r/programming
🔌Interface Evolution
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·8h·
Discuss: Substack
🔩Systems Programming
Parlant - Renovation AI Open-Source framework
dev.to·1h·
Discuss: DEV
✨Effect Handlers
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·22h
🔄Reproducible Builds
A Defect Classification Framework for AI-Based Software Systems (AI-ODC)
arxiv.org·5h
👁️System Observability
Winetricks/winetricks
github.com·8h
🔄Sync Engine
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·19h·
Discuss: Hacker News
🌳Archive Merkle Trees
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·5h
🎯Performance Proofs