💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·4h·
Discuss: Hacker News
🌀Brotli Internals
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·7h
📋Protocol Buffers
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
The Guide to the Foundation Models Framework
azamsharp.com·33m·
Discuss: Hacker News
λLambda Formalization
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·5h·
Discuss: Hacker News
🧩WASM Modules
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·3h·
Discuss: Hacker News, r/programming
🔗Lisp
Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·5d
🔗Functional Compilers
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
simplex-chat/simplexmq
github.com·12h
🔌Interface Evolution
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Build Multi-Agent Apps with OpenAI’s Agent SDK
towardsdatascience.com·21h
🌊Streaming Systems
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers