💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

That external validity question: How to think of a 3-year UBI study?
statmodeling.stat.columbia.edu·1d
🔲Cellular Automata
WASM GIF
igorbedesqui.com·18h·
Discuss: Hacker News
🔗Concatenative Programming
Stay vs. Live: How Verb Choice Reveals Cultural Maps of Rootedness
zakelfassi.com·16h·
Discuss: Hacker News
📼Tape Linguistics
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·4d·
Discuss: r/compsci, r/programming
🌸Bloom Filters
The Weekly Win
yusufaytas.com·4h·
Discuss: Hacker News
🔗Data Provenance
Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation
science.slashdot.org·5d
📐Proof Assistants
Nvidia Rubin CPX: New AI inference accelerator set to launch by late 2026
heise.de·3d
🖥️Terminal Renaissance
The exceptionalism of software is unwarranted
overbring.com·4d·
Discuss: Hacker News
📏Code Metrics
Khasibert: A Region-First Language Model for Khasi NLP
dev.to·1d·
Discuss: DEV
🎙️Whisper
Is the "overly helpful and overconfident idiot" aspect of existing LLMs inherent to the tech or a design/training choice?
reddit.com·4d·
Discuss: r/artificial
💻Local LLMs
📰StackNews Digest
dev.to·5d·
Discuss: DEV
🖥️Modern Terminals
Unlock Nanoscale Secrets: Deep Equilibrium Force Fields Accelerate Simulations
dev.to·2d·
Discuss: DEV
🕸️Tensor Networks
Data-Efficient Fine-Tuning of Vision-Language Models for Diagnosis of Alzheimer's Disease
arxiv.org·3d
🤖Advanced OCR
Greptile vs Panto AI: Which AI Code Review Tool Delivers More in 2025?
dev.to·2d·
Discuss: DEV
📏Code Metrics
Accelerating Reinforcement Learning Algorithms Convergence using Pre-trained Large Language Models as Tutors With Advice Reusing
arxiv.org·2d
💻Local LLMs
GhostChat v2.0 – Local-first AI chat with IndexedDB persistence and offline
github.com·1d·
Discuss: Hacker News
🔄Sync Engine
🚀 Getting Started with Python: A Beginner’s Guide
dev.to·12h·
Discuss: DEV
λLambda Formalization
AI Agents vs. Agentic AI: A Kubernetes Developer’s Guide
thenewstack.io·3d
⚙️TLA+
Quantization Explained: A Concise Guide for LLMs
dev.to·3d·
Discuss: DEV
📊Quantization
Predictive Maintenance Optimization via Hybrid Bayesian Network & Deep Reinforcement Learning in Yokogawa Centum CS
dev.to·2d·
Discuss: DEV
🌊Stream Processing