💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Shane Kennedy - Software Engineer
shaneikennedy.xyz·3d
🦀Rust Macros
Explaining software and computational methods
blog.khinsen.net·2d·
Discuss: Hacker News
📝Concrete Syntax
[D] Thinking, Fast and Slow
reddit.com·9h·
Discuss: r/MachineLearning
🧮Theoretical Computer Science
Python Fundamentals: asyncio
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Entelligence vs CodeRabbit
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Schemars v1 is now released
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
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·13h·
Discuss: DEV
🔌Operating system internals
On Context-Content Uncertainty Principle
arxiv.org·13h
🧠Machine Learning
Critical Security Importance Digital Age Web Techniques（1751002215693700）
dev.to·11h·
Discuss: DEV
🔒WASM Capabilities
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·16h
📐Interval Arithmetic
From Slow as Snail to Fast as Lightning My Web Framework Performance Optimization Practice Record（1751009131538400）
dev.to·10h·
Discuss: DEV
🎬WebCodecs API
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·4d
💻Programming languages
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·3d
💻Local LLMs
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·1d·
Discuss: DEV
✅Format Verification