💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Superpowers 2.0 came out yesterday and might already be obsolete.
blog.fsck.com·21h
🪟Awesome windows command-line
ChatGPT is becoming an everything app
theverge.com·9h
🏺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·4h·
Discuss: Lobsters, Hacker News
🌊Stream Processing
Talking about the Future of AI in Law with David Wakeling
artificialinvestment.substack.com·1d·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Linus Method: How we simiplifed RFC reviews
devashish.me·2d·
Discuss: Hacker News
⚙️Proof Engineering
Kubernetes 1.34 Features Explained
scaleops.com·3d·
Discuss: Hacker News
📦Container Security
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai·2d·
Discuss: Hacker News
🚀Indie Hacking
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
A 7-year-old CLI tool reborn with AI, meet gokill
reddit.com·1d·
Discuss: r/golang
🪟Awesome windows command-line
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·17h·
Discuss: DEV
🌀Brotli Internals
The Trillion Dollar AI Software Development Stack
a16z.com·2d·
Discuss: Hacker News
⚡Proof Automation
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·3h·
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
Automated Surface Tension Profiling via Static Contact Angle Analysis & Bayesian Inference
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·3d·
Discuss: DEV
⚡Cache Theory
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.com·4d·
Discuss: Hacker News, r/golang
🔑Cryptographic Protocols
Building a Custom MCP Server in Continue: A Step-by-Step Guide
dev.to·2d·
Discuss: DEV
📻Homebrew Protocols