💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Three Steps Forward
shirtpocket.com·2d
🔌Interface Evolution
Advancing Information Management in the Energy Sector: Insights from the ISG Roundtable
info.aiim.org·1d
🌊Streaming Databases
Renesas RL78/L23 16-bit MCU features segment LCD interface, SMS for low-power HMI systems
cnx-software.com·1d
🔌Microcontrollers
The Power of and
lucasbarbosa.net·16h·
Discuss: Hacker News
🔲Cellular Automata
A new experimental Go API for JSON
go.dev·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🔧Binary Parsers
Matrix is email wearing a hoodie
gist.github.com·20h·
Discuss: Hacker News
🕵️Vector Smuggling
NPM debug and chalk packages compromised
aikido.dev·4d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🏺ZIP Archaeology
Caution, customers: pitfalls of fiber optic connections
heise.de·8h
🌊Stream Ciphers
Humans as Bottleneck
shubhamg.bearblog.dev·2d·
Discuss: Hacker News
🧠Intelligence Compression
Sanitize Your AI-Generated Content: A Free Invisible Character Remover
dev.to·1d·
Discuss: DEV
🔤Character Encoding
Hyperbolic Large Language Models
arxiv.org·3d
🌀Hyperbolic Geometry
COMPACT: Common-token Optimized Model Pruning Across Channels and Tokens
arxiv.org·3d
💻Local LLMs
The Ultimate Developer's Guide to AI Tools in 2025: 247+ Curated Tools That Actually Matter
dev.to·1d·
Discuss: DEV
🔄Language Evolution
CLAPS: A CLIP-Unified Auto-Prompt Segmentation for Multi-Modal Retinal Imaging
arxiv.org·1d
🤖Advanced OCR
[Project] Otters 🦦 - A minimal vector search library with powerful metadata filtering
reddit.com·3d·
Discuss: r/MachineLearning
🦀Rust Macros
Beyond Code: How to Use AI to Modernize Software Architecture
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
Unleashing AI Speed: Decoupling Perception for Blazing-Fast Robots by Arvind Sundararajan
dev.to·13h·
Discuss: DEV
🔲Cellular Automata
Quantitative Digital PCR Analysis of Mycoplasma Contamination via AI-Driven Spectral Deconvolution
dev.to·1d·
Discuss: DEV
📄Document Digitization
Best Secret Scanning Tools for 2025: What Every Developer Needs to Know
dev.to·11h·
Discuss: DEV
🔐Archive Cryptanalysis
Autonomous Condition Monitoring and Predictive Maintenance for FPSO Hull Integrity via Deep Sensor Fusion
dev.to·2d·
Discuss: DEV
🌊Stream Processing