ngrislain
Joined 7 years ago
Karma
91
Submissions
81
Member since
Feb 8
Recent submissions
Comment · 1 month ago
Thank you, yes, absolutely, and it's also the perfect language for an AI agents. The more refined the type system, the tighter the feedback loop for the agent.
Comment · 2 months ago
I have been using https://www.passwordstore.org/ for 10 years and am super happy with it.
It does not provide all the convenient integrations of 1Password though.
Comment · 4 months ago
Vibe coding is great. You describe what you want, the agent writes it, the tests pass, you ship. It keeps working right up to the moment it does not: the job gets killed by the OOM reaper in production, or it opens ten thousand file descriptors and falls over, or it runs fine on the sample and melts on the real dataset.
Comment · 5 months ago
100%, I’ve been writting: Rust, Haskell and Lean 4 with great success with AI. E.g. https://github.com/typednotes/hale
Comment · 7 months ago
Yes the user has to be cooperative somehow.
You could emulate linear/affine types like features with indexed monads though.
YC Badge: 0x454a841da25d3ae21ab4a2b3e8495f663280ced8