💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Text fragment linking
leancrew.com·1d
📰RSS Reading Practices
Thinking About Simplification
kevquirk.com·2d
🎯Gradual Typing
Truth, Humility and Human & AI Incentives
zappable.com·1d
🔲Proof Irrelevance
Around one-third of AI search tool answers make unsupported claims
newscientist.com·10h
🤖AI Curation
The “Most Hated” CSS Feature: cos() and sin()
css-tricks.com·1d·
Discuss: Hacker News
🖋Typography
Console: AI Platform for IT
console.com·8h·
Discuss: Hacker News
🖥️Modern Terminals
Status of wrapt (September 2025)
grahamdumpleton.me·5d
🦀Rust Macros
Show HN: Freak.nvim, an nvim config for control freaks
codeberg.org·3d·
Discuss: Hacker News
🪟Awesome windows command-line
North Korean hackers generate fake South Korean military ID using ChatGPT
techradar.com·8h
🛡Cybersecurity
Automated Sensory Attenuation Protocol Optimization via Dynamic Network Pruning
dev.to·4h·
Discuss: DEV
📊Learned Metrics
Segment Anything for Cell Tracking
arxiv.org·1d
🌀Riemannian Computing
How Professional ICO Development Services Accelerate Token Launch Success
dev.to·1d·
Discuss: DEV
🔗Data Provenance
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·5d·
Discuss: Hacker News
🌊Stream Processing
Raw Sound as Building Blocks: Next-Gen AI Speech Creation
dev.to·22h·
Discuss: DEV
🎙️Whisper
watchOS 26: The MacStories Review
macstories.net·7h
🖥️Vintage Macintosh
Equinix, Inc. (EQIX) Presents at Global Communications Infrastructure Conference Transcript
seekingalpha.com·3h
📋PREMIS Events
Mutual Information Tracks Policy Coherence in Reinforcement Learning
arxiv.org·1d
📈Entropy Estimation
Integrate AI in 2 lines of code with Heylock
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
Automated Artifact Mitigation in High-Resolution ECG via Adaptive Spectral Filtering and Deep Learning
dev.to·4d·
Discuss: DEV
🌊Digital Signal Processing
Multi-pathology Chest X-ray Classification with Rejection Mechanisms
arxiv.org·1d
🧠Machine Learning