💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Network Switch Reverse Engineering
fohdeesha.com·1d·
Discuss: Hacker News
🎮Switch Archaeology
The Weekly Win
yusufaytas.com·2h·
Discuss: Hacker News
🔗Data Provenance
Nvidia Rubin CPX: New AI inference accelerator set to launch by late 2026
heise.de·3d
🖥️Terminal Renaissance
Turbulence with a twist: New work shows fluid in a curved pipe can undergo discontinuous transition
phys.org·1d
🌊Stream Processing
The exceptionalism of software is unwarranted
overbring.com·4d·
Discuss: Hacker News
📏Code Metrics
Billion-Line Days Demand Billion-Test Nights
momentic.ai·4d·
Discuss: Hacker News
📏Code Metrics
Is the "overly helpful and overconfident idiot" aspect of existing LLMs inherent to the tech or a design/training choice?
reddit.com·4d·
Discuss: r/artificial
💻Local LLMs
Evaluating and comparing gender bias across four text-to-image models
arxiv.org·2d
🎙️Whisper
Unlock Nanoscale Secrets: Deep Equilibrium Force Fields Accelerate Simulations
dev.to·2d·
Discuss: DEV
🕸️Tensor Networks
GhostChat v2.0 – Local-first AI chat with IndexedDB persistence and offline
github.com·1d·
Discuss: Hacker News
🔄Sync Engine
Unlocking AI's Potential: Secure Language Models for Sensitive Data
dev.to·2d·
Discuss: DEV
💻Local LLMs
Greptile vs Panto AI: Which AI Code Review Tool Delivers More in 2025?
dev.to·2d·
Discuss: DEV
📏Code Metrics
AI Agents vs. Agentic AI: A Kubernetes Developer’s Guide
thenewstack.io·3d
⚙️TLA+
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·5d·
Discuss: r/LocalLLaMA
🔗Functional Compilers
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·4d
🔐Capability Systems
🚀 Getting Started with Python: A Beginner’s Guide
dev.to·10h·
Discuss: DEV
λLambda Formalization
Enhanced Transient Plasma Thruster Modeling via Reinforcement Learning and Multi-fidelity Simulations
dev.to·6h·
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
UOPSL: Unpaired OCT Predilection Sites Learning for Fundus Image Diagnosis Augmentation
arxiv.org·2d
🧠Machine Learning