💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

CodeMirror and Spell Checking: Solved
chipx86.blog·1d
🌳Incremental Parsing
Song recommendations from F# combinators
blog.ploeh.dk·4d
🔗Functional Compilers
How To Run Kubernetes Commands in Go: Steps and Best Practices
thenewstack.io·12h
📦Container Security
Threaded Code
muforth.dev·2d·
Discuss: Hacker News
🦀Rust Macros
How Language Became Infrastructure—and Why That Should Worry Us
hackernoon.com·1d
📋Document Grammar
Cross-Compiling 10,000+ Rust CLI Crates Statically
blog.pkgforge.dev·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
YC AI Startup School 2025 – Highlights
chipinsights.substack.com·1h·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
How to Fix Your Context
dbreunig.com·1d·
Discuss: Hacker News
✨Effect Handlers
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·3d·
Discuss: DEV
🔗Concatenative Programming
🔁 Throwback Thursday: That Time I Thought I Understood Microservices
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
VMware Fundamentals: Photon Linux
dev.to·23h·
Discuss: DEV
🔌Operating system internals
On Context-Content Uncertainty Principle
arxiv.org·23h
🧠Machine Learning
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·3d
🔍FPGA Verification
HarmonyOS Development: The first article on the application shelf, generating key and certificate request files
dev.to·1h·
Discuss: DEV
🔌Operating system internals
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·1d·
Discuss: Hacker News, r/node, r/programming, r/reactjs, r/typescript
💻Programming languages
Test whether a large integer is a square
johndcook.com·1d
📐Interval Arithmetic
Critical Security Importance Digital Age Web Techniques（1751002215693700）
dev.to·22h·
Discuss: DEV
🔒WASM Capabilities
From Slow as Snail to Fast as Lightning My Web Framework Performance Optimization Practice Record（1751009131538400）
dev.to·20h·
Discuss: DEV
🎬WebCodecs API