| 1. | | Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io) |
| 34 points by ngrislain 9 days ago | past | 23 comments |
|
| 2. | | Reading Note: Sequential-Parallel Duality in Prefix Scannable Models (ngrislain.github.io) |
| 2 points by ngrislain 17 days ago | past |
|
| 3. | | Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes) |
| 2 points by ngrislain 19 days ago | past | 1 comment |
|
| 4. | | Don't Vibe – Prove (ngrislain.github.io) |
| 4 points by ngrislain 21 days ago | past |
|
| 5. | | Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (github.com/typednotes) |
| 1 point by ngrislain 37 days ago | past |
|
| 6. | | How to Die Optimally – A Theory of Consumption When AI Takes Your Job (ngrislain.github.io) |
| 2 points by ngrislain 41 days ago | past |
|
| 7. | | Lean Advent of Code 2025 (github.com/ngrislain) |
| 1 point by ngrislain 4 months ago | past | 2 comments |
|
| 8. | | Teaching 3D Geometry with Pyxel (ngrislain.github.io) |
| 1 point by ngrislain 4 months ago | past |
|
| 9. | | Mathematical Beauty, Truth and Proof in the Age of AI (quantamagazine.org) |
| 2 points by ngrislain 10 months ago | past |
|
| 10. | | Post-Labor Economics Lecture 01 [video] (youtube.com) |
| 2 points by ngrislain 10 months ago | past |
|
| 11. | | A Practical Method for Testing Differential Privacy – By Andi Cuko (medium.com/sarus) |
| 1 point by ngrislain on Jan 21, 2025 | past |
|
| 12. | | Show HN: Value likelihoods for OpenAI structured output (arena-ai.github.io) |
| 115 points by ngrislain on Jan 14, 2025 | past | 42 comments |
|
| 13. | | RAG with Differential Privacy (arxiv.org) |
| 2 points by ngrislain on Jan 10, 2025 | past |
|
| 14. | | DP-RAG (medium.com/sarus) |
| 2 points by ngrislain on Jan 10, 2025 | past |
|
| 15. | | Show HN: A simple implementation of Differentially Private RAG (github.com/sarus-tech) |
| 2 points by ngrislain on Jan 10, 2025 | past |
|
| 16. | | Nostr – Wikipédia (wikipedia.org) |
| 2 points by ngrislain on Jan 5, 2025 | past | 1 comment |
|
| 17. | | Enhancing May App Service Quality While Safeguarding Patients' Data (sarus.tech) |
| 2 points by ngrislain on Dec 10, 2024 | past |
|
| 18. | | Qrlew SQL Framework (qrlew.github.io) |
| 1 point by ngrislain on Dec 10, 2024 | past |
|
| 19. | | Lake Nyos Disaster (wikipedia.org) |
| 2 points by ngrislain on Nov 8, 2024 | past |
|
| 20. | | Anonymization: The imperfect science of using data while preserving privacy (science.org) |
| 3 points by ngrislain on July 18, 2024 | past | 1 comment |
|
| 21. | | Discovering New Knowledge While Protecting Privacy (sarus.tech) |
| 1 point by ngrislain on July 18, 2024 | past |
|
| 22. | | Compiler-Driven Development in Rust [video] (youtube.com) |
| 2 points by ngrislain on June 17, 2024 | past |
|
| 23. | | Beyond Few-Shot Learning: LLMs Excel in Synthetic Data Gen with Fine-Tuning (medium.com/sarus) |
| 3 points by ngrislain on June 3, 2024 | past |
|
| 24. | | Quickly Generate Time-Series Synthetic Data with OpenAI's Fine-Tuning API (sarus.tech) |
| 1 point by ngrislain on June 3, 2024 | past |
|
| 25. | | Private Synthetic Data for Generative AI (microsoft.com) |
| 1 point by ngrislain on May 31, 2024 | past |
|
| 26. | | Pythagorean cups force their users to fill them in moderation (wikipedia.org) |
| 2 points by ngrislain on May 18, 2024 | past |
|
| 27. | | Show HN: Qrlew, simple SQL to SQL-with-privacy written in Rust (github.com/qrlew) |
| 15 points by ngrislain on March 27, 2024 | past | 6 comments |
|
| 28. | | Rewrite your SQL to SQL-with-privacy using Qrlew (qrlew.github.io) |
| 7 points by ngrislain on March 27, 2024 | past | 2 comments |
|
| 29. | | Advances in GenAI change the game for differential privacy (sarus.tech) |
| 7 points by ngrislain on Sept 29, 2023 | past |
|
| 30. | | Distributed ML with Dask and Kubernetes on GCP (medium.com/sarus) |
| 1 point by ngrislain on Sept 15, 2021 | past | 1 comment |
|
|
| More |
