💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

On systematic construction of correct logic programs
arxiv.org·3h
⚖️Hoare Logic
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·14h·
Discuss: DEV
🔒Type Safety
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·12h·
Discuss: Hacker News
🔱Galois Cryptography
Stable, Mutable References for Ante
antelang.org·17h·
Discuss: Hacker News, r/programming
🔒Type Safety
The Lobster Programming Language
strlen.com·11h·
Discuss: Hacker News
🔗Concatenative Programming
FLINT: Fast Library for Number Theory
flintlib.org·12h
🧮Algebraic Datatypes
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Teaching programming languages
kmjn.org·19h
💻Programming languages
Mojo Vision
docs.modular.com·2h·
Discuss: Hacker News
🔩Systems Programming
Structural vs. Mathematical “Under” (2023)
dyalog.com·6h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Claude Code's 19 cent Parser
blogger.com·18h
🔧Binary Parsers
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·17h·
Discuss: Hacker News
⚡Hardware Transactional Memory
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Builder Pattern in CDK
medium.com·11h·
Discuss: Hacker News
🧱Immutable Infrastructure
Status Week 34
blogs.gnome.org·5h
❄️Nix Flakes
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Song recommendations with F# free monads
blog.ploeh.dk·23h
🔗Functional Compilers
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·14h·
Discuss: Lobsters, Hacker News, r/programming
🛡️Proof-Carrying Data