💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Researchers mimic cell membranes to tune ion transport in artificial water filters
phys.org·6h
⚛️Information Physics
Coding with LLMs in the summer of 2025 (an update)
simonwillison.net·23h
💧Liquid Types
Introducing XMLUI
blog.jonudell.net·2d·
Discuss: Lobsters, Hacker News, Hacker News
🦋Format Metamorphosis
A curated directory for developers to discover and showcase tech products
devhub.best·23h·
Discuss: Hacker News
🔓Open Source Software
Moonshot's Kimi K2 Is a Hefty Contender to Claude, GPT-4 & Even Gemini
hackernoon.com·1d
🎬WebCodecs
Using Claude Code as a Personal Tutor
jimmymeetsworld.com·7h·
Discuss: Hacker News
🌳Incremental Parsing
How I keep up with AI research
thijsverreck.com·11h·
Discuss: Hacker News
🧭Content Discovery
Convert HTML and CSS to SVG
github.com·14m·
Discuss: Hacker News
📸PNG Optimization
GoXStream: My Go Stream Processing Side Project
reddit.com·2d·
Discuss: r/golang
🌊Streaming Systems
Wrote a tiny FSM library in Go for modeling stateful flows (bots, games, workflows)
reddit.com·4d·
Discuss: r/golang
🎯Gradual Typing
Stop Writing Slow Rust: 20 Rust Tricks That Changed Everything
dev.to·2d·
Discuss: DEV
🦀Rust Macros
I Built an AI That Learns Your Coding Style (VS Code Extension That Reads Your GitHub DNA)
dev.to·7h·
Discuss: DEV
🔄Language Evolution
Intuitionistic monotone modal logic via translation
arxiv.org·22h
🏗️Constructive Mathematics
Machine Learning Fundamentals: ensemble learning example
dev.to·2d·
Discuss: DEV
🌊Stream Processing
⚡ Hogwarts Spell Caster: Real-Time Voice Magic with AssemblyAI Universal-Streaming
dev.to·1d·
Discuss: DEV
🎙️Whisper
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.com·1d·
Discuss: Hacker News
🔌Operating system internals
Machine Learning Fundamentals: ensemble learning tutorial
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Almost Always Auto (2013)
herbsutter.com·4d·
Discuss: Hacker News
🔒Type Safety
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.com·2d·
Discuss: Hacker News, r/C_Programming
🔗Static Linking
Show HN: Open-source DevOps agent in Rust to secure and manage production infra
github.com·17h·
Discuss: Hacker News
📦Container Security