💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

On This Day in Math - September 10
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🔲Cellular Automata
Catholic Theology and Code
theologyandcode.com·51m·
Discuss: Hacker News
⛪Church Encoding
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·2d·
Discuss: Hacker News
🕹️Retro Gaming
Improving Cursor Tab with RL
cursor.com·44m·
Discuss: Hacker News
🎛️Feed Filtering
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·2d·
Discuss: Hacker News
⚡Homebrew CPUs
Exceptions vs. Results
tifi.blog·5d·
Discuss: Hacker News
🦀Rust Verification
Package Managers are Evil
gingerbill.org·3d·
Discuss: Lobsters, Hacker News, r/programming
📦Package Managers
Massively Parallel Agentic Simulations with Ray
anyscale.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Eat Your Vegetables Before AI Dessert
writings.alethia.news·2d·
Discuss: Hacker News
⚙️Proof Engineering
Cognition: The Devin is in the Details
swyx.io·3d·
Discuss: Hacker News, Hacker News
📏Code Metrics
Synthetic Data Toolkit Released on GitHub
github.com·3d·
Discuss: Hacker News
🔓Open Source Software
How Kiro Changed the Way I Code
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Using AI as my engineering copilot (not autopilot)
dev.to·2d·
Discuss: DEV
✨Effect Handlers
Automated Protocol Reconstruction for Reproducible Synthetic Biology Experiment Validation
dev.to·4d·
Discuss: DEV
⚙️Proof Engineering
Automated Test Case Prioritization via Dynamic Attribute Weighting and Reinforcement Learning
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Nuclear Data Adjustment for Nonlinear Applications in the OECD/NEA WPNCS SG14 Benchmark -- A Bayesian Inverse UQ-based Approach for Data Assimilation
arxiv.org·2d
✨Effect Handlers
Develop-Fair Use for Artificial Intelligence: A Sino-U.S. Copyright Law Comparison Based on the Ultraman, Bartz v. Anthropic, and Kadrey v. Meta Cases
arxiv.org·2d
⚖️Emulation Ethics
GitHub Coding Agent the Magical Autonomous AI: The Prequel
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org·1d
💻Programming languages
Agent Diary: Sep 11, 2025 - The Great Test Cleanup: When Deleting 1,712 Lines Feels Like Victory
dev.to·1d·
Discuss: DEV
🐛Fuzzing