💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
🔗Functional Compilers
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
💧Liquid Types
Death to Type Classes
jappie.me·6h·
Discuss: Hacker News
🧠Lisp Dialects
From SQL to Python: Uniting Stored Power with Functional Flexibility
dev.to·4h·
Discuss: DEV
🧮Datalog
GHC Developer Blog: GHC 9.14.1-alpha2 is now available
haskell.org·18h
🔗Functional Compilers
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
🔤Type Theory
Why can’t std::apply figure out which overload I intend to use? Only one of then will work!
devblogs.microsoft.com·1d
🔬Refinement Types
NightMARE on 0xelm Street, a guided tour
elastic.co·18h
🧪Binary Fuzzing
Choosing Rust for LLM-generated code
runmat.org·34m·
Discuss: Hacker News
🦀Rust Macros
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·1d·
Discuss: Hacker News
🔍Concolic Testing
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
🔗Lisp
How Sui Move rethinks flash loan security
blog.trailofbits.com·2d
⚡Hardware Transactional Memory
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·1d
💻Local LLMs
Architecting Resilient LLM Agents: A Guide to Secure Plan-then-Execute Implementations
arxiv.org·1d
🔒Language-based security
DHH is immortal, and costs $200M
danieltenner.com·4h·
Discuss: Hacker News
👑Isabelle
Automating multi-language SDK doc generation with testable code snippets
docs.hatchet.run·19h·
Discuss: Hacker News
🔄Language Evolution
[P] Semlib: LLM-powered Data Processing
reddit.com·1d·
Discuss: r/MachineLearning
🌀Brotli Internals
mpaland/printf
github.com·16h
✅Format Verification
What's new in Kotlin 2.2.20
kotlinlang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔬Refinement Types
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·22h
🔗Concatenative Programming