HN Explorer

ngrislain

↗ HN profile [ 95.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 1 points 0
  2. Like Terraform, but in Lean 4 (ngrislain.github.io)
    1 points 2
  3. Language Models Are Anomaly Detectors (ngrislain.github.io)
    1 points 0
  4. LaSuite.coop (lasuite.coop)
    1 points 0
  5. Anomaly Detection with LLMs for Cybersecurity (ngrislain.github.io)
    1 points 0
  6. Investigate every security event with an AI agent, without the frontier bill (datadoghq.com)
    2 points 0
  7. Vibe Under Constraint - Claude Code writing Lean 4 (ngrislain.github.io)
    3 points 1
  8. Mamba-3 and the State Space Model Renaissance (ngrislain.github.io)
    1 points 0
  9. The Signature Method in Machine Learning (an interactive reading note) (ngrislain.github.io)
    1 points 0
  10. Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)
    34 points 23
  11. Reading Note: Sequential-Parallel Duality in Prefix Scannable Models (ngrislain.github.io)
    2 points 0
  12. 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
  13. Don't Vibe – Prove (ngrislain.github.io)
    4 points 0
  14. Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (github.com)
    1 points 0
  15. How to Die Optimally – A Theory of Consumption When AI Takes Your Job (ngrislain.github.io)
    2 points 0
  16. Lean Advent of Code 2025 (github.com)
    1 points 2
  17. Teaching 3D Geometry with Pyxel (ngrislain.github.io)
    1 points 0
  18. Mathematical Beauty, Truth and Proof in the Age of AI (quantamagazine.org)
    2 points 0
  19. Post-Labor Economics Lecture 01 [video] (youtube.com)
    2 points 0
  20. A Practical Method for Testing Differential Privacy – By Andi Cuko (medium.com)
    1 points 0
  21. Show HN: Value likelihoods for OpenAI structured output (arena-ai.github.io)
    114 points 41
  22. RAG with Differential Privacy (arxiv.org)
    2 points 0
  23. DP-RAG (medium.com)
    2 points 0
  24. Show HN: A simple implementation of Differentially Private RAG (github.com)
    2 points 0
  25. Nostr – Wikipédia (fr.wikipedia.org)
    2 points 1