Meanwhile, on the timeline…

l

lauren@poteto

𝕏

hi

l

lauren@poteto

𝕏

i bought a new domain too

l

lauren@poteto

𝕏

💀💀💀 i cant afford tibo.com

l

lauren@poteto

𝕏

@thsottiaux @TokenGremlin

l

lauren@poteto

𝕏

y is he so tired

l

lauren@poteto

𝕏

@4A4133

l

lauren@poteto

𝕏

this is art

l

lauren@poteto

𝕏

the shipping intensifies

l

lauren@poteto

𝕏

wow pstack irl

l

lauren@poteto

𝕏

thanks for the sweet potato

l

lauren@poteto

𝕏

💀

l

lauren@poteto

𝕏

if you click on the All dropdown you can filter out grok bots

l

lauren@poteto

𝕏

this was a poteto original

l

lauren@poteto

𝕏

yes! github.com/react/react/tree/…

l

lauren@poteto

𝕏

love it! thanks for leading the way

l

lauren@poteto

𝕏

yes you can

l

lauren@poteto

𝕏

i stg

l

lauren@poteto

𝕏

cc @johnbai

l

lauren@poteto

𝕏

that was a long time ago!

l

lauren@poteto

𝕏

here's a profile picture you can use for tibot

l

lauren@poteto

𝕏

it can if you give it the X api, but does use api credits

l

lauren@poteto

𝕏

i've gotten a lot of questions about how i manage my X account with grok bot, so i'm sharing my bot tibot today! he watches your mentions and: • finds every post about you or any keywords, tagged or not • gives one short, sorted digest a day (or hourly, your call) • skips spam and noise • translates non-English posts • can auto block trolls and abuse • never posts for you i still write all my posts and articles by hand but tibot has been very helpful with keeping me in the loop. hire tibot today! x.ai/bot/xZ4wRvomWqzCXnyYFr7…

l

lauren@poteto

𝕏

thanks Tibo

l

lauren@poteto

𝕏

@JonasBadalic @bot

l

lauren@poteto

𝕏

let us know how we can make it better!

l

lauren@poteto

𝕏

https://xitter.cf/poteto/status/2115133011352240581?s=20

l

lauren@poteto

𝕏

the Grok Bot team ships quality at an incredible pace! we've invested in making our code friendly for agents, by making the easy thing the right thing. engineers, designers, and PMs all contribute multiple hundreds of PRs a day: fixing bugs, polishing the user experience, and making our apps faster and more reliable. it isn't perfect of course and we do make mistakes, but we aim to learn from each occurrence and improve our workflows so our bots don't make the same mistake twice. i personally think that Grok Bot is the best example today in the industry of where all those tokens are going: quality and velocity, without compromise. something i think people forget in the discussion around token usage is that software development is an iceberg - new features are only a small fraction of the work in maintaining high quality software. and we will keep accelerating and improving!

l

lauren@poteto

𝕏

hire grok bot!

l

lauren@poteto

𝕏

here's one example of expect tests, we used these rigorously for react compiler: github.com/react/react/tree/…

l

lauren@poteto

𝕏

so many gems and great tips in this talk from @yminsky about how to improve your codebase for agents • agents thrive on feedback, and types are one of the best kinds • make illegal states unrepresentable with types, and it enforces global rules across your codebase • property based tests, fuzzing, and even full-system deterministic simulation testing • expect tests: just print stuff out and capture it in the test. makes behavior legible. it's very similar to how compilers have fixture tests, it reduces the review surface area • formal methods used to be very expensive: seL4 is about 8,700 lines of C and took around 25 person-years, with 23 lines of proof for every line of C code, but agents change the roi youtube.com/watch?v=rUYP4C29…