💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Superpowers 2.0 came out yesterday and might already be obsolete.
blog.fsck.com·19h
🪟Awesome windows command-line
ChatGPT is becoming an everything app
theverge.com·7h
🏺ZIP Archaeology
C++26: range support for std:optional
sandordargo.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Satisfaction of Render Pipelines
azeemba.com·2h·
Discuss: Lobsters, Hacker News
🌊Stream Processing
The Linus Method: How we simiplifed RFC reviews
devashish.me·2d·
Discuss: Hacker News
⚙️Proof Engineering
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.com·4d·
Discuss: Hacker News, r/golang
🔑Cryptographic Protocols
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·1d·
Discuss: Lobsters, Hacker News
📊APL Heritage
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai·2d·
Discuss: Hacker News
🚀Indie Hacking
What's new in Python 3.14
docs.python.org·4d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
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·3d·
Discuss: DEV
🗄️Database Internals
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·5h·
Discuss: DEV
🦀Rust Macros
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·15h·
Discuss: DEV
🌀Brotli Internals
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof Automation
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
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