For Claude Code I'm rapidly switching anything I want "vibe coded" into Hadkell for code, Dhall for config, and check-heavy Nix for deploy. Between that and some property tests that I seed and then have Opus elaborate on, you can put Claude Code so restrictive that it just hits the compiler in a loop until useful code comes out. Its trapped: I hoist CLAUDE.md in from the Nix store so it physically can't edit out the brutal prompts around mocks and lies, and -Wall -Werror in GHC gives it nowhere to hide, all it can do is burn tokens and desperately Web Search tool until it gets it perfect ish or I cut off its money because this requires a real LLM minimum and likely a real programmer. If there's a property test welded into the type system it can't even fail to use a parameter: that's an error Claude.
I have a bunch of elisp in // hypermodern // emacs for things like OpenRouter integration and tool use, but frankly, stock gptel is so strong I always wonder if I'm getting my money's worth trying to tune it into the asymptote.
Happy to answer any more questions.
https://www.vox.com/2016/5/25/11779910/peter-thiel-gawker-hu...
If members of a reasonably technical community can't accept what's happening, then there's no reasonable hope that people will ever be able to reason about our situation correctly. We are surrounded by evidence of all varieties in every direction that we are heading down a path of catastrophic climate change, and yet people contort their logic to find ways not to see it.
You heard right, but that's because you won't get one at all from the any state DMV. The AAA is the only authorized entity allowed to issue IDPs in the USA. I wish I was making it up, because I'd rather go to my (excellent) DMV office than across town.
"The American Automobile Association (AAA) is the official organization authorized by the U.S. Department of State to issue IDPs" from https://www.usa.gov/international-drivers-license
It's easier than going to an AAA office. Slightly more expensive but worth it. They mail it to you quite quickly.