💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Yurei & The Ghost of Open Source Ransomware
research.checkpoint.com·1d
🎫Kerberos Exploitation
Observable Notebooks Data Loaders
observablehq.com·3d·
Discuss: Hacker News
🌊Streaming Systems
Wine 10.15 Released With Initial NTSYNC Usage, Unicode 17.0 Support
phoronix.com·1d
🔓Open Source Software
Beyond the surface - Exploring attacker persistence strategies in Kubernetes
raesene.github.io·1d·
Discuss: Hacker News
📦Container Security
Ditch those words!
robinrendle.com·10h·
Discuss: Hacker News
🎨Swedish Design Philosophy
When is a climate model 'good enough?'
phys.org·3d
🧮Kolmogorov Bounds
My (speculative) master plan for immortality
maxwellnye.com·2d·
Discuss: Hacker News
🏠Homelab Archaeology
Best on-prem authoritative DNS server for Kubernetes + external-dns?
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
Personal AI Integrated with WhatsApp and Telegram
news.ycombinator.com·2d·
Discuss: Hacker News
🎛️Feed Filtering
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·4d·
Discuss: Hacker News
⚔️Lean Tactics
Future Trends in Advanced File Transfer 2030 & Beyond
dev.to·1d·
Discuss: DEV
🔐Archive Encryption
Kioptrix Level 2
infosecwriteups.com·18h
📟Terminal Forensics
UltrON: Ultrasound Occupancy Networks
arxiv.org·1d
🌀Hyperbolic Geometry
SFD-Mamba2Net: Strcture-Guided Frequency-Enhanced Dual-Stream Mamba2 Network for Coronary Artery Segmentation
arxiv.org·1d
🌀Riemannian Computing
Advanced Solid-State Electrolyte Interphase Engineering for Enhanced Aerospace Battery Performance
dev.to·2d·
Discuss: DEV
⚙️Tape Engineering
Unlock Restaurant Efficiency with AI Voice: The Pannalabs.ai Revolution
dev.to·2h·
Discuss: DEV
🎙️Whisper
Cytonic: Transforming Blockchain with Multi-VM Ecosystem
dev.to·1d·
Discuss: DEV
🤝Distributed Consensus
Vegi: Vegetables are not Aliens
dev.to·1d·
Discuss: DEV
🎮Gameboy Emulation
Beyond NIST: How NSF-Funded Research Shapes AI Persona, Memory, and Systems
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️Preservation Proofs
Data-Efficient Fine-Tuning of Vision-Language Models for Diagnosis of Alzheimer's Disease
arxiv.org·3d
🤖Advanced OCR