💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Extensions and Shadows (7)
sites.psu.edu·1d
🧮Kolmogorov Complexity
Display Next Hackfest 2025
zamundaaa.github.io·4h
🖥️Modern Terminals
Common Expression Language – Fast, safe expression language
cel.dev·13h·
Discuss: Hacker News
✅Format Verification
Vintage computing boffin releases expansive Intel 286 test suite
theregister.com·1d·
Discuss: r/hardware
🎯Emulation Accuracy
What makes SQL special
technicaldeft.com·9h·
Discuss: Hacker News, r/SoftwareEngineering, r/programming
⛏️SQL Archaeology
better-auth/better-auth
github.com·1d
🔒WASM Capabilities
How I keep up with AI research
thijsverreck.com·1d·
Discuss: Hacker News
🧭Content Discovery
A Wide Reduction Trick (2022)
words.filippo.io·5d·
Discuss: Lobsters, Hacker News, r/programming
🌳Archive Merkle Trees
Show HN: An Intuitive Go Library for Handling Complex Permission/RBAC
github.com·3d·
Discuss: Hacker News, r/golang
🔐Capability Systems
🔐 FastAPI JWT Authentication with SQLite Database for Secure APIs
dev.to·2d·
Discuss: DEV
🧩SQLite Extensions
Language Integration in Fine-Tuning Multimodal Large Language Models for Image-Based Regression
arxiv.org·15h
🎙️Whisper
Machine Learning Fundamentals: ensemble learning
dev.to·3d·
Discuss: DEV
🎵Audio ML
Figgie Auto: An algorithmic sandbox for Jane Street's game, "Figgie"
github.com·5h·
Discuss: Hacker News
🔲Cellular Automata
Polynomial argmin for recovery and approximation of multivariate discontinuous functions
arxiv.org·15h
📐Error Bounds
The evolution of code review practices in the world of AI
packagemain.tech·6h·
Discuss: Hacker News, r/webdev
🔄Language Evolution
Revolutionizing Novel Writing: Introducing novelWriter
dev.to·5h·
Discuss: DEV
📝Concrete Syntax
Moonshot's Kimi K2 Is a Hefty Contender to Claude, GPT-4 & Even Gemini
hackernoon.com·1d
🎬WebCodecs
Assessing the Reliability of Large Language Models for Deductive Qualitative Coding: A Comparative Study of ChatGPT Interventions
arxiv.org·15h
📝ABNF Parsing
The Holy Shit Gap
mhlakhani.com·10h·
Discuss: Hacker News
📏Code Metrics
10 Shots at Building AI
thejackobrien.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms