💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

BSD Now 627
discoverbsd.com·48m
🐡OpenBSD
2025-09-03: Summer Internship with Microsoft
ws-dl.blogspot.com·20h·
Discuss: ws-dl.blogspot.com
👁️Observatory Systems
El Capitan Revealing Hidden Worlds in Previously Unattainable High-Fidelity
hpcwire.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
garbage collection
jwz.org·1d
🧠Memory Allocators
Mago: Fast linter, formatter, and static analyzer for PHP, written in Rust
mago.carthage.software·2d·
Discuss: Hacker News
🦀Rust Macros
Benchmarking LLM Codegen for SQL
beekeeperstudio.io·2d·
Discuss: Hacker News
⛏️SQL Archaeology
The AI Engineer's Guide to LLM Observability with OpenTelemetry
agenta.ai·4d·
Discuss: Hacker News
👁️System Observability
You're Not Interviewing for the Job. You're Auditioning for the Job Title
idiallo.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Python Basics for Hackers, Part 04: How to Find the Exact Location of Any IP
hackers-arise.com·11m·
Discuss: Hacker News
🌳Incremental Parsing
Show HN: Reflag – Self-cleaning flags for TypeScript
news.ycombinator.com·4h·
Discuss: Hacker News
🎯Gradual Typing
Carolina Codes 2025: My First-Time Speaker Experience
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Why You Need Evals for Your AI Applications
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
LLMs for LLMs: A Structured Prompting Methodology for Long Legal Documents
arxiv.org·1d
🔗Constraint Handling
Show HN: I Built an AI Comic Maker That Adds Quizzes (MCQs) for Kids
github.com·2d·
Discuss: Hacker News
📄Document Streaming
Harnessing Batched BLAS/LAPACK Kernels on GPUs for Parallel Solutions of Block Tridiagonal Systems
arxiv.org·11h
📐Linear Algebra
Curse of Knowledge: When Complex Evaluation Context Benefits yet Biases LLM Judges
arxiv.org·11h
✨Effect Handlers
I Tried 25+ No-Code App Builders — These Ones Build Incredibly Real Apps
dev.to·7h·
Discuss: DEV
📏Code Metrics
A Survey on Human-AI Collaboration with Large Foundation Models
arxiv.org·11h
🔲Cellular Automata
Quality vs. Efficacy Learning with AI
dev.to·1h·
Discuss: DEV
🧠Intelligence Compression
DGL-RSIS: Decoupling Global Spatial Context and Local Class Semantics for Training-Free Remote Sensing Image Segmentation
arxiv.org·1d
🌀Riemannian Computing