It's such a LLM providers fail that you can't quickly and easily get a temp api key with hard spending limit. I want gift cards for api keys.
November 20, 2025 at 4:05 PM
It's such a LLM providers fail that you can't quickly and easily get a temp api key with hard spending limit. I want gift cards for api keys.
Cedar uses it as an executable spec for testing aws.amazon.com/blogs/openso...
Lean Into Verified Software Development | Amazon Web Services
We built a formal model of Cedar in Lean, and proved that Cedar’s components satisfy key safety and security properties.
aws.amazon.com
August 30, 2025 at 6:43 PM
Cedar uses it as an executable spec for testing aws.amazon.com/blogs/openso...
True for llms, search for CodeMonkeys/Large Language Monkeys.
June 27, 2025 at 5:41 PM
True for llms, search for CodeMonkeys/Large Language Monkeys.
Reposted
That's not the only solution. Approval voting would also solve the problem - and doesn't even need ranking.
Ranked-choice voting is viewed with suspicion among some voters, so something simpler could work. Easy to implement.
en.wikipedia.org/wiki/Approva...
Ranked-choice voting is viewed with suspicion among some voters, so something simpler could work. Easy to implement.
en.wikipedia.org/wiki/Approva...
Approval voting - Wikipedia
en.wikipedia.org
June 4, 2025 at 10:15 PM
That's not the only solution. Approval voting would also solve the problem - and doesn't even need ranking.
Ranked-choice voting is viewed with suspicion among some voters, so something simpler could work. Easy to implement.
en.wikipedia.org/wiki/Approva...
Ranked-choice voting is viewed with suspicion among some voters, so something simpler could work. Easy to implement.
en.wikipedia.org/wiki/Approva...
Reposted
If you burn down a forest, you don't miss out on lumber for just that season. You have to replant all the trees, nurture them, and wait for them to grow.
The science and research budget cuts happening now are wanton, senseless arson. Recovery, if it ever happens, will take generations.
The science and research budget cuts happening now are wanton, senseless arson. Recovery, if it ever happens, will take generations.
June 3, 2025 at 9:02 PM
If you burn down a forest, you don't miss out on lumber for just that season. You have to replant all the trees, nurture them, and wait for them to grow.
The science and research budget cuts happening now are wanton, senseless arson. Recovery, if it ever happens, will take generations.
The science and research budget cuts happening now are wanton, senseless arson. Recovery, if it ever happens, will take generations.