💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Walking the line between broad scope and lack of legal certainty (T 2387/22)
ipkitten.blogspot.com·3d·
Discuss: ipkitten.blogspot.com
🔲Proof Irrelevance
META Found Guilty of Mishandling Women’s Health Information
puri.sm·1d
🔗Data Provenance
Migrating from docker to podman
codito.in·2d
📦Container Security
Securing AI Workloads in Kubernetes: Why Traditional Network Security Isn’t Enough
tigera.io·4d
👁️Observatory Systems
When Should You Upgrade to Apple’s OS 26 Releases?
tidbits.com·14h
🖥️Vintage Macintosh
15th September – Threat Intelligence Report
research.checkpoint.com·20h
🎫Kerberos Exploitation
How This Israeli Hacker Bootstrapped Her AI Cyber Company To Profitability
forbes.com·20h·
Discuss: Hacker News
🚀Indie Hacking
Installing NetWare NFS Gateway 1.2 on NetWare 3.12
zx.net.nz·8h·
Discuss: Hacker News
🛠System administration
Show HN: TurboStitchGif new version 1.1 (alternative to giflib)
news.ycombinator.com·3d·
Discuss: Hacker News
🗜️LZW Variants
original ↗
raymondcamden.com·4d·
Discuss: Hacker News
📄PostScript
NVIDIA Jetson Thor: a new Blackwell-powered module for AI robots
madcornishprojectionist.co.uk·22h
🖥️Terminal Renaissance
Quoting Poul-Henning Kamp
simonwillison.net·12h
🐧FOSS
Be An Agnostic Programmer
theaxolot.wordpress.com·4d·
Discuss: r/SoftwareEngineering, r/programming
📏Code Metrics
The Hotel Chocolat velvetiser gets a major switch up – here’s my honest review
the-independent.com·1d
☕Coffee
Hackaday Links: September 14, 2025
hackaday.com·1d
🏠Homelab Archaeology
Pocket-Sized Precision: AI-Powered Soil Insights with Your Smartphone
dev.to·8h·
Discuss: DEV
📱QR Archaeology
Meet Embedible: AI-Powered Hardware Prototyping in Seconds
vibe.forem.com·4d·
Discuss: DEV
⚡Homebrew CPUs
The Coming Cambrian Explosion of Agent-Powered Businesses
dev.to·10h·
Discuss: DEV
🔲Cellular Automata
Build Apps with Google AI Studio: AI-Powered Ingredient Analysis for Smarter Shopping
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
🌟 Story Weaver: An AI-Powered Multimodal App for Crafting and Experiencing Stories
dev.to·2d·
Discuss: DEV
🎙️Whisper