types

interested in ai reasoning. here for the memes

[types @typedarrows]

@moflod @MilkRoadAI from: https://t.co/r3KTaniA8a

[types @typedarrows]

@martin_casado yeah, that would be great! i have tried dynamically generating npcs, sprites, and tile sets, but they are not very polished or consistent. i am looking for cohesive fantasy style sprites, including princesses, shopkeepers, innkeepers, castles, and similar characters and setting

[types @typedarrows]

@martin_casado instead of generating new characters for every run, i would like to reuse character models for testing and playability (2/2)

[types @typedarrows]

@martin_casado thanks, this is exactly what i was looking for. i am building an ai generator that outputs playable mini rpg games. right now, i am using openai’s image generation model to create avatars from scratch for each game, with a few pre baked npcs like innkeepers and shopkeepers (1/2)

[types @typedarrows]

@evelovesolive i wish vladimir voevodsky were still around, he was a pioneer of univalent foundations and formalizing homotopy type theory in coq. i wonder if he’d have been interested in continuing these mathematical formalization efforts for ai

[types @typedarrows]

@the_good_matty @Golovanov_ammoc a.k. would look at the board, giggle, say the proof is trivial, and move on to the next theorem without writing much down

[types @typedarrows]

@the_good_matty @Golovanov_ammoc also rip a.k.

[types @typedarrows]

@the_good_matty @Golovanov_ammoc that’s hilarious. your shirt was cooler than anything we did. i remember when that was his main site pic

[types @typedarrows]

@the_good_matty @Golovanov_ammoc indeed it was; i remember ocneanu and his octacube

[types @typedarrows]

attended the west village anthropic pop-up, met so many wonderful people @anthropicai @claudeai

[types @typedarrows]

@JDHamkins what’s your thoughts on the Lawvere fixed point theorem?

https://t.co/g2Lnc5lECI).

[Arya Yae @Arya_Yae]

It feels like cheating sometimes