💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Dependency thoughts
macwright.com·3d
🔗Dependency Resolution
Double Maths First Thing: Issue 2E
aperiodical.com·9h
👑Isabelle
The Signal Protocol Explained #1: Implementing the Post-Quantum Extended Diffie-Hellman (PQXDH) protocol in Rust
kerkour.com·10h·
Discuss: Hacker News
🔐Quantum Security
Surface-Based Peptide Design with Multi-Modal Flow Matching
openreview.net·2d·
Discuss: Hacker News
🕳️Persistent Homology
https://github.com/lldap/lldap
github.com·2d
🔒LDAP Security
Three Decades of OpenWindows (2024)
vcojot.blogspot.com·1d·
Discuss: Hacker News
🏠Homelab Archaeology
Zeitwerk: The Autoloader That Rails Deserves, but Not the One It Needs
rubystacknews.com·3h·
Discuss: Hacker News
🔗Static Linking
Elixir background jobs: choosing the right tool for the job
honeybadger.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
Synthetic Auth Report – Issue 003
syntheticauth.ai·18h·
Discuss: Hacker News
🛡Cybersecurity
What Does isinstance() Do in Python?
realpython.com·2d
🔤Type Theory
Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build·5d·
Discuss: Hacker News
📋Protocol Buffers
On Notifications
cacm.acm.org·2h
🔌Offline-first Apps
Comparison of MGR, SunView, OpenWindows and X11R6 (2022)
oldvcr.blogspot.com·2d·
Discuss: Hacker News
🕸️WASM Archives
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
arxiv.org·2d
🧮Constraint Solvers
The calculus of variations of the Transformer on the hyperspherical tangent bundle
arxiv.org·1d
🌀Differential Geometry
🐍 Top 51 Python Tasks Every Beginner Should Solve
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Beginner to Authorization: How do I deeply learn RBAC and ABAC for API/backend development?
reddit.com·9h·
Discuss: r/golang
🔐Capability Systems
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.org·1d
💻Programming languages
Four Powerful, New Features to Help You Build and Deploy More Efficient Apps On DigitalOcean Kubernetes
digitalocean.com·1d
🌊Streaming Systems
Machine Learning Fundamentals: federated learning
dev.to·2d·
Discuss: DEV
👁️Observatory Systems