henrymerrilees

4 ms·

1. 1.▲
   by henrymerrilees 12d ago

   Engineered with accountability in the sense that all human decisions are accountable to humans.
2. 2.▲
   by henrymerrilees 12d ago

   A key facet of the suggested risk is that these programs would attempt to mask whatever behavior would bring about the end of the world. A world in which AI doom could be detected before it’s too late and stopped by metaphorically running i
3. 3.▲
   by henrymerrilees 12d ago

   Part of our general inability to reason about exponential growth is the inability to recognize that a supposedly exponential growth is actually sigmoid. The horizontal asymptote could just as well be 8b, so it is not a case against doomeris
4. 4.▲
   by henrymerrilees 2mo ago

   Is there a language that you would argue is at least as good as Go at everything and better than Go in at least one thing? That would be the most straightforward way to argue against its Pareto optimality. Listing particular sets of prefere
5. 5.▲
   by henrymerrilees 2mo ago

   The relevant points have already been made: (1) LSP is a JSON-RPC protocol, not a CLI app, and (2) Language Servers that implement LSP often utilize AST manipulation, even the resultant manipulations are exposed to the client via character
6. 6.▲
   by henrymerrilees 3mo ago

   Disclaimer up front: I've only read ~10/23 RVSoC draft chapters that were made available as a part of SP2025 E154, so don't take me as any kind of authority on the remaining 13, which I can't wait to get my hands on! In
7. 7.▲
   by henrymerrilees 4mo ago

   Why even post this?