💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Valkyries overpowered by top-seeded Lynx in franchise’s first WNBA playoff game
mercurynews.com·5h
🗄️Database Recovery
The Quiet Revolution in Kubernetes Security
darkreading.com·4d
📦Container Security
How to use ChatGPT at university without cheating: ‘Now it’s more like a study partner’
theguardian.com·17h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
How Python Implements List Comprehensions
pythonkoans.substack.com·6d·
Discuss: Substack
🔗Concatenative Programming
How Benjamin Franklin Invented Machine Learning in 1720
spf13.com·4d·
Discuss: Hacker News
⚡Incremental Computation
Animal Crossing mod uses AI to orchestrate anti-Tom Nook villager revolt
arstechnica.com·2d
📼Retro Games
UTF-8 – "The Most Elegant Hack" (2013)
hackaday.com·1d·
Discuss: Hacker News
🔤Character Encoding
Comparing the memory implementations of Claude and ChatGPT
simonwillison.net·2d
⚡Cache Coherence
AMD's RDNA4 GPU Architecture at Hot Chips 2025
chipsandcheese.com·1d·
Discuss: Hacker News, r/hardware
⚡LZ4 Streaming
The Augmented Connected Workforce: McLean Forrester’s Vision for Tomorrow’s Enterprise
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Streaming React UI using JSON chunks
github.com·2d·
Discuss: Hacker News
🌊Streaming Systems
AI Storyline Generator
dev.to·2h·
Discuss: DEV
🎙️Whisper
Technical documentation: what it is, why it breaks, and how to keep it up to date
dev.to·2d·
Discuss: DEV
📚Documentation Archaeology
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.org·6d
📏Code Metrics
The Majority is not always right: RL training for solution aggregation
arxiv.org·5d
🔗Parser Combinators
Students' Perception of LLM Use in Requirements Engineering Education: An Empirical Study Across Two Universities
arxiv.org·5d
💻Programming languages
Guardian AI: Verifying Billion-Parameter Models on the Edge by Arvind Sundararajan
dev.to·5d·
Discuss: DEV
💻Local LLMs
MCP & API: Are they Two Sides of the Same Coin, or Worlds Apart?
dev.to·5d·
Discuss: DEV
🔌Interface Evolution
Why Use SQL Databases for AI Agent Memory
dev.to·1d·
Discuss: DEV
🗄️Database Internals
CalmaBeats
dev.to·1d·
Discuss: DEV
🌀Brotli Internals