💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

How I brew cafe-quality coffee anywhere, from campsite to carry-on
theguardian.com·1d
☕Coffee
No such thing as selective censorship resistance
doctorow.medium.com·1d
🧲Magnetic Philosophy
Comparison of Nord Meshnet, ZeroTier, and Tailscale
ebaleytherogue.wordpress.com·1d·
Discuss: r/homelab
🏠Homelab Federation
Performant Embedded Analytics at Scale
embeddable.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Early Bytes of Creativity – Forgotten Mainframe Games, Part I (2023)
zeitgame.net·4d·
Discuss: Lobsters
🕹️Retro Gaming
China-linked Mustang Panda deploys advanced SnakeDisk USB worm
securityaffairs.com·1d
💿WORM Storage
Don't vibe code (any of) your config
augmentedswe.com·4d·
Discuss: Hacker News
🔓Hacking
Show HN: From Chatbots to AI Agents: The Quiet Revolution
tolearn.blog·1d·
Discuss: Hacker News
🎙️Whisper
The scapegoats guide to organizational 'transformation'
softwaredoug.com·21h·
Discuss: Hacker News
🌍Cultural Algorithms
Snowflake vs BigQuery vs Redshift: The Ultimate Cloud Data Warehouse Showdown
dev.to·1d·
Discuss: DEV
🗄️Database Sharding
Careless engineer stored recovery codes in plaintext, got whole org pwned
theregister.com·1d·
Discuss: Hacker News
🔍NTLM Forensics
Multi-Region keys: A new approach to key replication in AWS Payment Cryptography
aws.amazon.com·19h
🌳Archive Merkle Trees
Unveiling Hidden Structures: A New Algorithm for Cross-Graph Harmony by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🌈Spectral Methods
C3DE: Causal-Aware Collaborative Neural Controlled Differential Equation for Long-Term Urban Crowd Flow Prediction
arxiv.org·10h
📈Time Series
Real Estate Integrations: How They Drive Growth & ROI
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Orchestrate the Swarm: AI Music Composition Inspired by Nature
dev.to·1d·
Discuss: DEV
🎼Computational Musicology
Emerging Yurei Ransomware Claims First Victims
darkreading.com·1d
🎫Kerberos Attacks
Scientists reveal hidden dynamics of the cell's smallest structures
phys.org·19h
🕸️Algebraic Topology
Building Research Agents for Tech Insights
towardsdatascience.com·4d
📊Feed Optimization
Reflections from the Summa Equity Annual Investor Meeting at the Oslo Opera
raffy.ch·1h
🎨Nordic Design