💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Fraga: Elevator Pitch
irreal.org·9h
🐚Bash Monads
Log Detective: GSoC 2025 (part 2)
danigm.net·1d
🔓Open Source Software
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·2d
🦀Embedded Rust
Amazon S3 Vectors Or PostgreSQL- Is This The End Of Specialized Vector Stores?
i-programmer.info·7h·
Discuss: Hacker News
🗂️Vector Databases
Nvidia publishes details of the powerful GB10 combination processor
heise.de·5h
🖥️Modern Terminals
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·5d
🧬Functional Programming
The Rise of Computer Use and Agentic Coworkers
a16z.com·1h·
Discuss: Hacker News
🤖AI Curation
Harnessing Receptor Kinase Dynamics for Predictive Self-Incompatibility Allele Pairing
dev.to·14h·
Discuss: DEV
💎Information Crystallography
Tutorial: Dynamic Class Discovery and Loading in Python
dev.to·15h·
Discuss: DEV
🎯Gradual Typing
Generative Interfaces for Language Models
arxiv.org·1d
⚙️Parser Generators
Study Buddy: AI-Powered Student Success Assistant
dev.to·9h·
Discuss: DEV
🌀Brotli Internals
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·2d·
Discuss: Substack
🔩Systems Programming
Automated Mineralogical Pattern Recognition via Hyperdimensional Feature Space Mapping and Bayesian Optimization
dev.to·58m·
Discuss: DEV
🏺Computational Archaeology
Upgrading Magic's SQLite VSS Extension
dev.to·1d·
Discuss: DEV
💾SQLite
Stop Being a Replaceable Printer
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·2d
🔧Hardware Verification
Show HN: Hielo – a fast, lightweight tool for managing Apache Iceberg tables
github.com·1d·
Discuss: Hacker News
💿ZFS Archaeology
Nvidia’s nvl72 is insane but who can actually use it?
dev.to·15h·
Discuss: DEV
🖥️Terminal Renaissance
Your First AI Agent: A Clear, Practical Path
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Anyone worked on upgrading multiple Go services?
reddit.com·1d·
Discuss: r/golang
🔌Interface Evolution