💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Airbus, Leonardo and Thales reported moving towards European space firm
phys.org·1h
📡Feed Archaeology
Bookmarklet: Load All GitHub Comments (take 2)
meyerweb.com·21h
🌳Incremental Parsing
Find Good Problems
dontbreakprod.com·2d·
Discuss: Hacker News
🔩Systems Programming
Omarchy on CachyOS
github.com·5h·
Discuss: Hacker News
🛡️CLI Security
Harnessing AI for Proactive Cloud Security: How Automation Detects Threats Before They Happen
dev.to·13h·
Discuss: DEV
🏠Homelab Security
Contradictions
arxiv.org·5d
🔲Proof Irrelevance
SQLStorm & CogniSQL: An AI-Augmented SQL Dataset(202508)
dev.to·6d·
Discuss: DEV
⛏️SQL Archaeology
Getting started with Python Django
dev.to·1h·
Discuss: DEV
👑Isabelle
Notes from PyData Berlin 2025
dev.to·5d·
Discuss: DEV
🌀Brotli Internals
Building AI-Powered Revenue Management Systems with KaibanJS: A Developer's Guide
dev.to·3d·
Discuss: DEV
🎛️Feed Filtering
Rewriting Val Town's editor
blog.val.town·6d·
Discuss: Hacker News, Hacker News
🎯Gradual Typing
Trusting builds with Bazel remote execution
blogsystem5.substack.com·2d·
Discuss: Substack
🛡️WebAssembly Security
Bio-Regional Specificity: Adaptive Microbial Consortium Engineering for Waste Stream Valorization
dev.to·2d·
Discuss: DEV
☕Precision Brewing
Mitigating Spurious Correlations Between Question and Answer via Chain-of-Thought Correctness Perception Distillation
arxiv.org·6d
💻Local LLMs
Cryopreserved Cellular Metabolism Prediction via Multi-Scale Stochastic Modeling
dev.to·3d·
Discuss: DEV
🌡️Preservation Thermodynamics
Automated Predictive Biomarker Discovery via Multi-Modal Integration and HyperScore Validation
dev.to·2d·
Discuss: DEV
🧠Machine Learning
LangChain for EDA: Build a CSV Sanity-Check Agent in Python
towardsdatascience.com·5d
⚡Proof Automation
An Explainable Deep Neural Network with Frequency-Aware Channel and Spatial Refinement for Flood Prediction in Sustainable Cities
arxiv.org·4d
📊Learned Metrics
Aligning LLMs for the Classroom with Knowledge-Based Retrieval -- A Comparative RAG Study
arxiv.org·5d
🔍Information Retrieval
Smarter AI: Learning by Analogy, Not by Rote
dev.to·1d·
Discuss: DEV
🤖AI Curation