Joined October 2015
10 Photos and videos
this is 🔥
Cursor can now search millions of files and find results in milliseconds. This dramatically speeds up how fast agents complete tasks. We're sharing how we built Instant Grep, including the algorithms and tradeoffs behind the design.
2
4
347
Just hedged against the incoming ship shortage. Upgraded the entire eng team 🫡🫡
4
182
I’ve come to the conclusion that there are only two types of software businesses: either a proxy or a database
3
156
Everyone's debating MCP vs CLI. Meanwhile MCP is already obsolete. RAG was scaffolding to get information into the model. MCP is scaffolding to get actions out. The Bitter Lesson keeps teaching the same class: scaffolding dies. Prompt engineering. Dead. Retrieval pipelines. Dying. MCP. Next. Because AI adapts to us faster than we adapt to it. Last month I onboarded our Head of GTM into our monorepo. Instructions: "install Claude." Claude installed the GitHub CLI, walked her through auth, cloned the repo, opened a branch. No MCP. No custom tooling. We keep building bridges to the model. The model is already on our side of the river. So what actually matters? Not how agents discover tools. Who controls what they do. A human executes dozens of actions per day. An agent executes thousands per hour. Least-privilege is now the only problem. MCP is noise. The trust model is the signal.
1
3
2,651
never used ppt until today. cowork literally made me download and install ppt. is excel next?
1
1
146
Rhetoric is prompt injection on humans
1
83
Happy birthday "Move 37" 🤖 🎂
1
100
I've reached the conclusion that the only "Formal" way to secure AGI is to build a super mega powerful proxies. the answer isn't 42 it's proxies
1
3
356
2 Dec 2025
I'm a product-obsessed founder. Crafting a delightful product experience is my north star. Few companies embody that level of craft like @NotionHQ — and today I'm incredibly proud to share with the world our latest case study. @NotionHQ now secures 100s of datastores with Formal. I’m deeply grateful to the Notion security team for betting on us when we were still an early-stage company. We’ve learned so much along the way, and working with them has truly made our product better. @joinformal ❤️ @NotionHQ
8
8
24
4,073
17 Apr 2025
The @joinformal team and I are excited to sponsor BSidesSF 2025 and meet with the community!
17 Apr 2025
Thank you to @JoinFormal for being a Silver sponsor at BSidesSF 2025! bsidessf.org/sponsors #bsidessf #BSidesSF2025 #infosec
4
721
13 Mar 2025
I love everything Jean-Denis does. Every conversation I have with him makes me feel even more energized and ambitious. I’m super excited for him and the team at Town!
3
576
10 Mar 2025
Happy bday @ycombinator. Proud to be part of that community!
10 Mar 2025
Y Combinator's 20th birthday is tomorrow. Here's what was happening on March 11, 2005: paulgraham.com/ycstart.html (Yeah, I know this tweet will get hidden because it has a link in it, and that I'm supposed to put the link in a reply. But that's so stupid that I refuse to do it.)
7
634
26 Feb 2025
"It is a profoundly erroneous truism, repeated by all copy-books and by eminent people when they are making speeches, that we should cultivate the habit of thinking what we are doing. The precise opposite is the case. Civilization advances by extending the number of important operations which we can perform without thinking about them" -- Alfred Whitehead
1
1
313
24 Feb 2025
Hey @Apple, my biggest wish for the next macOS: a version that finally lets me click the close button! 🙏
1
318
Mokhtar Bacha retweeted
24 Feb 2025
early-stage founders are getting younger by the year 😂
1
1
3
315
22 Feb 2025
I believe in you Loris!
22 Feb 2025
few people believe in me—or ever would. im the son of immigrants, born in a place most have never heard of. why would they ever trust in my dream? yet, it’s either i keep climbing— or let my light go dark
1
1
356
21 Feb 2025
I believe in Alex too!
21 Feb 2025
Replying to @AlexMasmej @solana
i believe in you alex
1
2
2,335
20 Feb 2025
Albert Camus ❤️
20 Feb 2025
Our existence is absolutely absurd. Life is good.
4
407