💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Forensic Technology Day 2025
blog.passware.com·1d
🔍NTLM Forensics
Joy & Curiosity #54
registerspill.thorstenball.com·4d
⚙️Proof Engineering
Here are the new features in macOS Tahoe 26
ghacks.net·11h
🍎Apple Archive
Show HN: Tutrilo – lightweight training management for small providers
tutrilo.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Quantum canvases: a "painted debate" on free will
nirvanicai.substack.com·1d·
Discuss: Substack
⏰Time Crystals
Cooler Master launches new Hyper 212 with "3D heatpipe" technology
techspot.com·1d
🖥️Modern Terminals
PCBs the Prehistoric Way
hackaday.com·11h
⚙️DIY Electronics
Microchip LAN969x SoC Going Upstream In Linux 6.18
phoronix.com·17h
🧲RISC-V Preservation
We’re investing in connectivity, products and skills for Africa’s AI future
blog.google·23h
🌍Cultural Computing
Beginner guide for Apache Kafka
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Google now lets you share your custom Gemini AI assistants known as Gems
techcrunch.com·9h
🔄Sync Engine
Benicia residents told to conserve water after line is damaged
mercurynews.com·23h
💻Local first
3 ways ChatGPT can help keep your house clean and organized - but you'll still need to do the dirty work
techradar.com·13h
🏠Home Automation
Earth's inner core: Nobody knows exactly what it's made of, but now we've started to uncover the truth
phys.org·1d
🌡️Preservation Physics
Replit infuriating customers with surprise cost overruns - What happens when AI becomes essential and unaffordable?
theregister.com·13h
🌀Brotli Internals
Hybrid Fuzzy Logic Adaptive Control for Robotic Swarm Navigation in Uncertain Terrain
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
Adaptive Edge-Native Accelerated Packet Inspection via Reinforcement Learning
dev.to·3d·
Discuss: DEV
🎯Threat Hunting
Tech Stack Choices for Scalable Centralized Crypto Exchange Development?
dev.to·2d·
Discuss: DEV
🤝Distributed Consensus
RECAP: Transparent Inference-Time Emotion Alignment for Medical Dialogue Systems
arxiv.org·2d
🎙️Whisper
Day 2:Variables in Python
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages