💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·2d
🦀Rust Verification
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·6h·
Discuss: Hacker News
🏛Digital humanities
Perennial Task Just Got More Flexible
arthurdick.com·15h·
Discuss: Hacker News
🦋Format Metamorphosis
Re-implementing the Nix protocol in Rust
tweag.io·3d·
Discuss: Hacker News
🔒Linear Types
What people said about an OpenZFS bug
despairlabs.com·22h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Row Polymorphic Programming
stranger.systems·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Helix Editor Release 25.07 Highlights
helix-editor.com·1d·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·23h·
Discuss: Hacker News
🌊Stream Processing
Azure's Inferno: Escape from API Hell
wallpunch.net·2h·
Discuss: Hacker News, r/programming
🔗Hypermedia APIs
Thesys React SDK: Turn LLM Responses into real time User Interfaces
dev.to·3h·
Discuss: DEV
🧩WASM Components
Kiro and the future of AI spec-driven software development
kiro.dev·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·1d·
Discuss: Hacker News
🌐WASI
Python Fundamentals: build
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·3d·
Discuss: Hacker News
🔗Functional Compilers
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·18h·
Discuss: Hacker News
🌀Brotli Internals
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.com·5h
🏭Compiler Backends
How to reason from first principles
caseyhandmer.wordpress.com·19h·
Discuss: Hacker News
🎯Proof Tactics
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·23h·
Discuss: Hacker News
🤖Network Automation
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·1d·
Discuss: r/golang
🦀Rust Verification
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·2d·
Discuss: Hacker News
🔌Interface Evolution