💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Extracting and Cracking NTLMv1 Hashes
infosecwriteups.com·19h
🎯NTLM Attacks
Beast X for Bayesian phylogenetic, phylogeographic and phylodynamic inference
nature.com·2h·
Discuss: Hacker News
🧬Bitstream Evolution
Quadratic Forms Beyond Arithmetic
ams.org·2d·
Discuss: Hacker News
🔱Galois Theory
Vibe-Coding AI "Panicks" and Deletes Production Database
xcancel.com·2h·
Discuss: r/programming
🌀Brotli Internals
NIH Is Far Cheaper Than The Wrong Dependency
lewiscampbell.tech·3d·
Discuss: Lobsters, Hacker News, r/programming
📏Code Metrics
Integrating Python with MySQL Databases: An Introduction and Practical Guide
dev.to·8h·
Discuss: DEV
🗄️Database Internals
Unexpected inconsistency in records
codeblog.jonskeet.uk·1d·
Discuss: Hacker News
🛡️Proof-Carrying Archives
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
A Rust Shaped Hole
mnvr.in·5d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·2d
🛡️Proof-Carrying Archives
Make things that are easy to delete
medium.com·1d·
Discuss: Hacker News
💾Persistence Strategies
PostgreSQL Schema Management via Source Files
github.com·1d·
Discuss: Hacker News
🔄Schema Evolution
Async Without the Headache: Meet areq, the Drop-In Replacement for Python’s Requests
hackernoon.com·2d
⚡gRPC
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·2d·
Discuss: Hacker News
🗂️Vector Databases
Generating Production-Ready MCP Servers
withcoherence.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Rust Clippy performance status update
blog.goose.love·9h·
Discuss: Hacker News
🦀Rust Macros
Learn To Love the Command-Line Interface With Agentic LLMs
thenewstack.io·1d
🔩Systems Programming
Complete Beginner's Guide to Building AI Agents with LangChain and LangGraph
dev.to·7h·
Discuss: DEV
🔗Constraint Handling
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·4d
🤝Distributed Consensus
Go's Last Words on Error Handling Syntax
dev.to·1d·
Discuss: DEV
📜Proof Carrying Code