💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

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·22h·
Discuss: Hacker News
🔲Cellular Automata
ramalama/mesa : benchmarks on my hardware and open source vs proprietary
airlied.blogspot.com·2d·
Discuss: airlied.blogspot.com, Hacker News
📊Performance Profiling
Bring Your Own MCP
jonwoodlief.com·3d·
Discuss: Hacker News
⚡gRPC
Performance of Threads vs. Processes
medium.com·1d·
Discuss: Hacker News
⚡Performance Tools
#28: Sovereignty in the Age of LLMs
loeber.substack.com·2d·
Discuss: Substack
💻Local LLMs
Technical approach for classifying human-AI interactions at scale
microsoft.com·3d·
Discuss: Hacker News
🌀Brotli Internals
AI setup wizard for installing packages into the codebase
github.com·22h·
Discuss: Hacker News
📦Package Managers
🍕 Is Kimi K2 Actually Better Than Claude Sonnet 4 for Coding? ✨🤔
dev.to·4d·
Discuss: DEV
🎬WebCodecs API
Gemini-Powered AI app in 3 prompts
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Cactus Language • Pragmatics 2
inquiryintoinquiry.com·1d
🔤Type Theory
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
Clipper: Orchestrating Amazon Q with Algolia MCP for Read-Later Link Management
dev.to·1d·
Discuss: DEV
🌀Brotli Dictionary
Machine Learning Workflow for Analysis of High-Dimensional Order Parameter Space: A Case Study of Polymer Crystallization from Molecular Dynamics Simulations
arxiv.org·2d
🌀Differential Geometry
Back-end Design Patterns in Rails Eliminate Bloated Code!
blog.codeminer42.com·4d
📦CBOR Extensions
📈 Code quality improvement after switching to workflow optim
dev.to·7h·
Discuss: DEV
⚙️Batch Processing
Building Event-Driven Architecture with MSK and Lambda: The Python Developer's Guide to Not Shooting Yourself in the Foot
dev.to·4d·
Discuss: DEV
🌊Apache Kafka