💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

From Tables to Relationships: Visualizing Iceberg Data as a Graph
blog.min.io·20h
🔄Sync Engine
USB in a NutShell - Chapter 1 - Introduction
beyondlogic.org·6h
📼Cassette Protocols
Canvas, meet code: Building Figma’s code layers
figma.com·3d·
Discuss: Hacker News
📐Mathematical Art
Adaptive, simplified design system colors
gfor.rest·1d·
Discuss: Lobsters, Hacker News
📖Nordic Typography
Cross-Compiling 10,000+ Rust CLI Crates Statically
blog.pkgforge.dev·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
A Caching Strategy for Identifying Bottlenecks on the Data Input Pipeline
towardsdatascience.com·1d
📊Performance Profiling
How to Fix Your Context
dbreunig.com·1d·
Discuss: Hacker News
✨Effect Handlers
Notion + Zapier = Developer Superpowers: Automate Everything
dev.to·5h·
Discuss: DEV
⚡Proof Automation
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·4d·
Discuss: DEV
🔗Concatenative Programming
🧠 RAG in Minutes with MultiMind SDK — No LangChain Needed
dev.to·15h·
Discuss: DEV
🌀Brotli Internals
🔁 Throwback Thursday: That Time I Thought I Understood Microservices
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
VMware Fundamentals: Photon Linux
dev.to·1d·
Discuss: DEV
🔌Operating system internals
On Context-Content Uncertainty Principle
arxiv.org·1d
🧠Machine Learning
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·4d
🔍FPGA Verification
Machine Learning Fundamentals: active learning with python
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.io·2d·
Discuss: Hacker News, Hacker News, r/node, r/programming, r/reactjs, r/typescript
💻Programming languages
Entelligence vs CodeRabbit
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Critical Security Importance Digital Age Web Techniques（1751002215693700）
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
From Slow as Snail to Fast as Lightning My Web Framework Performance Optimization Practice Record（1751009131538400）
dev.to·1d·
Discuss: DEV
🎬WebCodecs API
The Furones Algorithm
dev.to·1d·
Discuss: DEV
🕸️Graph Algorithms