💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Deconstructing Trust
systemsapproach.org·2d
🌳Archive Merkle Trees
Wrote an in-depth blog on scaling modern transformers with n-D parallelism
jaxformer.com·3d·
Discuss: Hacker News
🔄Burrows-Wheeler
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·19h·
Discuss: Hacker News
🔲Cellular Automata
Liquid Glass Component for React Native
github.com·1d·
Discuss: Hacker News
🎬WebCodecs API
Show HN: Inertia – A keyframe animation editor for mobile apps
github.com·12h·
Discuss: Hacker News
🎬WebCodecs
🚀Git + Databricks: Why Both Are Essential for Modern Data Engineering
dev.to·17h·
Discuss: DEV
🌳Git Internals
Need help to craft lower level optimization for golang
reddit.com·2d·
Discuss: r/golang
⚡gRPC
Benchmarking Large Language Models for Personalized Guidance in AI-Enhanced Learning
arxiv.org·1d
🎙️Whisper
Truly Reactive Cloud Native AI Agents with Kagent and Khook
dev.to·23h·
Discuss: DEV
🌊Apache Kafka
General Demographic Foundation Models for Enhancing Predictive Performance Across Diseases
arxiv.org·9h
🧠Machine Learning
Scalable Viscosity Anomaly Detection via Hybrid Multi-Modal Analysis and Predictive Modeling
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Show HN: Python package to easily generate and edit images with Nano Banana
github.com·1d·
Discuss: Hacker News
🕸️WebP Analysis
Ask HN: What did you obtain from learning compilers?
news.ycombinator.com·2d·
Discuss: Hacker News
🔨Compilers
Secure AI Agent Frameworks: Ensuring Safety and Reliability at Scale
dev.to·1h·
Discuss: DEV
🔐Capability Systems
Single and Multi-Frequency Path Loss Models for Indoor Hotspot Scenario Based on Measurements Conducted at 6.75, 16.95, 28, 73 and 142 GHz
arxiv.org·9h
ℹ️Information Theory
AI-in-the-Loop: Privacy Preserving Real-Time Scam Detection and Conversational Scambaiting by Leveraging LLMs and Federated Learning
arxiv.org·1d
🤐Secure Multiparty
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·6d
🎯Performance Proofs
Agentic AI and the Future of Python Project Management Tooling
towardsdatascience.com·1d
⚡Incremental Computation
Disaggregation: A New Architecture for Cloud Databases
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🗄️Database Sharding
JFrog Unveils DevOps Platform for the Agentic AI Era
devops.com·21h
🏠Homelab Orchestration