Y
Hacker News
new
|
ask
|
show
|
jobs
user:
ngrislain
created:
2019-02-08
karma:
82
Co-founder of Sarus Technologies (YC W22) Email: nicolas.grislain@gmail.com
YC Badge: 0x454a841da25d3ae21ab4a2b3e8495f663280ced8
submissions:
0 points
|
0 comments
Mamba-3 and the State Space Model Renaissance
1 points
|
0 comments
The Signature Method in Machine Learning (an interactive reading note)
1 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types
34 points
|
23 comments
Reading Note: Sequential-Parallel Duality in Prefix Scannable Models
2 points
|
0 comments
Show HN: Lean-pq a typesafe PostgreSQL connector for lean
2 points
|
1 comments
Don't Vibe – Prove
4 points
|
0 comments
Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI
1 points
|
0 comments
How to Die Optimally – A Theory of Consumption When AI Takes Your Job
2 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Lean Advent of Code 2025
1 points
|
2 comments
Teaching 3D Geometry with Pyxel
1 points
|
0 comments
Mathematical Beauty, Truth and Proof in the Age of AI
2 points
|
0 comments
Post-Labor Economics Lecture 01 [video]
2 points
|
0 comments
A Practical Method for Testing Differential Privacy – By Andi Cuko
1 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments