💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
[$] Gccrs after libcore
lwn.net·2d
🦀Rust Macros
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
🌊Stream Processing
Why it took 4 years to get a lock files specification
snarky.ca·18h·
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·3d·
Discuss: DEV
🏠Homelab Orchestration
Patina project – a Rust implementation of UEFI firmware
github.com·1d·
Discuss: Hacker News, Hacker News
🦀Embedded Rust
Add `brew MCP-server`: a MCP server for Homebrew
github.com·1d·
Discuss: Hacker News
📻Homebrew Protocols
Show HN: I built a local AI agent desk toy
blog.simone.computer·3d·
Discuss: Hacker News
🎙️Whisper
Building A Real-Time Communication System Using Go and WebSocket
dev.to·1d·
Discuss: DEV
🌐WebSocket Framing
Automated Surface Tension Profiling via Static Contact Angle Analysis & Bayesian Inference
dev.to·3h·
Discuss: DEV
🌀Differential Geometry
Securing Kubernetes MCP Server with Pomerium and Google OAuth 2.0
reddit.com·1h·
Discuss: r/kubernetes
📦Container Security
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·4d
🔗Parser Combinators
Making performant Python bindings to compiled code
kylebarron.dev·4d·
Discuss: Hacker News
🦀Rust Macros
Responsible Vibe Coding
dev.to·7h·
Discuss: DEV
📏Code Metrics
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.io·14h·
Discuss: Hacker News, r/ClaudeAI
🎙️Whisper
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
rule-router: I built a high-performance rule engine for NATS in Go
reddit.com·2d·
Discuss: r/golang
🌊Streaming Systems