💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Python Fundamentals: @dataclass
dev.to·1d·
Discuss: DEV
💧Liquid Types
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Reflection and open implementations (2006)
dcc.uchile.cl·1d·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers
Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·2d
🔗Functional Compilers
Discover C++26’s compile-time reflection
lemire.me·18h·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🦀Rust Macros
brainfuck-rs: A Brainfuck AOT compiler written in Rust
reddit.com·11h·
Discuss: r/rust
🦀Rust Macros
Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models
mastra.ai·7h·
Discuss: Hacker News
🐛Fuzzing
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·15h·
Discuss: DEV
🧬Functional Programming
Scale APP using Dependency Inversion Principle
dev.to·13h·
Discuss: DEV
🧩WASM Modules
Logic App Http Connector with Swagger + C# Function App
dev.to·8h·
Discuss: DEV
🔐CBOR
Just some example work notes
dev.to·4h·
Discuss: DEV
💧Liquid Types
Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·8h·
Discuss: DEV
🦀Rust Borrowing
Experiment proposal: In-place initialization
github.com·5h
🦀Rust Macros
To Bind and Loose a Reference
thephd.dev·20h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing