💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

CUPS 2.4.13
openprinting.github.io·2d
📄PDF Internals
OSTIF Community Spotlight 001.2025: Introduction, David Korczynski and Adam Korczynski
ostif.org·18h
🔓Open Source Software
Signed and Dangerous: BYOVD Attacks on Secure Boot
binarly.io·2d
🔒Secure Boot
What Happened to Google's A2A?
blog.fka.dev·2d·
Discuss: Hacker News
🔌Interface Evolution
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·2d·
Discuss: Hacker News
🏠Homelab Federation
GitHub Availability Report: August 2025
github.blog·1d
🧬Bitstream Evolution
tinyproxy/tinyproxy
github.com·6h
❄️Nixpkgs
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·4d
🦋Format Metamorphosis
Kubernetes v1.34: Snapshottable API server cache
kubernetes.io·3d
🌊Streaming Systems
New Layer of AI Engineer - on AWS Bedrock
dev.to·4h·
Discuss: DEV
⚙️Proof Engineering
Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
arxiv.org·1d
💻Local LLMs
Data-knowledge fusion driven frequency security assessment: A robust framework for renewable-dominated power grids
arxiv.org·3d
🤝Consensus Algorithms
Enhanced cast-128 with adaptive s-box optimization via neural networks for image protection
arxiv.org·3d
🌊Stream Ciphers
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
4-bit Single Board Computer Based on the Intel 4004 Microprocessor
hackaday.com·1d·
Discuss: Hacker News
🖥️Hardware Architecture
Automated Classification of Tutors' Dialogue Acts Using Generative AI: A Case Study Using the CIMA Corpus
arxiv.org·1d
🎙️Whisper
Scalable Graphene Oxide Functionalization via Deep-Learning Controlled Plasma Etching
dev.to·2d·
Discuss: DEV
📄Document Digitization
Code's Hidden Structure: How Graph AI is Revolutionizing Software Development by Arvind Sundararajan
dev.to·5d·
Discuss: DEV
🔗Topological Sorting
Bringing Trust and Governance to AI-Driven DevOps
devops.com·17h
🏠Homelab Orchestration