💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🦀Rust Verification
AWS RDS Data API Deep Dive
proactiveops.io·19h·
Discuss: Hacker News
🌊Streaming Databases
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·22h·
Discuss: Hacker News
🎯Proof Tactics
Does Go have types?
youtube.com·1d·
Discuss: r/golang
🔒Linear Types
Performant 2D Renderer: A Tour of Cute Framework's Renderer
randygaul.github.io·13h·
Discuss: Hacker News
🎯Emulator Accuracy
Closer to production quality Python notebooks with `marimo check`
marimo.io·4d·
Discuss: Hacker News
✅Archive Validation
Is Odin Just a More Boring C?
dayvster.com·5d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🔩Systems Programming
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
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
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof Automation
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·2d
📋Document Grammar
Master Docker & Kubernetes — From Zero to Real-World Deployment (limited time)
reddit.com·12h·
Discuss: r/kubernetes
📦Container Security
🚀 Ansible Flask Web App Deployment on AWS
dev.to·2d·
Discuss: DEV
🤖Network Automation
Collaborative Odoo 19 Community Development – Custom Modules & Benin Standardized Invoicing
dev.to·1d·
Discuss: DEV
🔓Open Source Software
resterm: terminal-first client for working HTTP, GraphQL, and gRPC
reddit.com·2d·
Discuss: r/golang
⚡gRPC
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.dev·4d·
Discuss: Hacker News
💧Liquid Types
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·3d·
Discuss: DEV
🦀Rust Macros
🚀 Unlocking Productivity: AI Tools Every Angular Developer Should Know
dev.to·1h·
Discuss: DEV
🦀Rust Macros