💧 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·21h
🔓Open Source Software
Signed and Dangerous: BYOVD Attacks on Secure Boot
binarly.io·2d
🔒Secure Boot
Regaining control of my attention using large language models
garyzhuge.com·2h·
Discuss: Hacker News
🎛️Feed Filtering
Evaporating Water with Light
lll.scrybble.ink·1d·
Discuss: Hacker News
🌡️Preservation Thermodynamics
What Happened to Google's A2A?
blog.fka.dev·2d·
Discuss: Hacker News
🔌Interface Evolution
Stop writing CLI validation. Parse it right the first time
hackers.pub·6d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️CLI Security
Was Action! The Best 8-Bit Language?
hackaday.com·3d·
Discuss: Hacker News
🕹️Retro Gaming
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
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
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
Code's Hidden Structure: How Graph AI is Revolutionizing Software Development by Arvind Sundararajan
dev.to·5d·
Discuss: DEV
🔗Topological Sorting
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