💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

The Vibe Coding Gambit
polyfloyd.net·2d
🔄Language Evolution
I Need a Job as a Software Developer, anyone help me pls
future.forem.com·23h·
Discuss: DEV
🌀Brotli Dictionary
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·4d·
Discuss: Hacker News
✨Effect Handlers
Development Priorities for 2025/26
redox-os.org·2d·
Discuss: Lobsters, Hacker News
🌊Streaming Systems
UTF-8 is a Brilliant Design
iamvishnu.com·2d·
Discuss: Lobsters, Hacker News
🔤Character Encoding
Maintaining Arch Linux AUR Packages: Updating python-simple-term-menu to the Latest Release
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Vibecoding is scarily powerful: minutes to get C and Python recursive pdf-to-txt
news.ycombinator.com·3d·
Discuss: Hacker News
📄PDF Internals
Building APM32 Projects with CMake
hackster.io·3d
🏭Compiler Backends
Using JavaScript in Debusine without depending on JavaScript (by Enrico Zini)
freexian.com·2d
🌐WASI
Best on-prem authoritative DNS server for Kubernetes + external-dns?
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
Kubernetes v1.34: Use An Init Container To Define App Environment Variables
kubernetes.io·3d
📦Container Security
A College Student Accidentally Broke the Laws of Thermodynamics
popularmechanics.com·2d
⚛️Information Physics
🛡️ Understanding Prompt Injection Attacks in LLMs — with Real Scenarios and Code Examples
dev.to·4d·
Discuss: DEV
🛡️WASM Security
NutriLens AI: Personalized Nutrition Analyzer Using Gemini's Multimodal Magic 🍎✨
dev.to·13h·
Discuss: DEV
🎛️Feed Filtering
Data Literacy: Empowering Employees with Essential Data Skills for the Modern Workplace
hackernoon.com·2d
🛡Cybersecurity
Unlock Restaurant Efficiency: How Voice AI Reveals Hidden Team Coordination
dev.to·9h·
Discuss: DEV
🎙️Whisper
Unlocking Restaurant Efficiency: How AI Voice Agents are Revolutionizing Operations
dev.to·3h·
Discuss: DEV
🤖AI Curation
Designing user interfaces with bots not buttons
interconnected.org·2d·
Discuss: Hacker News
🖥️Terminal Renaissance
MenuMaster: Your Menu Anxiety Solution
dev.to·21h·
Discuss: DEV
🧮Algorithmic Cooking
SFD-Mamba2Net: Strcture-Guided Frequency-Enhanced Dual-Stream Mamba2 Network for Coronary Artery Segmentation
arxiv.org·2d
🌀Riemannian Computing