Search: github.com/ngrislain | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Lean Advent of Code 2025 (github.com/ngrislain)

1 point

6 months ago

2.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)

2 points

3 months ago

3.

Show HN: Qrlew, simple SQL to SQL-with-privacy written in Rust (github.com/Qrlew)

15 points

2 years ago

4.

Clean implementations in TF2 of recent generative models – by Sarus Tech (github.com/sarus-tech)

2 points

6 years ago

5.

Show HN: A simple implementation of Differentially Private RAG (github.com/sarus-tech)

2 points

a year ago

6.

Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (github.com/typednotes)

1 point

3 months ago