💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Information modeling example: Call sheet
disruptivearchitecture.info·1d
🚚Data Migration
Issue 718
iosdevweekly.com·1d
🔌Interface Evolution
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·2d
🦀Rust Macros
/visual: A web component gallery
me.micahrl.com·14h
🧩WASM Components
Converting Future to CompletableFuture With Java Virtual Threads
morling.dev·2d
🌊Streaming Systems
Paylias: A payment network alternative to Visa and Mastercard
paylias.xyz·1d·
Discuss: Hacker News
🔗Hash Chains
WasmEdge/WasmEdge
github.com·1d
⚙️WASM Runtime
SIOF (Scheme in One File) – A Minimal R7RS Scheme System
github.com·6h·
Discuss: Hacker News
🧠Lisp Dialects
After a Week of Work, My Programming Language Hulo Adds Bash Transpiler and Package Management Tool
dev.to·8h·
Discuss: DEV
🐚Shell Automation
How to actually use Model Context Protocol
seangoedecke.com·2d·
Discuss: Hacker News
⚡Proof Automation
Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.dev·1d·
Discuss: Lobsters, r/programming
🌀Brotli Internals
My experience with Claude Code after 2 weeks of adventures | Hacker News
news.ycombinator.com·11h·
Discuss: Hacker News
🌳Incremental Parsing
Intermediate Zig Build
rdunnington.github.io·1d·
Discuss: Hacker News
⚙️Build Archaeology
Building a CRM with AWS SAM, part 1: ping
dev.to·3h·
Discuss: DEV
⚡gRPC
Refining Coarse-Grained Molecular Topologies: A Bayesian Optimization Approach
arxiv.org·1d
🌐Computational Topology
This Should Not Be Possible
ghuntley.com·14h·
Discuss: Hacker News
🛡️eBPF Security
GORM Magic: Go Database Made Easy ⚡
dev.to·1d·
Discuss: DEV
⛏️SQL Archaeology
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·21h·
Discuss: Hacker News, r/programming
🔗Lisp
Understanding Derivatives: The Slope of Change
dev.to·14h·
Discuss: DEV
🌀Differential Geometry
How to generate a TypeScript SDK for your API spec
buildwithfern.com·3d·
Discuss: Hacker News
⚡gRPC