💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

W3C Digital Credentials API publication: the next step to privacy-preserving identities on the web
w3.org·7h
🌐Web Standards
iOS Activation Flaw Enables Pre-User Device Compromise and Identity Exposure (iOS 18.5)
seclists.org·7h
🔒Secure Boot
IMG.LY x AI
img.ly·1d
🌀Brotli Internals
Epsio – streaming transformations made easy
epsio.io·27m·
Discuss: Hacker News
🔄Sync Engine
Flux.1 Kontext Free Online: AI-Powered Image Editing
iflux.ai·1d·
Discuss: Hacker News
🗜️LZW Variants
Show HN: Leveraging Google ADK for Cyber Threat Intelligence
manta.black·2d·
Discuss: Hacker News
📥Feed Aggregation
The cost of ownership of a 1000 applications
frederickvanbrabant.com·1d·
Discuss: Hacker News, r/programming
📏Code Metrics
Ultra: Universal Grammar as a Universal Parser
frontiersin.org·2d·
Discuss: Hacker News
🔗Monadic Parsing
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
meroxa.com·5d·
Discuss: Hacker News, r/golang
💧Liquidhaskell
Beyond the "Wow": Using Generative AI for Increasing Generative Sense-Making
link.springer.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Correlated Mutations for Integer Programming
arxiv.org·9h
🌸Bloom Variants
VMware Fundamentals: Photon Packer Templates
dev.to·2d·
Discuss: DEV
🔐HSM Integration
An open-source, multi-tenant backend engine in Go. Would you use this?
reddit.com·2d·
Discuss: r/golang
🏠Homelab Orchestration
🧠 Solving LeetCode Until I Become Top 1% — Day `34`
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Heartbeat of Modern Web Real Time Patterns User Design（1751179314270300）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Big Data Fundamentals: hadoop example
dev.to·1d·
Discuss: DEV
🗄️Database Sharding
A Multi-Agent Probabilistic Inference Framework Inspired by Kairanban-Style CoT System with IdoBata Conversation for Debiasing
arxiv.org·1d
🧠Intelligence Compression
Masked Autoencoders that Feel the Heart: Unveiling Simplicity Bias for ECG Analyses
arxiv.org·9h
🧠Machine Learning
Lightning the Night with Generative Artificial Intelligence
arxiv.org·9h
🖼️JPEG XL
Linux from the developer's perspective. Part 1 - C language introduction
dev.to·2d·
Discuss: DEV
🔩Systems Programming