💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Athos Silicon: SoC with redundant UCIe chiplets for autonomous driving and more
heise.de·12h
⚡Nordic Processors
Winetricks/winetricks
github.com·19h
🔄Sync Engine
Why I’m Against Claude Code’s Grep-Only Retrieval? It Just Burns Too Many Tokens
milvus.io·1d·
Discuss: Hacker News
🌳Incremental Parsing
Day 13: AI-Driven Quality Assurance - The Systematic Breakthrough
dev.to·3h·
Discuss: DEV
🔄Reproducible Builds
Wayland Compositors – Why and How to Handle Privileged Clients (2014)
mupuf.org·1d·
Discuss: Hacker News
🔓Password Cracking
So you want to use SLMs. Can you handle them?
unionailoop.substack.com·8h·
Discuss: Substack
⚙️Batch Processing
The MiniPC Revolution
jadarma.github.io·1d·
Discuss: Hacker News
🖥️Modern Terminals
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·1d
🔄Reproducible Builds
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·4h·
Discuss: DEV
🔲Cellular Automata
Wubular: Rubular Reimagined in Ruby+WASM
rubyelders.com·6h·
Discuss: Hacker News
🌀Brotli Internals
Show HN: Enterprise MCP Bridge – Solving the MCP Chaos for IT
blog.inxm.ai·3h·
Discuss: Hacker News
🔌Interface Evolution
Delta Lake: Transform Pandas Prototypes into Production
codecut.ai·3h·
Discuss: Hacker News
📐Delta Encoding
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·1d·
Discuss: Lobsters, Hacker News, r/programming
🔑Cryptographic Protocols
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·17h
💻Local LLMs
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·17h
🔧Hardware Verification
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·6h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·7h·
Discuss: DEV
🔒WASM Capabilities
Student-Teacher Distillation: A Complete Guide for Model Compression
dev.to·2h·
Discuss: DEV
📊Quantization
Scheme Basics
courses.cs.washington.edu·4d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
How We Built a PaaS with Go, Kubernetes, and React
dev.to·8h·
Discuss: DEV
⚡gRPC