💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Codeminer42 Dev Weekly #82
blog.codeminer42.com·6h
🎯Gradual Typing
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
💎Information Crystallography
Re-factoring a large Flask template to accommodate Jinja and AI coding
circusscientist.com·1d
🌀Brotli Internals
Item Patterns and Struct Await
noratrieb.dev·17h·
Discuss: Hacker News
🦀Rust Macros
Lobsters Interview with Zdsmith
lobste.rs·17h·
Discuss: Lobsters
🔗Concatenative Programming
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·9h·
Discuss: Hacker News
🔓Open Source Software
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
rust-lang/rustfmt
github.com·21h
🦀Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
JVM stack is about to be massively modernized
medium.com·5h·
Discuss: Hacker News
🔗Dependency Resolution
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
💧Liquid Types
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
Go and PocketBase: Shortified!
dev.to·2d·
Discuss: DEV
⚡gRPC
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·15h·
Discuss: Hacker News
✨Effect Handlers
PHP's New URI Extension
thephp.foundation·11h·
Discuss: Hacker News
🌐Web Standards
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🔗Concatenative Programming