💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Internationalization-check: Validating your Next.js internationalization
lingual.dev·7h·
Discuss: Hacker News
✅Format Verification
Refactoring English: Effective Writing for Software Developers
refactoringenglish.com·21h·
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·10h
🔄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
1Password
corrode.dev·1d
🦀Rust Borrowing
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·4d·
Discuss: Hacker News
🔗Functional Compilers
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·2d·
Discuss: Hacker News
🕸️WebP Analysis
Traditional curve
dev.to·13h·
Discuss: DEV
📐Mathematical Art
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·16h·
Discuss: DEV
🔄Reproducible Builds
Floating-Point Data Transformation for Lossless Compression
arxiv.org·3d
🌊Streaming Compression
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·3d
📏Code Metrics
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
🔁 Throwback Thursday: That Time I Thought I Understood Microservices
dev.to·18h·
Discuss: DEV
🌊Streaming Systems
On Context-Content Uncertainty Principle
arxiv.org·59m
🧠Machine Learning
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·3d
🔍FPGA Verification
Machine Learning Fundamentals: active learning with python
dev.to·1d·
Discuss: DEV
🧠Machine Learning
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
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·3d
💻Local LLMs