💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Literate testing with pytest-bashdoctest helps keep your Bash examples up-to-date
danielnouri.org·12h
📝Shell Parsing
Announcing coreboot 25.09 release
blogs.coreboot.org·1d
🔌Operating system internals
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.io·4h·
Discuss: Hacker News
🎮Gameboy Emulation
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·1d
🔄Reproducible Builds
Ship Broken Things
matmul.net·2d·
Discuss: Hacker News
🔗Topological Sorting
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·4d
🔗Parser Combinators
rule-router: I built a high-performance rule engine for NATS in Go
reddit.com·2d·
Discuss: r/golang
🌊Streaming Systems
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Static Bundle Object: Modernizing Static Linking
medium.com·4d·
Discuss: Hacker News, Hacker News
🔗Static Linking
OSD600: Lab 5
dev.to·1d·
Discuss: DEV
❄️Nix Flakes
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·5d
🎯Gradual Typing
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.com·2d
🔍Z3 Parsing
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com·1d
⬜Minimalism
Software Architecture Horror Story
blog.mihaisafta.com·17h·
Discuss: Hacker News
🔌Interface Evolution
Macros 2.0 is one of the most exciting Rust features I'm looking forward to
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
We didn't rewrite our feed handler in Rust
databento.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/cpp, r/rust
🦀Rust Borrowing
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
CReact - JSX for the Cloud
github.com·1d·
Discuss: Hacker News, r/compsci, r/htmx, r/javascript, r/node, r/programming, r/reactjs
🧱Immutable Infrastructure
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·1d·
Discuss: DEV
🕵️Feed Discovery