💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Open Lineage
usenix.org·1d
🔌Interface Evolution
[$] Gccrs after libcore
lwn.net·1d
🦀Rust Macros
Show HN: Velocity is a post-quantum transport protocol
projectvelocity.org·15h·
Discuss: Hacker News
🌐DNS over QUIC
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·18h·
Discuss: Hacker News
🛡️Error Boundaries
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Three gripes about Go modules
jotaen.net·21h·
Discuss: Hacker News
🔓Reverse engineering
A Manifesto for the Programming Desperado
github.com·23h·
Discuss: Hacker News
💻Programming languages
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·22h·
Discuss: DEV
🌐WebSocket Framing
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.to·22h·
Discuss: DEV
🌐WASI
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·1d
🌀Differential Geometry
Memgoose – An In-Memory Mongoose Impersonator
github.com·5h·
Discuss: Hacker News
🔄Sync Engine
Scriptable mutating admission hook?
reddit.com·19h·
Discuss: r/kubernetes
🎯Gradual Typing
I have seen the compounding teams
sundaylettersfromsam.substack.com·3h·
Discuss: Substack
⚔️Lean Tactics
A new breed of analyzers
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
`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
TypeScript Flaws (2024)
intercaetera.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Build an Unbreakable EVM Read Stack in Python: Async Web3.py, ABIs, Proxies, and Decimals
dev.to·19h·
Discuss: DEV
🔌Interface Evolution
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·2h·
Discuss: DEV
📊Spectral Analysis