💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Rukmini Iyer’s quick and easy recipe for courgette linguine with trout, lemon and dill | Quick and easy
theguardian.com·4h
🧮Algorithmic Cooking
Fashion tips for writing math.
mathwithbaddrawings.com·5h
🔬Lean
Week 26, 2025
brajeshwar.com·2d
🎬WebCodecs API
Just speak the truth
drewdevault.com·16h
🐧FOSS
“Printegrated Circuits” Bring the Smarts to 3D Printing
spectrum.ieee.org·1d·
Discuss: Hacker News
🔧Cassette Engineering
Terence Tao: Hardest Problems in Mathematics, Physics and the Future of AI
lexfridman.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Blazing matrix products
panadestein.github.io·3d·
Discuss: Lobsters, Hacker News
⚡SIMD Optimization
m1k1o/neko
github.com·15h
📦MKV Containers
MongoDB Is Great for Analytics; Until It's Not (2023)
seattledataguy.substack.com·22h·
Discuss: Substack
🌊Stream Processing
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·5d·
Discuss: Substack
🦀Rust Macros
Most ints are not floats
johndcook.com·3d·
Discuss: Hacker News
📐Interval Arithmetic
imgui-go v5
reddit.com·1d·
Discuss: r/golang
📺Terminal UI
HarmonyOS NEXT + AI Q&A 06: What is the Relationship Between the Cangjie Toolchain and DevEco Studio Cangjie Plugin?
dev.to·14h·
Discuss: DEV
🔓Open Source Software
Exploring the Structure of AI-Induced Language Change in Scientific English
arxiv.org·12h
🔤Morphological Analysis
Critical Security Importance Digital Age Web Techniques（1751144495194400）
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Real Time Game Server Architecture Design Low Latency High Concurrency Technical Implementation（1751201311772400）
dev.to·1d·
Discuss: DEV
🦀Embedded Rust
a loop is all you need: building conversation ai agents
dev.to·23h·
Discuss: DEV
🔲Cellular Automata
Building A Wallet System - Part 1: Authentication with Apollo Server
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
API Versioning Strategies That Actually Work in Production
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Dehazing Light Microscopy Images with Guided Conditional Flow Matching: finding a sweet spot between fidelity and realism
arxiv.org·12h
🖼️JPEG XL