tj800x

9 ms·

1.
by tj800x 2mo ago
No single signin. Privacy policy allows training. No try it first without credit card. It's a good idea, but this looks premature.
2.
by tj800x 8mo ago
This regression seems to have happened in the past few days. I suspected it was hallucinating the run and confirmed it by by asking Gemini to output the current date/time. The UTC it was reported was in the future from my clock. Som
3.
by tj800x 1y ago
My experience points to that until the last sorry is eliminated the math might look like it will fit together, but yet not ultimately all fit together.
4.
by tj800x 2y ago
Nice! What is the point of the "Levels"? I'm suspicious of any attempt a gamification.
5.
by tj800x 3y ago
Somewhat related: I'm surprised we don't see NonZero numbers (NzInts, NzNats, and NzReals, etc). This would seem to avoid a lot of division by zero problems at the type level. I realize this might "back up" checking fo
6.
by tj800x 3y ago
I've been using LLMs to discuss fairly challenging topics and have had some success. Here are a few hints: 1) Assume that LLMs work like improvisational actors in that they are in the mode of saying, "Yes, and...". By that
7.
by tj800x 6y ago
It would be interesting to model open source contributions using something like this. Perhaps it would reveal something about the economic paradox about why people contribute to open source.
8.
by tj800x 6y ago
I suppose the LED flash on the phone could be modulated for this. Eliminating the configurator-hardware is important for this kind of application.
9.
by tj800x 6y ago
The use of this for setting configuration options is absolutely brilliant. I've been looking at cheap ways of doing this for years. That you would publish this patent-free is fantastic. Thanks!