💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

CodeMirror and Spell Checking: Solved
chipx86.blog·20h
🌳Incremental Parsing
Granular
blog.supermechanical.com·2h
⚙️Cassette Mechanics
Song recommendations from F# combinators
blog.ploeh.dk·4d
🔗Functional Compilers
Speeding up sideeffects with JIT in mountaineer
pierce.dev·1d·
Discuss: Hacker News
🦀Rust Macros
How To Run Kubernetes Commands in Go: Steps and Best Practices
thenewstack.io·6h
📦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
Explaining software and computational methods
blog.khinsen.net·2d·
Discuss: Hacker News
📝Concrete Syntax
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Python Fundamentals: asyncio
dev.to·1d·
Discuss: DEV
🌊Stream Processing
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
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·17h·
Discuss: DEV
🔌Operating system internals
On Context-Content Uncertainty Principle
arxiv.org·17h
🧠Machine Learning
15 AI Coding Agents evaluated with the same prompt
github.com·3h·
Discuss: Hacker News
⚡Proof Automation
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·3d
🔍FPGA Verification
Machine Learning Fundamentals: active learning with python
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Test whether a large integer is a square
johndcook.com·20h
📐Interval Arithmetic