💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Viewing infrared imagery for any place on Earth
openstreetmap.org·10h·
Discuss: Hacker News
📸PNG Optimization
Mullvad Hides WireGuard in QUIC to Bypass Censorship
reclaimthenet.org·6h·
Discuss: Hacker News
🌐DNS over QUIC
Ashen-wow, pure Vanilla World of Warcraft server
ashen-wow.space·1d·
Discuss: Hacker News
🏺ZIP Archaeology
Observe live SQL queries in Go with DTrace
gaultier.github.io·5d·
Discuss: Hacker News, r/golang
🧩SQLite Extensions
Interactive LLM Chat
bkdev.xyz·3d·
Discuss: Hacker News
🎙️Whisper
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·4d·
Discuss: Lobsters, Hacker News
🎯Arithmetic Coding Theory
Data destruction done wrong could cost your company millions
theregister.com·2d·
Discuss: Hacker News, Hacker News
🛡️Preservation Proofs
Japan to subsidize undersea cable vessels over 'very serious' national security concerns — will front up to half the cost for $300 million vessels bought by NEC
tomshardware.com·4h
🇳🇱Dutch Computing
PixelKit Library: Build Your Own Interactive LED Console!
hackster.io·3d
⚡Homebrew CPUs
IQLT: Ex-U.S. ETF With A Focus On Quality And Financials
seekingalpha.com·22h
🔍BitFunnel
Undecidability of Tiling with a Tromino
arxiv.org·6d
🎯Performance Proofs
SQL Database Concepts:
dev.to·1d·
Discuss: DEV
💾Database Formats
Schedule topology-aware workloads using Amazon SageMaker HyperPod task governance
aws.amazon.com·1d
🏠Homelab Orchestration
Dynamic Chromatin Landscape Mapping via Poly-Dimensional Enzyme Interaction Networks
dev.to·1d·
Discuss: DEV
🧬Copy Number Variants
How to Analyze and Optimize Your LLMs in 3 Steps
towardsdatascience.com·5d
🔗Constraint Handling
EdgeBERT: I Built My Own Neural Network Inference Engine in Rust
dev.to·4d·
Discuss: DEV
🌀Brotli Internals
I Won a DEV Challenge, Then Built an App to Flex About It Properly 💪
dev.to·1d·
Discuss: DEV
🧬Bitstream Evolution
Plenary: gRPC: New Features and the Road Ahead - Richard Belleville, gRPC Maintainer
youtube.com·3d
⚡gRPC
Agnico Eagle Mines Limited (AEM) Presents at Mining Forum Americas 2025 Transcript
seekingalpha.com·2h
🖥️Modern Terminals
DIY MCP Servers vs Verified Solutions: The Trade-offs Nobody's Talking About 🎭
dev.to·5d·
Discuss: DEV
🤝Distributed Consensus