This is what codex believes would be the best language for _IT_ to program in. Here's hello world. (module example/hello (imports) (export main) (fn main (params) (returns String) (effects ()) (requires true) (ensures true) "Hello, world!")) I had it write a compiler for this language that runs on the JVM. It emits byte code. Note the hint of DBC. Note also the lispy syntax. This is what _IT_ said it wanted when I told it that humans didn't need to read it.

debugging and hardening take time. The AI is helpful, and that speeds things up a big. But overall it's still a long slog to make sure that every nook and cranny of an application is perfectly solid.

This slide from an Anthropic talk is the most clear explanation I’ve seen so far: agents have cycles in their prompts and tool calls, workflows are like dags

Gen-3 Alpha is pretty wild. People with access just dropped more new AI videos 11 wild examples:

#PayoneerHacked I'm from Argentina, account hacked on Saturday, they changed my pass, emptied my funds and all bypassing 2FA. Many people affected. This cannot end like this, @Payoneer we need a solution and our money back!

GPT-4V TTS = AI Sports narrator 🪄⚽️ Passed every frame of a football video to gpt-4-vision-preview, and with some simple prompting asked to generate a narration No edits, this is as it came out from the model (aka can be SO MUCH BETTER)

Reservas Netas 11/7 Neteando pago del IMF -1313m Brutas caen -134m Netas -8.2b Líquidas -12b Cobertura sobre dep totales 15,4% 🍏

Music done by AI by Google Musica hecha por AI de Google google-research.github.io/se…

2. Boston Dynamics puts ChatGPT in a robot Our friend @svpino over at Boston Dynamics, just released a demo video showcasing the integration of ChatGPT into their robot dog, Spot. Spot can now effortlessly communicate complex information to humans.

What is ignored by the media -- but will be studied by historians? Here's 7 more examples:

Yeah

Holy shit. NYT is literally a mouthpiece for SBF. Succession is Real Life.

🧵 New blockchain data reveals the root cause of the May UST depeg. In the 3 weeks leading up to the depeg, one entity dumped over $450m of UST on the open market. 4 days after their last sale, UST started collapsing. That entity? None other than Terraform Labs. Details inside.

#ソニー 最新モバイルモーションキャプチャー「mocopi」（モコピ）が登場！ フルボディトラッキングに挑戦したい人、アバターを使った外ロケ等あなたの活動の幅を広げます！ 商品情報はWEBサイトで！👇 bit.ly/3ULf8l8 #FutureSony #Sony #mocopi

Solar panels can now be printed like newspapers

A Carlos Manuel Andrés, el violento que dejó al borde de la muerte y con secuelas irreversibles a mi papá, le dieron domiciliaria hasta que llegue el juicio (del cual seguramente va a salir sin ninguna condena) y a todo esto mi papá sigue INTERNADO y sin saber qué le pasó

Guys, #YouHodler announces the start of the #giveaway 🎁 🔹 3 winners: $300, $200 and $100 as a prize to your YouHodler Account; 🔹 Challenge: get the most #points by being active on our socials; 🔹 Dates: 23 — 31 May. Enter the Giveaway: sweepwidget.com/view/57588-g… Let’s go! 🚀

Hola @renaper_ar tramité el pasaporte el 17-12-2021, me dijeron 15 a 20 días hábiles y aun estoy esperando, aparece hace mucho en "verificación" en la consulta de trámite. Cuanto más va a tardar?

️⚠️URGENTE‼️ Actualicen su Chrome a 99.0.4844.84 y todo browser basado en chromium tal como Edge, Brave, etc. Grupos de hackers han estado atacando Wallets tales como Metamask por USD400 millones en Ethereum entre otras criptos. Abro 🧵