💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Slopsquatting: AI's Contribution to Supply Chain Attacks
hackerone.com·8h
🔒WASM Capabilities
Go at american express today
americanexpress.io·5h
🔌Interface Evolution
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Row Polymorphic Programming
stranger.systems·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Perennial Task Just Got More Flexible
arthurdick.com·4h·
Discuss: Hacker News
🦋Format Metamorphosis
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.com·8h
⚔️Lean Tactics
Re-implementing the Nix protocol in Rust
tweag.io·2d·
Discuss: Hacker News
🔒Linear Types
What people said about an OpenZFS bug
despairlabs.com·12h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Helix Editor Release 25.07 Highlights
helix-editor.com·1d·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Agent Memory with Spring AI & Redis
dev.to·8h·
Discuss: DEV
⚡Redis Internals
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·12h·
Discuss: Hacker News
🌊Stream Processing
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·3d·
Discuss: Hacker News
🔗Functional Compilers
The C3 Programming Language
c3-lang.org·1d·
Discuss: Hacker News
💧Liquid Types
Kiro and the future of AI spec-driven software development
kiro.dev·13h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·2d·
Discuss: Hacker News
🔌Interface Evolution
Python Scope and the LEGB Rule: Resolving Names in Your Code
realpython.com·14h
🦀Rust Macros
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·7h·
Discuss: Hacker News
🌀Brotli Internals
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·12h·
Discuss: Hacker News
🤖Network Automation
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Janet Feature Demos
github.com·21h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects