💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Coffee Break: Competence, Corruption and Control Limit Administrative Ambition
nakedcapitalism.com·3h
🎫Kerberos Attacks
New release!
pdp2011.sytse.net·4d
🕸️WASM Archives
How to Clean a Paint Sprayer: An Expert's Step-By-Step Guide
popularmechanics.com·1d
⚙️Cassette Mechanics
Show HN: Instorier – story-first website builder. No-code, AI-optional
instorier.com·9h·
Discuss: Hacker News
🔗Hypermedia APIs
OPNsense® 25.7 Released
deciso.com·4d·
Discuss: Hacker News
🔌Interface Evolution
Google Researchers Warn of Looming AI-Run Economies
decrypt.co·1h·
Discuss: Hacker News
🔲Cellular Automata
Semlib: LLM-powered Data Processing
anishathalye.com·6d·
Discuss: Lobsters
🔗Constraint Handling
Threat of Bay Area dry lightning lessens as hot spell begins to fade
mercurynews.com·5h
📡Feed Security
The Elements of Programming Style
en.wikipedia.org·5d·
Discuss: Hacker News
🔩Systems Programming
The 12-Month Bug: Why Your Side Project Is Still Just an Idea
zakelfassi.com·2d·
Discuss: Hacker News
🛡️Error Boundaries
PsiQuantum plans to build world’s first large scale fault tolerant million qubit quantum computers for solving some of the world’s most complex scientific probl...
techradar.com·1d
🔐Quantum Security
#4 From CNN Training to EfficientNet, Let’s Talk About OpenCV
dev.to·7h·
Discuss: DEV
🧠Learned Compression
Scaling Arabic Medical Chatbots Using Synthetic Data: Enhancing Generative AI with Synthetic Patient Records
arxiv.org·2d
🎙️Whisper
"I thought it was my mistake, but it's really the design'': A Critical Examination of the Accessibility of User-Enacted Moderation Tools on Facebook and X
arxiv.org·1d
✋Tactile Computing
Test-Time Compute: The Hidden Revolution Powering Next-Generation AI Reasoning
dev.to·5d·
Discuss: DEV
🧮Compute Optimization
Swarm Symphony: AI Music Composition Takes Flight
dev.to·1d·
Discuss: DEV
🎼Computational Musicology
Chinese giant Tencent announces domestic AI chip push — says it has fully adapted infrastructure to support homegrown silicon in blow to Nvidia
tomshardware.com·1d·
Discuss: r/TechHardware
🖥️Terminal Renaissance
Primed Attention: Sharpening Transformers for Time Series Forecasting by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📈Time Series
Robust Fetal Pose Estimation across Gestational Ages via Cross-Population Augmentation
arxiv.org·1d
🌀Differential Geometry
Pragmatic Frames Evoked by Gestures: A FrameNet Brasil Approach to Multimodality in Turn Organization
arxiv.org·2d
📼Tape Linguistics