💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.com·8h·
Discuss: www.blogger.com
📐Linear Algebra
Rabbit Teeth
kaiwenwang.com·1d·
Discuss: Hacker News
🗜️LZW Variants
AIDE – a file and directory integrity checker
aide.github.io·2h·
Discuss: Hacker News
🏺ZIP Archaeology
Designing The Conveyor CI Pipeline Engine
blog.devops.dev·3d
🌊Stream Processing
Exploiting zero days in abandoned hardware
blog.trailofbits.com·13h·
Discuss: Hacker News
🔒Secure Boot
Fast LoRA inference for Flux with Diffusers and PEFT
huggingface.co·3d·
Discuss: Hacker News
⚡Performance Mythology
My Heroku Values (2015)
brandur.org·23h·
Discuss: Hacker News
🌳Git Internals
ICML 2025 Outstanding Paper Awards
icml.cc·2d·
Discuss: Hacker News
🧠Machine Learning
The Mythical Machine-Month Paradox – How much could AI change programming?
tucson-josh.com·6h·
Discuss: Hacker News
📏Code Metrics
Understanding Prompt Programming Tasks and Questions
arxiv.org·1d
🔗Concatenative Programming
Nonlinear Framework for Speech Bandwidth Extension
arxiv.org·2d
👁️Perceptual Coding
What Vibe Coding Actually Looks Like for a Senior Engineer
dev.to·1d·
Discuss: DEV
⚡Proof Automation
ChatGPT Agents are useless, Deep Dive into the World of ChatGPT Agents 🤖
dev.to·15h·
Discuss: DEV
⚡Proof Automation
Benefits and pitfalls of Vibe coding: navigating the AI-assisted era
dev.to·1d·
Discuss: DEV
✨Effect Handlers
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.com·3d·
Discuss: Hacker News
🔗Concatenative Programming
🚀 Qwen3‑Coder + Qwen Code CLI: A Powerful Open Source Alternative to Claude for Developers
dev.to·14h·
Discuss: DEV
🔓Open Source Software
PDB-Eval: An Evaluation of Large Multimodal Models for Description and Explanation of Personalized Driving Behavior
arxiv.org·20h
🌀Differential Geometry
Performance implications of unchecked functions like unwrap_unchecked, unreachable, etc.
reddit.com·3d·
Discuss: r/rust
🔒Type Safety
Building Code Craft in 6 Days: My AI Hackathon Journey with Bolt
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
10 Best AI App Builders in 2025
dev.to·11h·
Discuss: DEV
🌀Brotli Internals