💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

A Sampling of Cookbooks and Recipes: Arroz con Camarones
blogs.loc.gov·14h
⭐Awesome lists
Young Ramanujan Challenged Mathematicians. No One Solved It
mindyourdecisions.com·4d
📐Interval Arithmetic
Blender Foundation announces new board and executive director
blender.org·1d·
Discuss: Hacker News
🔓Open Source Software
Rendezvous Hashing Explained (2020)
randorithms.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🌐Distributed Hash
Keeping Things Expressive When DataFrames Are Involved
simplethread.com·6d·
Discuss: Hacker News
🧮Algebraic Datatypes
We gave our AI assistant access to our React Components and MCP Server
tambo.co·3d·
Discuss: Hacker News
🌐WASI
Global warming amplifies wildfire health burden and reshapes inequality
nature.com·12h
🧊Arctic Storage
This subreddit is being overrun with posts about moving from windows. The mods should consider a megathread or weekly post to consolidate this content.
reddit.com·14h·
Discuss: r/linux
🔌Operating system internals
Meet the microbes: What a warming wetland reveals about Earth's carbon future
phys.org·10h
🧊Arctic Storage
Building a Harry Potter Quiz in Python
dev.to·3d·
Discuss: DEV
👑Isabelle
Financial markets may be more prone to sharp swings than traditional theory suggests
phys.org·10h
📈Time Series
Hive Mind: How Sensor Fusion and AI Can Save the Bees by Arvind Sundararajan
dev.to·18h·
Discuss: DEV
🌸Bloom Variants
Creativity Benchmark: A benchmark for marketing creativity for LLM models
arxiv.org·4d
🧠Intelligence Compression
The Hierarchical Morphotope Classification: A Theory-Driven Framework for Large-Scale Analysis of Built Form
arxiv.org·4d
🏺Computational Archaeology
Deceptive Risk Minimization: Out-of-Distribution Generalization by Deceiving Distribution Shift Detectors
arxiv.org·3d
🔍Vector Forensics
FEDEXCHANGE: Bridging the Domain Gap in Federated Object Detection for Free
arxiv.org·3d
🌀Riemannian Computing
AesBiasBench: Evaluating Bias and Alignment in Multimodal Language Models for Personalized Image Aesthetic Assessment
arxiv.org·3d
🏛Digital humanities
PersonaX: Multimodal Datasets with LLM-Inferred Behavior Traits
arxiv.org·3d
📊Learned Metrics
Standards in the Preparation of Biomedical Research Metadata: A Bridge2AI Perspective
arxiv.org·4d
📇Dublin Core
The Future of Back-End Development in the Age of AI
dev.to·2d·
Discuss: DEV
🔐Capability Systems