💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

"Not created by man"
languagelog.ldc.upenn.edu·22h
🧮Prolog Parsing
Artificial intelligence: Vibe coding service Replit deletes production database
heise.de·1d
🧮Z3 Solver
Getting Into Flow State with Agentic Coding
kau.sh·3d
⚡Proof Automation
H2, the Java SQL Database
h2database.com·1d·
Discuss: Hacker News
🗄️Database Internals
The Hidden Lessons in a re-frame App
lambdaisland.com·2d
🧩WASM Components
Visualizing TCP
research.swtch.com·19m·
Discuss: Hacker News
📡Network Archaeology
Saturday Citations: Hot, hot gold; mechanisms of face recognition; first pathway of gut-brain communication
phys.org·9h
🌡️Preservation Physics
AI coding agent one-shot challenge with Amp, Claude Code and Gemini
unknwon.io·3d·
Discuss: Hacker News
⚡Proof Automation
Testing an Event Ingestion Service: A Deep Dive into Our Approach
blog.scottlogic.com·2d·
Discuss: Hacker News
👁️Observatory Systems
Turn email into events – Scheduling straight from your inbox
github.com·2d·
Discuss: Hacker News
⚡gRPC
🍕 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·23h·
Discuss: DEV
🌀Brotli Dictionary
Transform Before You Query: A Privacy-Preserving Approach for Vector Retrieval with Embedding Space Alignment
arxiv.org·1d
🧮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·1d·
Discuss: Hacker News
🦋Format Metamorphosis
10xA11y Dev with Algolia Search
dev.to·14h·
Discuss: DEV
🌐Federated Search
Add AI coding assistant configuration to Linux kernel
lore.kernel.org·14h·
Discuss: Hacker News
🌳Incremental Parsing
Machine Learning Workflow for Analysis of High-Dimensional Order Parameter Space: A Case Study of Polymer Crystallization from Molecular Dynamics Simulations
arxiv.org·1d
🌀Differential Geometry
Back-end Design Patterns in Rails Eliminate Bloated Code!
blog.codeminer42.com·4d
📦CBOR Extensions
💡 Supercharge Your Git Workflow with AI — Introducing ai-git-cli (Open for Contributions!)
dev.to·1d·
Discuss: DEV
🌳Git Internals