💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

CUPS 2.4.13
openprinting.github.io·2d
📄PDF Internals
Signed and Dangerous: BYOVD Attacks on Secure Boot
binarly.io·2d
🔒Secure Boot
Regaining control of my attention using large language models
garyzhuge.com·4h·
Discuss: Hacker News
🎛️Feed Filtering
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
Certified Asterisk Security Release certified-18.9-cert17
seclists.org·4d
🔐Certificate Analysis
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·2d·
Discuss: Hacker News
🏠Homelab Federation
Bitsight GIA Update: How Gen-AI and LLMs Get You Faster (and Better) Entity Mapping
bitsight.com·1d
🧬Bitstream Evolution
Real-Time Atmospheric Dust Characterization via Deep Hyperspectral Analysis & Dynamic Particle Classification
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
Enhanced Transient Plasma Thruster Modeling via Reinforcement Learning and Multi-fidelity Simulations
dev.to·4h·
Discuss: DEV
⚙️Cassette Mechanics
Rust compiler performance survey 2025 results
blog.rust-lang.org·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rust Macros
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
Building a Terminal Sudoku Game in Python
dev.to·2d·
Discuss: DEV
⚡Homebrew CPUs
Build a Collaborative Inventory Dashboard with TanStack, Velt SDK and Kiro IDE⛵
dev.to·17h·
Discuss: DEV
🔄Sync Engine