💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

The Infrastructure Physics Problem Behind AI’s Data Center Crisis
telecomramblings.com·3d
🌊Stream Processing
Making Discogs Data 13% Smaller with Parquet
harmonique.one·2d·
Discuss: Hacker News
🔒Homomorphic Compression
Learning web development: Frontend frameworks
2ality.com·6d
🔗Concatenative Programming
Using AI to Augment, Not Automate Your Writing
blog.apiad.net·3d·
Discuss: Hacker News
⚡Proof Automation
This is a Supermicro NVIDIA Grace Superchip Storage Server
servethehome.com·1d
🖥️Modern Terminals
A Creature of the Sea Found the Secret to Immortality—and Humans Might Know How to Steal It
popularmechanics.com·1d
🔲Cellular Automata
Zaku: Fast, open-source API client with fangs
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
Incidents Often Come in Pairs
dev.to·5d·
Discuss: DEV
🦀Rust Macros
Companies are laying off senior devs and replacing them with AI and its breaking everything
reddit.com·1d·
Discuss: r/artificial
🔓Hacking
Unlocking Scientific Breakthroughs: The Rise of the Autonomous Research Agent
dev.to·5h·
Discuss: DEV
🧭Content Discovery
Most Rust GUI frameworks suck
reddit.com·4d·
Discuss: r/rust
🦀Rust Macros
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·6d
🧮SMT Solvers
Compositional Generalization via Dynamically Weighted Knowledge Graph Integration
dev.to·2d·
Discuss: DEV
🕸️Graph Embeddings
Built-in Runtime Security for Containers
blog.qualys.com·6d
📦Container Security
AI Autopilot for GPU Kernels: Turbocharging Performance with Multi-Agent Systems by Arvind Sundararajan
dev.to·4d·
Discuss: DEV
🖥️Terminal Renaissance
Unlock Privacy-First AI: Securely Unleash LLMs on Your Customer Data
dev.to·1d·
Discuss: DEV
💻Local LLMs
Why Test Data Is the Hidden Factor Slowing Down Your CI/CD Pipeline
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Using old parts to make a homelab/server, ideas & thoughts needed!
reddit.com·16h·
Discuss: r/homelab
🏠Homelab Archaeology
How the Web Talks to Django: A Beginner-Friendly Guide
dev.to·1d·
Discuss: DEV
🌐Web Standards
Automated Multi-Objective Optimization of Covalent Inhibitor Libraries via Hyperdimensional Vector Analysis
dev.to·2d·
Discuss: DEV
🔍Vector Forensics