💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Devlog: Godot Game - A Trigger That Reveals Secrets
lmika.org·3h
🎯Proof Tactics
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·7h·
Discuss: Hacker News
🎮Gameboy Emulation
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·1d
🔄Reproducible Builds
AWS RDS Data API Deep Dive
proactiveops.io·14h·
Discuss: Hacker News
🌊Streaming Databases
Ship Broken Things
matmul.net·2d·
Discuss: Hacker News
🔗Topological Sorting
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·5d
🎯Gradual Typing
Closer to production quality Python notebooks with `marimo check`
marimo.io·4d·
Discuss: Hacker News
✅Archive Validation
Protobuf: Rust Generated Code Guide
protobuf.dev·4d
🦀Rust Macros
Making performant Python bindings to compiled code
kylebarron.dev·4d·
Discuss: Hacker News
🦀Rust Macros
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·1d·
Discuss: DEV
🕵️Feed Discovery
Show HN: OpenRun – Declarative web app deployment
github.com·11h·
Discuss: Hacker News
🔓Open Source Software
How to Reject a Pull Request
github.com·7h·
Discuss: Hacker News
💣ZIP Vulnerabilities
Stryker Mutator
github.com·12h·
Discuss: Hacker News
🔧Binary Parsers
The Conveyor Belt Protocol: Understanding Iterators
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Programmer in Wonderland
binaryigor.com·2d·
Discuss: Hacker News
🔩Systems Programming
The Hidden Power of ChatGPT Prompts Nobody Talks About
dev.to·2h·
Discuss: DEV
⚡Proof Automation
Enhanced Parasitic R/L Extraction in Die-Stacked ICs via Adaptive Finite Element Modeling and Bayesian Optimization
dev.to·5h·
Discuss: DEV
⚡Circuit Archaeology
From Clicks to Code: Building a Production‑Ready EVM Transaction Client (Approve, Mint, Swap, EIP‑1559)
dev.to·2d·
Discuss: DEV
✅Format Verification
The Rise of Reactive Backends That Adapt in Real Time
dev.to·21h·
Discuss: DEV
🌊Streaming Systems