Профиль

That's a funny analogy.

Well, the obvious building block is an LLM via some kind of harness like ollama. The rest is not that complicated, really! The heart of the loop is this function:

Nice! Gotta find a Windows box and try all this out for myself. Sigh, more work…

Clearly you're more immune to great architectural beauty than you realized. (-:

That's a good point — hadn't considered the gaming angle, things make so much more sense now. THAT DJ Hoffman?

M-silicon is epic. When I got my M2, it was the first time a computer had felt truly magical in decades.

Got it, now I know how to parse the original (-:. Makes a lot of sense, actually. I think 2G on most modern laptops should be fine, and if that just lets me treat their Winbox as a proper Unix box, then I basically have to build only for Unix… My other thought is to go the Docker route?

I prefer not to be so darn judgmental. Maybe they're tinkering with things they are actually excited about, not wasting time getting basic stuff to work. Or maybe they're actually getting things done, and living their best lives.

Oh, sorry — I know what WSL is, I couldn't figure out what you were telling me to do with/about it. (-: Looks like it takes about 2GB, is that right?

Why? And what do your students use?

Sorry, what does that mean?

How bad are things where you are? Spicy hot, is my guess, given the spicy takes. (-:

I would have trouble reading "GENIUS" on my top-bar all the time while riding. (-:

I am not aware of LLMs creating new math *problems*, but also not clear people have been asking for it. (-:

I hope the fires don't spoil your stay. So many gorgeous places out there.

Ah, Banff is magnificent! Enjoy!

I loved G+. Still miss it. It was my perfect social medium.

The latter brings to mind Davis and Hersh's definition of mathematics in "The Experience of Mathematics": "the study of mental objects with reproducible properties". That makes it (like chess) especially amenable to computational attack.

If it took me 57 years just to read the *review*…

Yeah, it's been on Netflix on and off depending on different rights deals.