💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Untitled (https://vanilla-extract.style/)
vanilla-extract.style·4d
🔧KAITAI
ClearFactr's back, spun out from Goldman
clearfactr.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Building a custom GUI app for my Hugo blog with Tauri
blog.notmyhostna.me·25m·
Discuss: Hacker News
📺Terminal UI
Voice AI for medical/premed students
codyliu.com·17h·
Discuss: Hacker News
🗣️CMU Pronouncing
Tool Poisoning Attacks in MCPs
blog.dailydoseofds.com·9h·
Discuss: Hacker News
🔓Hacking
When to use model distillation in production
inference.net·3d·
Discuss: Hacker News
💻Local LLMs
The Lost Path to Seniorhood
gizvault.com·1d·
Discuss: r/linux, r/opensource, r/programming
🐧FOSS
Solving the inference problem for open source AI projects with GitHub Models
github.blog·4d·
Discuss: Hacker News
🌀Brotli Internals
Why Reality Has a Well-Known Math Bias
linch.substack.com·3h·
Discuss: Substack
🔲Cellular Automata
Choosing the rijght .NET container image for your workload
medium.com·4d·
Discuss: Hacker News
📦Container Security
On zero-order consistency residue and background pressure for the conservative SPH fluid dynamics
arxiv.org·2d
🔗Tailscale
Introducing Flask-Nova: Zero-Boilerplate APIs with Docs & Type Safety
dev.to·4d·
Discuss: DEV
⚡Proof Automation
FinDPO: Financial Sentiment Analysis for Algorithmic Trading through Preference Optimization of LLMs
arxiv.org·2d
🔍BitFunnel
Ramírez’s Decade With Org Mode
irreal.org·1d
🐧FOSS
Show HN: Unied Lightweight Terminal Code and Text Editor with Advanced Commands
news.ycombinator.com·3d·
Discuss: Hacker News
📺Terminal UI
Using Data Engineering to Track Food Prices and Inflation in Kenya from 2006 to 2025
dev.to·4d·
Discuss: DEV
🤖Archive Automation
Gemini-Powered AI app in 3 prompts
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Cactus Language • Pragmatics 2
inquiryintoinquiry.com·1d
🔤Type Theory
🍕 Is Kimi K2 Actually Better Than Claude Sonnet 4 for Coding? ✨🤔
dev.to·4d·
Discuss: DEV
🎬WebCodecs API
Transform Before You Query: A Privacy-Preserving Approach for Vector Retrieval with Embedding Space Alignment
arxiv.org·2d
🧮Vector Embeddings