💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Standards for Age Verification
avpassociation.com·1d·
Discuss: Hacker News
📋Format Specification
Which OAuth Flow Should You Use?
nimblesa.com·1d·
Discuss: Hacker News
🔐Capability Security
React Data List: Building Virtualized UIs Declaratively
attio.com·7h·
Discuss: Hacker News
🧩WASM Components
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·2d·
Discuss: Hacker News
🕹️Retro Gaming
Why feature selection methods rarely agree (I tested five side by side)
aayushig950.substack.com·1d·
Discuss: Substack
🧠Machine Learning
Package Managers are Evil
gingerbill.org·3d·
Discuss: Lobsters, Hacker News, r/programming
📦Package Managers
Eat Your Vegetables Before AI Dessert
writings.alethia.news·2d·
Discuss: Hacker News
⚙️Proof Engineering
The most interesting documents we've had to process as an OCR company
trycardinal.medium.com·19h·
Discuss: Hacker News
📄Document Digitization
The Great PNG Deception: When Your "Transparent" Image Has Trust Issues 🎭
dev.to·4h·
Discuss: DEV
📸PNG Optimization
Cognition: The Devin is in the Details
swyx.io·3d·
Discuss: Hacker News, Hacker News
📏Code Metrics
Trying to figure out the best data pool design
reddit.com·7h·
Discuss: r/homelab
💾ZFS
GitHub Coding Agent the Magical Autonomous AI: The Prequel
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Agent Diary: Sep 11, 2025 - The Great Test Cleanup: When Deleting 1,712 Lines Feels Like Victory
dev.to·17h·
Discuss: DEV
🐛Fuzzing
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·3d
🔲Cellular Automata
Evaluating the Efficiency of Latent Spaces via the Coupling-Matrix
arxiv.org·2d
🧠Machine Learning
Quectel KCMCA6S industrial wM-bus modules target smart metering
cnx-software.com·19h
🦾ARM Cortex-M
Point Linguist Model: Segment Any Object via Bridged Large 3D-Language Model
arxiv.org·1d
🌀Hyperbolic Geometry
Forest fire detection system
hackster.io·1d
⚙️DIY Electronics
Flox, the Nix Foundation, and NVIDIA Partner for CUDA
flox.dev·1d·
Discuss: Lobsters, Hacker News
❄️Nix Flakes
Breaking Changes: Why Your API Monitoring is Failing You (And How We Fixed It)
dev.to·4d·
Discuss: DEV
👁️Observatory Systems