Hey guys, check out my little NFT project EARTH. It is a 3D visualization of planet earth consisting of 812 Earth tiles. Each tile can be augmented with a custom message chosen by its owner. Cheers!

Hey guys, check out my little NFT project EARTH. It is a 3D visualization of planet earth consisting of 812 Earth tiles. Each tile can be augmented with a custom message chosen by its owner. Cheers! https://earthtiles.org

Can we use LLMs to aid machine assisted proofs?

I think there is huge potential and so does Terence Tao.

Can we use LLMs to aid machine assisted proofs?

I think there is huge potential and so does Terence Tao.

https://youtu.be/AayZuuDDKP0?si=iZEDMvAhITG8TOwA

Hot take: farcaster / warpcast was better before free accounts

Has anybody / any company tried to apply the farcaster idea to search engines? (open protocol and database, competition on frontend)

Push... Anybody thought about this before? Would be curious to hear your thoughts / opinions...

@warpcast Can I use warpcast from browser?

I'm a little teapot who didn't fill out my bio

Matthias Geihs

@matthiasgeihs