24
1
Reading Note: Sequential-Parallel Duality in Prefix Scannable Models (ngrislain.github.io)
1
Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)
4
Don't Vibe – Prove (ngrislain.github.io)
1
Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (github.com/typednotes)
2
How to Die Optimally – A Theory of Consumption When AI Takes Your Job (ngrislain.github.io)
2
Lean Advent of Code 2025 (github.com/ngrislain)
1
Teaching 3D Geometry with Pyxel (ngrislain.github.io)
1
Mathematical Beauty, Truth and Proof in the Age of AI (quantamagazine.org)
1
Post-Labor Economics Lecture 01 [video] (youtube.com)
1
A Practical Method for Testing Differential Privacy – By Andi Cuko (medium.com/sarus)
31
Show HN: Value likelihoods for OpenAI structured output (arena-ai.github.io)
1
RAG with Differential Privacy (arxiv.org)
2
DP-RAG (medium.com/sarus)
1
Show HN: A simple implementation of Differentially Private RAG (github.com/sarus-tech)
2
Nostr – Wikipédia (wikipedia.org)
1
Enhancing May App Service Quality While Safeguarding Patients' Data (sarus.tech)
1
Qrlew SQL Framework (qrlew.github.io)
1
Lake Nyos Disaster (wikipedia.org)
2
Anonymization: The imperfect science of using data while preserving privacy (science.org)
1
Discovering New Knowledge While Protecting Privacy (sarus.tech)
2
Compiler-Driven Development in Rust [video] (youtube.com)
2
Beyond Few-Shot Learning: LLMs Excel in Synthetic Data Gen with Fine-Tuning (medium.com/sarus)
1
Quickly Generate Time-Series Synthetic Data with OpenAI's Fine-Tuning API (sarus.tech)
1
Private Synthetic Data for Generative AI (microsoft.com)
1
Pythagorean cups force their users to fill them in moderation (wikipedia.org)
9
A Philosophy of Software Design [pdf] (milkov.tech)
8
Show HN: Qrlew, simple SQL to SQL-with-privacy written in Rust (github.com/qrlew)
8
Rewrite your SQL to SQL-with-privacy using Qrlew (qrlew.github.io)
5