olaird25

4 ms·

1. 1.▲
   by olaird25 4d ago

   Vitalik Buterin: “...But currently, I see zero plans for how to deal with an ASI transition that are not naive. Perhaps humanity is stuck with a choice between naive and naive squared (or maybe even naive squared and naive cubed), so I feel
2. 2.▲
   by olaird25 3mo ago

   Interesting. But if you are upgrading your embedding model, wouldn't you want to re-embed to get its benefits on old entries?
3. 3.▲
   by olaird25 3mo ago

   Very nice! How did you implement your rain effect?
4. 4.▲
   by olaird25 3mo ago

   Nice. So is the js/lean interface using exact rationals?
5. 5.▲
   by olaird25 3mo ago

   Is the web demo compiled from the lean?
6. 6.▲
   by olaird25 4mo ago

   Have you tried just using a faster tokenization library? Github's BPE crate ( https://crates.io/crates/bpe ) advertises >10x speedup relative to HF, as do others.
7. 7.▲
   by olaird25 4mo ago

   "Writing the question WAS the lesson" Indeed!
8. 8.▲
   by olaird25 1y ago

   This seems exactly right. Its pretty common to watch your agent making the same mcp tool call again and again as it works through a list. These kinds of cases are solved by letting the agent just call any of its mcp tools in a script.