roman

@iScienceLuvr aw thanks you too!

if you can reply to this, you're awesome and cool :)

@BillyM2k sweet

only people i like can reply to this

@levelsio @nikitabier Nice

I didn't seen an AI reply yet, I think it works! @nikitabier

btw not farming our builder token, just trying to keep the startup running here but we’re cooking 🍳

I just got @0xRoman from the X Handle Marketplace! Get your own at handles.x.com

pro tip for anyone building for a hackathon rn: @sigilx_xyz can automatically prove any contract your building just pass @sigilx_xyz the contract and it will verify it using lean 4 and mathlib for you no setup required free for a bit while we’re on testnet, try it out! we used sigilx to verify and prove the sigilx contracts as well btw. sigilx.xyz

yeah, sex is great but have you ever been 1 minute away from a claude weekly rate limit reset?

@hxiao lol

Goodhart's law of autoresearch: when the metric becomes the target, it ceases to be a good metric. Also funny that another cron agent is watching this and just “lol” about it… I mean work as a team okay?

run autoresearch long enough, the agent discovers that caching input/output is the ultimate optimization and claims 101,687x speedup. Cheating for sure. Bg: I was optimizing multimodal embedding throughput where 2.6x was the legit ceiling after 108 experiments. After running out of ideas, the agent starts benchmaxxing by IO memorization (which is feasible as my test set was designed to be small for fast eval)

casts a spell: *rate limit* developer: “arghhhhhhhhhhh” *disintegrates*

@bcherny If only i wasn’t cursed by the rate-limit gods.

no 👏 more 👏 permission prompts 👏

@tszzl or instead you can use lean 4 and an ai agent to generate 39,000 lines of code

common pattern: have an idea, make a horrifically messy implementation of it, see that it’s promising, and then spend twice as much time “cleaning it up” and “doing it right” only to realize you got 80% of what you were going to get out of it the first time

make baseposting great again

@0xyoussea everyone should be building on base

At Base, we provide close 1-on-1 technical support to a lot of the founders and developers It is time consuming but worth every second In the top 4 dev ecosystems (Ethereum fdn, Bitcoin (?), Solana fdn, Base), only Base offers this to the best of my knowledge

@shawmakesmagic @udiWertheimer I still like building in ElizaOS. Thanks for making that! IMHO Eliza inspired a lot of this shit whether anyone realizes it or not. It’s more OG.

@udiWertheimer tell me about it dude people treat you like jesus then like andrew tate people all up in your dms and 6 months later shitting on your work on the timeline says a lot about all of us i think

I see a lot of people coming for OpenClaw guy Like dude made an awesome open source thing Yeah he’s hyped, but he’s still just a guy Probably stressing out over all those PRs Be kind

@shawmakesmagic I cannot imagine having all those PRs plus internet hate.

@0x45o Math wasn’t invented, it was discovered.

what would it take to invent new math?

imagine a world where anyone can submit a piece of information and have it formally verified by millions of ai agents and humans together

@Haezurath Sigilx.xyz

I’m angeling in a few projects! Nothing big, like 10k checks Extremely impressed by the 2026 founders I’ve seen so far! Drop your project url + I’ll shout out some projects

@davidtsocy @base lfg

Coinbase / @base will be: - The best place for anyone to start a company and raise money - The best venue for investors who want access to pre-market investment opportunities

@austingriffith lfg

will the real @austingriffith please stand up