💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🦀Rust Verification
C++26: range support for std:optional
sandordargo.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·1d·
Discuss: Hacker News
🎯Proof Tactics
Closer to production quality Python notebooks with `marimo check`
marimo.io·4d·
Discuss: Hacker News
✅Archive Validation
The Linus Method: How we simiplifed RFC reviews
devashish.me·1d·
Discuss: Hacker News
⚙️Proof Engineering
Is Odin Just a More Boring C?
dayvster.com·6d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🔩Systems Programming
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.com·3d·
Discuss: Hacker News, r/golang
🔑Cryptographic Protocols
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof 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
🚀 Ansible Flask Web App Deployment on AWS
dev.to·2d·
Discuss: DEV
🤖Network Automation
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·3d·
Discuss: DEV
🦀Rust Macros
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
🚀 Unlocking Productivity: AI Tools Every Angular Developer Should Know
dev.to·4h·
Discuss: DEV
🦀Rust Macros
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·2d
🔗Parser Combinators
I created and open sourced an LLM and backend orchestration system
reddit.com·3d·
Discuss: r/golang
🌀Brotli Internals
A 7-year-old CLI tool reborn with AI, meet gokill
reddit.com·1d·
Discuss: r/golang
🪟Awesome windows command-line
Does OpenCode Support Hooks? A Complete Guide to Extensibility
dev.to·2d·
Discuss: DEV
🔓Open Source Software
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·2d·
Discuss: DEV
🗄️Database Internals