💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Pictures of Models folded by Shuzo Fujimoto from Roberto Morassi’s Collection
origami.kosmulski.org·13h
📖Nordic Typography
"It could easily be shown..." Probability and Pi and the Riemann Zeta Function
pballew.blogspot.com·5h·
Discuss: www.blogger.com
⚔️Lean Theorem
Week 29 – 2025
thisweekin4n6.com·22h
🔍Binary Forensics
Learn To Love the Command-Line Interface With Agentic LLMs
thenewstack.io·1d
🔩Systems Programming
Rumble in the jungle: APT41’s new target in Africa
securelist.com·3h
🎫Kerberos Exploitation
Portable Forensics with Toby: A Raspberry Pi Toolkit
bakerstreetforensics.com·14h·
Discuss: Hacker News
💾Disk Utilities
Machine Learning Fundamentals: ensemble learning tutorial
dev.to·19h·
Discuss: DEV
🌊Stream Processing
Almost Always Auto (2013)
herbsutter.com·4d·
Discuss: Hacker News
🔒Type Safety
DENSE: Longitudinal Progress Note Generation with Temporal Modeling of Heterogeneous Clinical Notes Across Hospital Visits
arxiv.org·7h
📈Time Series
How to write Rust in the Linux kernel: part 3
lwn.net·2d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
An Introduction to GPU Profiling and Optimization
bitsand.cloud·1d·
Discuss: Hacker News, r/programming
📊Performance Profiling
Give your AI agent superpowers with MCP
dev.to·2h·
Discuss: DEV
🔌Interface Evolution
Learning Deformable Body Interactions With Adaptive Spatial Tokenization
arxiv.org·7h
🌀Differential Geometry
Why We Develop EloqDB Mainly in C++
eloqdata.com·3d·
Discuss: Hacker News
🦀Rust Borrowing
Walking You Through WASI Support in Go
hackernoon.com·23h
🌐WASI
Complete Beginner's Guide to GenAI Development: From Python to Production-Ready AI Agents
dev.to·18h·
Discuss: DEV
🌳Context free grammars
Anthony Scopatz on xonsh and shells in general (2015)
johndcook.com·1d·
Discuss: Hacker News
🐚Shell Calculus
**Essential Python Security Practices: Advanced Techniques to Protect Your Applications from Threats**
dev.to·13h·
Discuss: DEV
🛡️WASM Security
What is an Entity Component System architecture for game development? (2012)
richardlord.net·2d·
Discuss: Hacker News
🔒WASM Capabilities
I built an MCP server for observability, here's my unhyped take
signoz.io·1d·
Discuss: Hacker News
🛡️Error Boundaries