💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

ChatGPT is becoming an everything app
theverge.com·1h
🏺ZIP Archaeology
C++26: range support for std:optional
sandordargo.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Talking about the Future of AI in Law with David Wakeling
artificialinvestment.substack.com·19h·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Linus Method: How we simiplifed RFC reviews
devashish.me·1d·
Discuss: Hacker News
⚙️Proof Engineering
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.com·3d·
Discuss: Hacker News, r/golang
🔑Cryptographic Protocols
Kubernetes 1.34 Features Explained
scaleops.com·3d·
Discuss: Hacker News
📦Container Security
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·1d·
Discuss: Lobsters, Hacker News
📊APL Heritage
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai·16h·
Discuss: r/programming
🏠Homelab Pentesting
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai·1d·
Discuss: Hacker News
🚀Indie Hacking
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
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
A 7-year-old CLI tool reborn with AI, meet gokill
reddit.com·1d·
Discuss: r/golang
🪟Awesome windows command-line
Operable Software
ferd.ca·2d·
Discuss: Hacker News
👁️System Observability
Show HN: TrustMesh – Open-source reputation layer for AI agents
github.com·2d·
Discuss: Hacker News, r/opensource
🌳Archive Merkle Trees
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·9h·
Discuss: DEV
🌀Brotli Internals
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof Automation
New React Foundation To Manage Framework
thenewstack.io·1d
🔓Open Source Software
An /intro to Python 3.14’s New Features
blog.pythonlibrary.org·3d
🌳Incremental Parsing