I’m surprised by how fun trading on Kalshi is! Haven’t seen the Wicked: For Good yet, but I’m debating if I should—just to find out if this was actually a good trade 😅

Blown away by what Trevor Keith is building! Codapt.ai is one of the most exciting projects I’ve seen—definitely worth checking out.

Developing an open-source interactive database to map cryptographic hardness assumptions. Essentially serving as a Google Maps/Wikipedia of cryptographic databases. Would be interested in any thoughts from cryptographers in the field. cryptographymap.com

Don't miss Matej Penciak's talk on Lampe at zkSummit! This new tool makes formal verification accessible for ZK developers by verifying Noir programs at the semantic level. Perfect for anyone wanting to ensure their ZK implementations are secure without diving into low-level

So telemarketers are getting more creative?

bring back the dab

> be New Zealand's smartest teenager > graduates Stanford CS with the #1 GPA > starts company with best friend > growing fast, but OPT visa ending > one shots the Alien of Extraordinary Ability with no RFE Congrats Yang Fan Yun, 🇺🇸's newest extraordinary alien! Excited to file your EB1 green card next!

Thank you Sigil Wen for taking my Saturday 11pm calls, you're the best ❤️ To other aliens 👽: I cannot vouch for Sigil and the Extraordinary team enough

Math is cool now #mathdash #citadel

The internet is broken rn and I’m all for it.

Are we about to start optimizing code for LLMs instead of humans? We’ve always been told to write clean, human-readable code with comments. But with AI reading, summarizing, and sometimes even writing it for us, maybe the real audience is just an algorithm now.

Every home in SF looks so unassuming. Could be a $10M mansion in the Tenderloin or a teardown in Pacific Heights - and I wouldn't know the difference.

10 years ago, kids wanted to drop tracks as SoundCloud rappers - now they’re busy dropping code as GPT wrappers. We're so back.

Researchers at OpenAI just achieved gold medal IMO performance, a truly groundbreaking achievement. Just last year researchers at Google Deepmind achieved gold medal performance on geometry problem. The speed of improvement is just breathtaking and quite unexpected, as of this

The way agents use the internet is broken. They don't have access to your accounts, they're blocked on half of all websites, & they take hours to set up. Today, we're introducing Composite - the agent that connects to your browser to automate your mundane tasks.

I used to spend hours hunting through dashboards and docs instead of doing talking to users and crafting products. We're all digital factory workers stuck in Chrome tabs. Excited to announce Composite so you can finalizing focus on your high-leverage work 🎥 : Film By Adnan

Excited to announce - Composite When I started sneaker botting 8 years ago, never would I have thought we'd have the technology to have this level of generalized automation. Looking forward to building the future of work with Yang Fan Yun