💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

One of Philosophy’s Most Influential Public Voices May Lose His Own
dailynous.com·1h
🏛️Philosophy
[FATAL] Ansible Release 12.0 Breaks netlab Jinja2 Templates
blog.ipspace.net·21h
🤖Network Automation
The Python Software Foundation with Deb Nicholson
opensourcesecurity.io·15h
🌐IPFS
Who buys an MP3 player in 2025? Why music streaming doesn’t always cut it
theguardian.com·1h
💿FLAC Archaeology
Show HN: Free Volume Shader BM – a browser-based GPU performance benchmark
volumeshaderbm.org·1d·
Discuss: Hacker News
🖥️Modern Terminals
Generating Website Banners Algorithmically
golfed.xyz·4d·
Discuss: Hacker News
📸PNG Optimization
The Day-Long, Repeating GRB 250702B: A Unique Extragalactic Transient
iopscience.iop.org·21h·
Discuss: Hacker News
🔬Optical Physics
Irrlicht Engine – a cross-platform realtime 3D engine
irrlicht.sourceforge.io·3d·
Discuss: Hacker News
📟Terminal Physics
Original Mac Limitations Can’t Stop You from Running AI Models
hackaday.com·7h
🖥️Vintage Macintosh
Automatic securing of code and packages with JFrog in GitHub Copilot
heise.de·4d
🔓Open Source Software
I review Bluetooth speakers for a living – these are the 4 models I’d recommend without question
techradar.com·5h
📡Bluetooth Archaeology
meow: Yet another modal editing on Emacs
github.com·2d·
Discuss: Lobsters, Hacker News
🐧FOSS
Ruby Argentina September Meetup
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
WhisTLE: Deeply Supervised, Text-Only Domain Adaptation for Pretrained Speech Recognition Transformers
arxiv.org·11h
🎙️Whisper
Klarna's CEO says he uses vibe coding tools to save his engineers and product managers time
businessinsider.com·9h
🇳🇴Norwegian Computing
Unlock AI Store Fortune: Top 5 Bonuses & Offers Revealed.
dev.to·5h·
Discuss: DEV
📊Feed Optimization
Beginner looking for advice on first home server/NAS build
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·6d
🌳Context free grammars
Cheater Genius in Action: Gamifying AI and Self-Awareness
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Building AI-Resistant Technical Debt
oreilly.com·5d
📏Code Metrics