💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Writing HTML, Writing the Web, Righting the Web
cogdogblog.com·15h
🚀Indie Hacking
Introducing ERNIE 4.5-21B-A3B-Base
digitalocean.com·2d
🌀Brotli Internals
The three generations of AI coding tools, and what to expect through the rest of 2025
techradar.com·8h
🔄Language Evolution
XSLT: A Precision Tool for the Future of Structured Transformation
xml.com·3d·
Discuss: Hacker News
📋Document Grammar
How to Make a Font That Says Nothing
untested.sonnet.io·14h·
Discuss: Hacker News
📟Terminal Typography
The End Is Nigh, for the Beta Days for Reticulum
unsigned.io·1d·
Discuss: Hacker News
🌀Brotli Internals
Show HN: Zest – AI Agents for Slack
customer-d547k9rahyss1dfy.cloudflarestream.com·22h·
Discuss: Hacker News
🌀Brotli Internals
SQLite Sync – local-first SQLite extension with built-in network layer
github.com·9h·
Discuss: Hacker News
💾SQLite
Reacting to Andrej Karpathy's Talk, "Software Is Changing (Again)"
erdiizgi.com·7h·
Discuss: Hacker News
🔄Language Evolution
Doubly transitive equiangular tight frames that contain regular simplices
arxiv.org·2d
🌀Differential Geometry
Top AI Agent Protocols for Developers in 2025
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Dev Diary - Summarize Your Code. Reflect Your Progress
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Development and Deployment of Hybrid ML Models for Critical Heat Flux Prediction in Annulus Geometries
arxiv.org·2d
🧠Machine Learning
AI is Eating Developer Experience
aviator.co·10h·
Discuss: Hacker News, r/programming
🔄Language Evolution
Application of Whisper in Clinical Practice: the Post-Stroke Speech Assessment during a Naming Task
arxiv.org·18h
🎙️Whisper
Top 10 Tech Stacks Used by Leading AI Chatbot Development Companies Today
dev.to·11h·
Discuss: DEV
🎙️Whisper
Patching your Homebrew's Emacs Plus (macOS)
lmno.lol·1d
🍎XNU Internals
AtrousMamaba: An Atrous-Window Scanning Visual State Space Model for Remote Sensing Change Detection
arxiv.org·1d
📐Projective Geometry
Exploiting the Overlooked: From Regex Bypasses to Full Source Code Leaks
infosecwriteups.com·11h
💣ZIP Vulnerabilities
The Dangers of Vibe Coding Part 1: Premature Optimization
dev.to·1d·
Discuss: DEV
⚡Effectful Programming