💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Open Lineage
usenix.org·1d
🔌Interface Evolution
Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
[$] Gccrs after libcore
lwn.net·2d
🦀Rust Macros
Show HN: Velocity is a post-quantum transport protocol
projectvelocity.org·19h·
Discuss: Hacker News
🌐DNS over QUIC
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·23h·
Discuss: Hacker News
🛡️Error Boundaries
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·1d
🌀Differential Geometry
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
Building A Real-Time Communication System Using Go and WebSocket
dev.to·1d·
Discuss: DEV
🌐WebSocket Framing
Memgoose – An In-Memory Mongoose Impersonator
github.com·10h·
Discuss: Hacker News
🔄Sync Engine
Scriptable mutating admission hook?
reddit.com·1d·
Discuss: r/kubernetes
🎯Gradual Typing
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
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·6h·
Discuss: DEV
📊Spectral Analysis
Build an Unbreakable EVM Read Stack in Python: Async Web3.py, ABIs, Proxies, and Decimals
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Why it took 4 years to get a lock files specification
snarky.ca·15h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Golang Dependency Inversion — A Java Developer's Point of View
dev.to·4d·
Discuss: DEV
🔬Refinement Types
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
Managing Asynchronous Work with Celery and Redis
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration