For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)
2 points by ngrislain 38 days ago | past | 1 comment
Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (github.com/typednotes)
1 point by ngrislain 56 days ago | past

Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You