💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

v4.0 Beta 1 Now Available
shirtpocket.com·1d·
Discuss: Hacker News
🏺ZIP Archaeology
Laravel and Admiral: The Internal Admin Stack We Wish We Had Sooner
dev.family·2d·
Discuss: Hacker News
🔌Interface Evolution
Generic Containers in C: Vec
uecker.codeberg.page·4d·
Discuss: Hacker News
🔒Type Safety
Philosopher–Builder Summer Reads
blog.cosmos-institute.org·20h·
Discuss: Hacker News
🔲Cellular Automata
Everything I've Learned so far About OpenAI's Agents
leonfurze.com·17h·
Discuss: Hacker News
🔓Open Source Software
Tackling the AI-Fueled API Explosion With Visibility
devops.com·1d
🔌Interface Evolution
Using Fortune to Reinforce Habits
judy.co.uk·1d·
Discuss: Lobsters, Hacker News
🪟Awesome windows command-line
A front end love story
tobiasuhlig.medium.com·3d·
Discuss: Hacker News
🌐WASI
Technical approach for classifying human-AI interactions at scale
microsoft.com·3d·
Discuss: Hacker News
🌀Brotli Internals
Gemini-Powered AI app in 3 prompts
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Cactus Language • Pragmatics 2
inquiryintoinquiry.com·21h
🔤Type Theory
Ramírez’s Decade With Org Mode
irreal.org·22h
🐧FOSS
Show HN: Unied Lightweight Terminal Code and Text Editor with Advanced Commands
news.ycombinator.com·3d·
Discuss: Hacker News
📺Terminal UI
🍕 Is Kimi K2 Actually Better Than Claude Sonnet 4 for Coding? ✨🤔
dev.to·3d·
Discuss: DEV
🎬WebCodecs API
Clipper: Orchestrating Amazon Q with Algolia MCP for Read-Later Link Management
dev.to·1d·
Discuss: DEV
🌀Brotli Dictionary
📈 Code quality improvement after switching to workflow optim
dev.to·4h·
Discuss: DEV
⚙️Batch Processing
Transform Before You Query: A Privacy-Preserving Approach for Vector Retrieval with Embedding Space Alignment
arxiv.org·2d
🧮Vector Embeddings
🛠️ Setting Up Fusio as an API Gateway for CRM & LLM Microservices
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Writing experience: My decade with Org
xenodium.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
10xA11y Dev with Algolia Search
dev.to·1d·
Discuss: DEV
🌐Federated Search