latenightcoding

he has like 20 AI companies now.

Can't even ctrl+f the conversation, wish openai would fix that

I skimmed through it, what makes you think it is slop?

not even close, because there are a lot of places where you can't run LuaJIT

>> Gen AI ARchive

isn't this a nightmare for privacy

building a UI was so easy.

[deleted]

what filters are you using to find the papers, anyone you enjoyed/recommend?

and they only got really good like last December.

I never hijack non-ai threads to talk about AI, but can anybody share their experience using LLMs to code in Coq, Lean, etc.

working in software before LLMs, you had to be there.

What I wonder is: are current LLMs even good for the type of work he does: novel, low-level, extremely performant

totally forgot about Magic Leap