HN Explorer

ngrislain

↗ HN profile [ 569 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Lean 4.35.0 (2026-10-12) (lean-lang.org)
    1 points 0
  2. 1 points 0
  3. Like Terraform, but in Lean 4 (ngrislain.github.io)
    1 points 2
  4. Language Models Are Anomaly Detectors (ngrislain.github.io)
    1 points 0
  5. LaSuite.coop (lasuite.coop)
    1 points 0
  6. Anomaly Detection with LLMs for Cybersecurity (ngrislain.github.io)
    1 points 0
  7. Investigate every security event with an AI agent, without the frontier bill (datadoghq.com)
    2 points 0
  8. Vibe Under Constraint - Claude Code writing Lean 4 (ngrislain.github.io)
    3 points 1
  9. Mamba-3 and the State Space Model Renaissance (ngrislain.github.io)
    1 points 0
  10. The Signature Method in Machine Learning (an interactive reading note) (ngrislain.github.io)
    1 points 0
  11. Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)
    34 points 23
  12. Reading Note: Sequential-Parallel Duality in Prefix Scannable Models (ngrislain.github.io)
    2 points 0
  13. Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com)

    I’ve been building lean-pq, a PostgreSQL connector for Lean 4. While Lean is primarily known for theorem proving, I believe its dependent-types and formal verification features make it the ideal target for AI Agents to…

    2 points 1
  14. Don't Vibe – Prove (ngrislain.github.io)
    4 points 0
  15. Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (github.com)
    1 points 0
  16. How to Die Optimally – A Theory of Consumption When AI Takes Your Job (ngrislain.github.io)
    2 points 0
  17. Lean Advent of Code 2025 (github.com)
    1 points 2
  18. Teaching 3D Geometry with Pyxel (ngrislain.github.io)
    1 points 0
  19. Mathematical Beauty, Truth and Proof in the Age of AI (quantamagazine.org)
    2 points 0
  20. Post-Labor Economics Lecture 01 [video] (youtube.com)
    2 points 0
  21. A Practical Method for Testing Differential Privacy – By Andi Cuko (medium.com)
    1 points 0
  22. Show HN: Value likelihoods for OpenAI structured output (arena-ai.github.io)
    114 points 41
  23. RAG with Differential Privacy (arxiv.org)
    2 points 0
  24. DP-RAG (medium.com)
    2 points 0
  25. Show HN: A simple implementation of Differentially Private RAG (github.com)
    2 points 0