💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

What’s New in the Latest Trisul Release
trisul.org·15h
🌊Streaming Systems
OSTIF Community Spotlight 001.2025: Introduction, David Korczynski and Adam Korczynski
ostif.org·15h
🔓Open Source Software
Signed and Dangerous: BYOVD Attacks on Secure Boot
binarly.io·2d
🔒Secure Boot
A Tribute To Hoyle's Official Book Of Games
brainbaking.com·1d·
Discuss: Hacker News
📺Retrogaming
FFmpeg – The Ultimate Guide
img.ly·1d·
Discuss: Hacker News
🎞️FFmpeg Filters
Evaporating Water with Light
lll.scrybble.ink·1d·
Discuss: Hacker News
🌡️Preservation Thermodynamics
Stop writing CLI validation. Parse it right the first time
hackers.pub·6d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️CLI Security
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
clearwork.io·2d·
Discuss: DEV, Hacker News
🏠Homelab Automation
tinyproxy/tinyproxy
github.com·3h
❄️Nixpkgs
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·4d
🦋Format Metamorphosis
Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
arxiv.org·1d
💻Local LLMs
How London Stock Exchange Group is detecting market abuse with their AI-powered Surveillance Guide on Amazon Bedrock
aws.amazon.com·2d
📥Feed Aggregation
UOPSL: Unpaired OCT Predilection Sites Learning for Fundus Image Diagnosis Augmentation
arxiv.org·2d
🧠Machine Learning
Automated Classification of Tutors' Dialogue Acts Using Generative AI: A Case Study Using the CIMA Corpus
arxiv.org·1d
🎙️Whisper
The Future of Multi-VM Blockchain Innovation
dev.to·18h·
Discuss: DEV
🏠Homelab Orchestration
kioptrix level 1
infosecwriteups.com·23h
🔍eBPF
4-bit Single Board Computer Based on the Intel 4004 Microprocessor
hackaday.com·1d·
Discuss: Hacker News
🖥️Hardware Architecture
Code's Hidden Structure: How Graph AI is Revolutionizing Software Development by Arvind Sundararajan
dev.to·4d·
Discuss: DEV
🔗Topological Sorting
Bringing Trust and Governance to AI-Driven DevOps
devops.com·14h
🏠Homelab Orchestration
Depth-Bounded Epistemic Planning
arxiv.org·2d
📏Linear Logic