💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Devlog: Godot Game - A Trigger That Reveals Secrets
lmika.org·6h
🎯Proof Tactics
Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🦀Rust Verification
AWS RDS Data API Deep Dive
proactiveops.io·16h·
Discuss: Hacker News
🌊Streaming Databases
Does Go have types?
youtube.com·1d·
Discuss: r/golang
🔒Linear Types
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·20h·
Discuss: Hacker News
🎯Proof Tactics
Performant 2D Renderer: A Tour of Cute Framework's Renderer
randygaul.github.io·10h·
Discuss: Hacker News
🎯Emulator Accuracy
Is Odin Just a More Boring C?
dayvster.com·5d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🔩Systems Programming
Closer to production quality Python notebooks with `marimo check`
marimo.io·4d·
Discuss: Hacker News
✅Archive Validation
Protobuf: Rust Generated Code Guide
protobuf.dev·4d
🦀Rust Macros
Programmer in Wonderland
binaryigor.com·2d·
Discuss: Hacker News
🔩Systems Programming
From Clicks to Code: Building a Production‑Ready EVM Transaction Client (Approve, Mint, Swap, EIP‑1559)
dev.to·2d·
Discuss: DEV
✅Format Verification
The Hidden Power of ChatGPT Prompts Nobody Talks About
dev.to·5h·
Discuss: DEV
⚡Proof Automation
The Rise of Reactive Backends That Adapt in Real Time
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Automated Surface Tension Profiling via Static Contact Angle Analysis & Bayesian Inference
dev.to·11h·
Discuss: DEV
🌀Differential Geometry
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org·2d
🕵️Vector Smuggling
The Conveyor Belt Protocol: Understanding Iterators
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
FURINA: A Fully Customizable Role-Playing Benchmark via Scalable Multi-Agent Collaboration Pipeline
arxiv.org·3d
⚡Performance Mythology
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·2d
📼Cassette Combinators
Targeted Digital Twin via Flow Map Learning and Its Application to Fluid Dynamics
arxiv.org·2d
🔲Cellular Automata