💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Internationalization-check: Validating your Next.js internationalization
lingual.dev·15h·
Discuss: Hacker News
✅Format Verification
Refactoring English: Effective Writing for Software Developers
refactoringenglish.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Modern Node.js Patterns for 2025
kashw1n.com·22h·
Discuss: Hacker News
🌊Stream Processing
Meet The Women In Tech: SynFutures Co-Founder and COO Wenny C. and The Next Chapter of DeFi Innovati
hackernoon.com·18h
🔄Sync Engine
What Inflection AI Learned Porting Its LLM Inference Stack from NVIDIA to Intel Gaudi
thenewstack.io·1d
🧮Compute Optimization
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·2d·
Discuss: Hacker News
🕸️WebP Analysis
Traditional curve
dev.to·21h·
Discuss: DEV
📐Mathematical Art
Floating-Point Data Transformation for Lossless Compression
arxiv.org·3d
🌊Streaming Compression
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·3d
🔍FPGA Verification
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·3d
💻Programming languages
AI Agents Can Now Pay Autonomously Thanks to x402 and HTTP 402
hackernoon.com·1d
🔌Interface Evolution
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·3d
💻Local LLMs
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·3d
🎯Performance Proofs
Estimating Technical Loss without Power Flows: A Practical, Data-Driven Approach for Loss Estimation in Distribution Grids
arxiv.org·9h
👁️System Observability
⚙️ Scalable and Ordered Queueable Execution from Triggers in Salesforce
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·22h·
Discuss: DEV
🌊Stream Processing
⚙️ Model Client System, Universal Routing & Fine-Tuning (Transformer + Non-Transformer) in MultiMind SDK
dev.to·16h·
Discuss: DEV
🧮SMT Solvers
Pipelining AI/ML Training Workloads with CUDA Streams
towardsdatascience.com·16h
🌊Streaming Algorithms
Software Architecture Styles : Monolith, Modulith, Micro-services, which option is better for you
dev.to·1d·
Discuss: DEV
⚡SMT Applications