SohoJoe.eth

AI, former Video Game maker, crypto n' chill

[SohoJoe.eth @SohoJoeEth]

Crazy how gamers love Steam and want Steam to tell them what tech is ‘safe’ for them. FFS it’s a thin paternalistic layer over open/permissionless protocols and platforms.

[cash4turtles(Waifudev)🌸☢️ @WaifuverseAI]

STEAM removes game for having chatGPT.

Redditor pours his life into a game just to have steam remove it for "containing AI"

[SohoJoe.eth @SohoJoeEth]

@sytelus I’m curious as to why now? Was it just a matter of needing 8 more years of compute scale or is there something else that made the difference.

[SohoJoe.eth @SohoJoeEth]

@friendtech when I click link your twitter… it opens the twitter app, but then opens the browser within the twitter app and is trying to login again

[SohoJoe.eth @SohoJoeEth]

@mikemcg0 That’s ironic as no one gets value from Quora

[SohoJoe.eth @SohoJoeEth]

@Kveykva erm, maybe you should just call it planning because that is what it is. And maybe site how deep mind showed that using a model to plan gave a 300,000 x performance over model free.

[Alex Hutchinson @BangBangClick]

Hey all! Raccoon Logic continues to grow! We are looking for a Technical Artist (intermediate or senior) and a Level Designer (also intermediate or senior) to work on our soon to be announced project! If you're in Montreal and this sounds exciting then mail [email protected]!

[SohoJoe.eth @SohoJoeEth]

@risi1979 How are these adversarial attacks? ground truth text rarely scores much above .25 to .3

[SohoJoe.eth @SohoJoeEth]

@AIandGames are the lectures online?

[Kaiyu Yang @KaiyuYang4]

Can LLMs generate mathematical proofs that can be rigorously checked?

We release LeanDojo (https://t.co/zkOyW4FoDx): an open-source playground consisting of toolkits, benchmarks, and models for LLMs to prove formal theorems in the Lean proof assistant.

Key features:
- Tools for data extraction and interacting with Lean.
- Fine-grained annotations of premises (e.g., existing lemmas) in proofs: where they are used and defined.
- LeanDojo Benchmark: 97K human-written theorems/proofs for developing machine learning models on theorem proving.
- ReProver (Retrieval-Augmented Prover): the first LLM-based prover augmented with retrieval for premise selection.

We open-source everything, providing the first set of open-source LLM-based theorem provers without any proprietary data, model, or code.

[SohoJoe.eth @SohoJoeEth]

I want to join the @ZKitty_DAO whitelist #ZKitty

The first automated airdrop farming service on @zkysnc ERA blockchain #zkSync

Just a smol kitty with beeeg airdrop dreamz fren🐱🪂

Join whitelist: https://t.co/ebWHceJN9g

782e3f7518ccb36651ab1cee258348b5d42c0ae77e4ef

[SohoJoe.eth @SohoJoeEth]

dear @Twitter - you are broken. I hate golf, I never look at golf tweets. Why you sending me golf ads? Please fix. Fank you

[SohoJoe.eth @SohoJoeEth]

@togelius @AIandGames @holmgard I’m curious on your perspective on the use of LLMs for planning like with the Voyager paper; did you cover that on the podcast? More importantly, did you drink while on the podcast?

[SohoJoe.eth @SohoJoeEth]

@ylecun @gammascalpset @geoffreyhinton @AndrewYNg What about planning systems built on top of blackbox llm models such as https://t.co/LnSWNTGlPU ?

[SohoJoe.eth @SohoJoeEth]

@PatrickJBlum I chose not to follow you because you come across as trying to get followers/been an AI bro/influencer.

[SohoJoe.eth @SohoJoeEth]

hmm was trying to do the point up emoji but now I look at it again, it looks like I'm giving you the middle finger - absolutely NOT my intent. sorry!!!!

[SohoJoe.eth @SohoJoeEth]

hey @twilio,

your tutorial python raspberry pi video blog is missing a bunch of info - saying you can do X with...: but is missing the ...

https://t.co/zGvfh9mQvI

[SohoJoe.eth @SohoJoeEth]

@twilio hey @aina_asimag fyi 🖕

[SohoJoe.eth @SohoJoeEth]

@GregKamradt @langchain you can try bing chat to summarize the papers recomendations for your needs; but its still early for AI tools to be good at that

[SohoJoe.eth @SohoJoeEth]

@GregKamradt @langchain top tip for building muscle reading academic papers is to know its NORMAL to not understand many things on first, 2nd, 3rd pass - so don't let imposter syndrome put you off