💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Internationalization-check: Validating your Next.js internationalization
lingual.dev·11h·
Discuss: Hacker News
✅Format Verification
Refactoring English: Effective Writing for Software Developers
refactoringenglish.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Meet The Women In Tech: SynFutures Co-Founder and COO Wenny C. and The Next Chapter of DeFi Innovati
hackernoon.com·14h
🔄Sync Engine
LLMs bring new nature of abstraction
martinfowler.com·2d·
Discuss: Hacker News
💻Programming languages
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·17h·
Discuss: DEV
📐Mathematical Art
Floating-Point Data Transformation for Lossless Compression
arxiv.org·3d
🌊Streaming Compression
From Slow as Snail to Fast as Lightning My Web Framework Performance Optimization Practice Record（1751009131538400）
dev.to·1h·
Discuss: DEV
🎬WebCodecs API
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·5h
👁️System Observability
⚙️ Scalable and Ordered Queueable Execution from Triggers in Salesforce
dev.to·6h·
Discuss: DEV
🌊Stream Processing
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·18h·
Discuss: DEV
🌊Stream Processing
⚙️ Model Client System, Universal Routing & Fine-Tuning (Transformer + Non-Transformer) in MultiMind SDK
dev.to·12h·
Discuss: DEV
🧮SMT Solvers
Pipelining AI/ML Training Workloads with CUDA Streams
towardsdatascience.com·12h
🌊Streaming Algorithms