💧 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·5d
🔗Functional Compilers
USB in a NutShell - Chapter 1 - Introduction
beyondlogic.org·2h
📼Cassette Protocols
Speeding up sideeffects with JIT in mountaineer
pierce.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Threaded Code
muforth.dev·2d·
Discuss: Hacker News
🦀Rust Macros
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·6h·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
How to Fix Your Context
dbreunig.com·1d·
Discuss: Hacker News
✨Effect Handlers
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·3d·
Discuss: DEV
🔗Concatenative Programming
Entelligence vs CodeRabbit
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
🔁 Throwback Thursday: That Time I Thought I Understood Microservices
dev.to·1d·
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
HarmonyOS Development: The first article on the application shelf, generating key and certificate request files
dev.to·6h·
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
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 Building Blocks - Understanding MCP, Agents, and LLMs (Part 2/5)
dev.to·11h·
Discuss: DEV
🔗Constraint Handling