💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Cactus Language • Semantics 3
inquiryintoinquiry.com·18h
🔢Denotational Semantics
Open Lineage
usenix.org·1d
🔌Interface Evolution
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com·21h
⬜Minimalism
[$] Gccrs after libcore
lwn.net·1d
🦀Rust Macros
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·15h·
Discuss: Hacker News
🔗Concatenative Programming
C++ Reflection and Qt MOC
wiki.qt.io·2d·
Discuss: Hacker News
🧩WASM Modules
Building on vibes: Lessons from three years with LLMs
world.hey.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·19h·
Discuss: Hacker News
🔓Open Source Software
Scriptable mutating admission hook?
reddit.com·14h·
Discuss: r/kubernetes
🎯Gradual Typing
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
A Manifesto for the Programming Desperado
github.com·18h·
Discuss: Hacker News
💻Programming languages
Memgoose – An In-Memory Mongoose Impersonator
github.com·46m·
Discuss: Hacker News
🔄Sync Engine
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·20h·
Discuss: Hacker News
🎯Performance Proofs
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Show HN: I've built C# source code generator Fluent API library
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Three gripes about Go modules
jotaen.net·16h·
Discuss: Hacker News
🔓Reverse engineering
Show HN: Realization Jsmn on a Pure Zig
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Building A Real-Time Communication System Using Go and WebSocket
dev.to·17h·
Discuss: DEV
🌐WebSocket Framing
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.to·17h·
Discuss: DEV
🌐WASI