any sufficiently advanced technology is indistinguishable from magic. senior software engineer @coinbase

New York, NY
Joined December 2019
jon becker retweeted
Yes!! I've been thinking about this since some time: Given large verified contract datasets (from @SourcifyEth and @verifalliance), can we build better decompilers? Looking forward to what comes out of this 👀
Replying to @beckerrjon
4/ next up: pulling thousands of verified contracts from sourcify.dev to build a massive evaluation dataset these larger evals might not feasibly run on every commit, but will likely be a weekly long-running job to detect regressions
2
3
1,396
The @base app is now live for everyone, everywhere. Time to join the new global economy.
290
229
103
1,421
258,742
I was wrong Zed is S-tier. Elite
21
9
3
435
65,324
jon becker retweeted
Foundry MCP server 🤝 Heimdall Heimdall is an EVM smart contract toolkit by @beckerrjon specializing in bytecode analysis and extracting information from unverified contracts. Combining the power of foundry tools with heimdall's capabilities you can perform advanced solidity bytecode analysis. Here's an example analysis of Malicious Safe Implementation used in Bybit exploit:
Excited to announce the Foundry MCP server! 🥳 It's a fast, lightweight MCP server that gives your agents and LLMs on-chain capabilities. It can query contracts, send transactions, deploy contracts, and run Foundry scripts on any EVM chain at any block you specify. It can also run forked Anvil instances locally, helping you debug complex multi-contract interactions. Checkout the features 🧵👇
13
18
4
208
26,599
over the past few weeks, i've spent a considerable amount of time analyzing contract bytecode and fingerprinting compilers in order to build an extremely accurate compiler detection algorithm here are my findings 👇 🦦
10
16
1
119
10,483
jon becker retweeted
we wanted to take a moment to address the situation from yesterday: 1. neither CRYPTOAI or TRENCHES are “project tokens”. @subsdotfun is a social launchpad, where each sub coin represents a different topic-based subforum. this is what subs is all about, and this is abundantly clear from our posts and in our docs. 2. the team has never owned a meaningful percentage of the supply of either coin, beyond the 0.1% of supply automatically granted to the creator of each sub. zero of the creator supply has ever been sold, which is very easily visible onchain. we do see that bots sniped both coins at launch, and we're looking at ways to mitigate that in the future. 3. to avoid any further "project token" confusion, the next subs will be user launched. the community has submitted a lot of awesome ideas for new sub topics, and we're excited to see where those go. if you're interested in launching a sub, please fill out this form ⤵️ form.typeform.com/to/MU3QEK8…
43
5
2
54
10,872
jon becker retweeted
we built a social launchpad called @subsdotfun - get upside in communities you participate in - capture value when you're early to a topic/idea - consolidate info streams on a niche topic
23
14
2
162
34,994
jon becker retweeted
Give Petrichor a try! I found its AI integration very helpful, and with PDF support, I'll be dropping Logseq for most use cases.
Introducing Petrichor 🌱 Petrichor is an advanced writing app that fuels a deeper understanding of your interests. It's designed for anyone who loves diving deep into research and making unexpected connections between ideas. Petrichor is available for free, and can be accessed at petrichor.md. If you would like to read the full post, you can do so here: jbecker.dev/research/introdu… Motivation I started Petrichor as a side project in December 2024. Having used Obsidian for my personal notes, I admired its knowledge graph feature, but found manually linking my notes and ideas to be tedious. I envisioned a tool that could automate this process, not just to save time, but to enhance creativity by suggesting connections I might not have considered. I also wanted a way to talk to my knowledge base -- to ask questions, get feedback, and explore ideas in a more conversational manner. This led to the development of an AI assistant that could understand the context of my writing and provide relevant information and suggestions. The result is Petrichor, a writing app that combines the best of note-taking, writing, and AI to create a seamless experience for anyone who loves to write and learn. Core Features > WYSIWYG At the core of Petrichor is its intuitive WYSIWYG editor, which allows users to format their documents easily while focusing on the content. The editor supports markdown and KaTeX, and is versatile enough for any type of writing, from academic papers to personal journals. The editor is also designed to be distraction-free, with a clean interface that puts the focus on your writing. As you write, we automatically index your text and the resources, references, and citations you link to, creating a richer, more connected knowledge graph. Other features include version history, sharing options, and export to various formats, making it easy to share your ideas with others and publish your work. > Automated Semantic Linking One of the standout features of Petrichor is automated semantic linking of your documents. As you write, Petrichor analyzes your text in real-time, and connects your thoughts to other documents and resources in a graph-based view. This not only makes it easy to see how your ideas relate to each other, but also encourages exploration of related concepts you might have overlooked. > Contextualized AI Agent Petrichor is also equipped with an AI agent that is fully contextualized with your writing, and can provide tailored suggestions and feedback. Whether you're searching for relevant research papers, requesting help with brainstorming, or seeking clarification on complex topics, the AI assistant is designed to enhance your writing experience. > Daily Insights Petrichor provides daily insights based on your writing activity, helping you track your progress, identify trends, and discover new connections between your ideas. These insights can be used to fuel further research, spark new ideas, or simply reflect on your writing habits. Right now, Petrichor only uses ArXiV as its primary source of interesting material for you to read. However, we are working on integrating other sources, such as YouTube, Reddit, and Twitter, to provide a more diverse range of content. Future Roadmap Petrichor is still in its early stages, and we have many exciting features planned for the future. Some of the key areas we are focusing on include: - Collaboration: Enabling real-time collaboration on documents, with features such as comments, suggestions, and more. - Research Agent: Expanding the capabilities of the AI assistant to enable it to perform long-running tasks, such as researching a topic, summarizing a paper, or generating an annotated bibliography. - Open Source: I am a strong believer in open source software, and plan to open source Petrichor in the future to enable the community to contribute and extend its capabilities. I am also an advocate for data privacy and security, and open sourcing the code will allow users to self-host their own instance of Petrichor. - PDF Support: Adding support for importing and exporting PDFs, enabling users to annotate and reference PDFs within Petrichor. Reporting Issues and Feedback If you encounter any issues while using Petrichor, or have any feedback or suggestions, please don't hesitate to reach out to shoot me a DM. Your feedback is invaluable in helping me improve Petrichor and make it the best it can be. You can also view the known issue tracker to see if your issue has already been reported: app.petrichor.md/d/e4aa0e60-… Conclusion Petrichor represents a new era in writing and research, seamlessly blending intuitive note-taking with AI-powered insights. Whether you're capturing fleeting thoughts or complex ideas, Petrichor helps you connect, explore, and create with clarity. I hope you enjoy using Petrichor as much as I enjoyed creating it. Happy writing! (Special thanks to beta testers @andrewhong5297 @GalloDaSballo @DevinThakker @0xNimaRa and everyone else for their help 🦦❤️)
1
1
3
875
Looking good And will reply only with the info you provide it, which is good if you have very specific notes you want to remember
Introducing Petrichor 🌱 Petrichor is an advanced writing app that fuels a deeper understanding of your interests. It's designed for anyone who loves diving deep into research and making unexpected connections between ideas. Petrichor is available for free, and can be accessed at petrichor.md. If you would like to read the full post, you can do so here: jbecker.dev/research/introdu… Motivation I started Petrichor as a side project in December 2024. Having used Obsidian for my personal notes, I admired its knowledge graph feature, but found manually linking my notes and ideas to be tedious. I envisioned a tool that could automate this process, not just to save time, but to enhance creativity by suggesting connections I might not have considered. I also wanted a way to talk to my knowledge base -- to ask questions, get feedback, and explore ideas in a more conversational manner. This led to the development of an AI assistant that could understand the context of my writing and provide relevant information and suggestions. The result is Petrichor, a writing app that combines the best of note-taking, writing, and AI to create a seamless experience for anyone who loves to write and learn. Core Features > WYSIWYG At the core of Petrichor is its intuitive WYSIWYG editor, which allows users to format their documents easily while focusing on the content. The editor supports markdown and KaTeX, and is versatile enough for any type of writing, from academic papers to personal journals. The editor is also designed to be distraction-free, with a clean interface that puts the focus on your writing. As you write, we automatically index your text and the resources, references, and citations you link to, creating a richer, more connected knowledge graph. Other features include version history, sharing options, and export to various formats, making it easy to share your ideas with others and publish your work. > Automated Semantic Linking One of the standout features of Petrichor is automated semantic linking of your documents. As you write, Petrichor analyzes your text in real-time, and connects your thoughts to other documents and resources in a graph-based view. This not only makes it easy to see how your ideas relate to each other, but also encourages exploration of related concepts you might have overlooked. > Contextualized AI Agent Petrichor is also equipped with an AI agent that is fully contextualized with your writing, and can provide tailored suggestions and feedback. Whether you're searching for relevant research papers, requesting help with brainstorming, or seeking clarification on complex topics, the AI assistant is designed to enhance your writing experience. > Daily Insights Petrichor provides daily insights based on your writing activity, helping you track your progress, identify trends, and discover new connections between your ideas. These insights can be used to fuel further research, spark new ideas, or simply reflect on your writing habits. Right now, Petrichor only uses ArXiV as its primary source of interesting material for you to read. However, we are working on integrating other sources, such as YouTube, Reddit, and Twitter, to provide a more diverse range of content. Future Roadmap Petrichor is still in its early stages, and we have many exciting features planned for the future. Some of the key areas we are focusing on include: - Collaboration: Enabling real-time collaboration on documents, with features such as comments, suggestions, and more. - Research Agent: Expanding the capabilities of the AI assistant to enable it to perform long-running tasks, such as researching a topic, summarizing a paper, or generating an annotated bibliography. - Open Source: I am a strong believer in open source software, and plan to open source Petrichor in the future to enable the community to contribute and extend its capabilities. I am also an advocate for data privacy and security, and open sourcing the code will allow users to self-host their own instance of Petrichor. - PDF Support: Adding support for importing and exporting PDFs, enabling users to annotate and reference PDFs within Petrichor. Reporting Issues and Feedback If you encounter any issues while using Petrichor, or have any feedback or suggestions, please don't hesitate to reach out to shoot me a DM. Your feedback is invaluable in helping me improve Petrichor and make it the best it can be. You can also view the known issue tracker to see if your issue has already been reported: app.petrichor.md/d/e4aa0e60-… Conclusion Petrichor represents a new era in writing and research, seamlessly blending intuitive note-taking with AI-powered insights. Whether you're capturing fleeting thoughts or complex ideas, Petrichor helps you connect, explore, and create with clarity. I hope you enjoy using Petrichor as much as I enjoyed creating it. Happy writing! (Special thanks to beta testers @andrewhong5297 @GalloDaSballo @DevinThakker @0xNimaRa and everyone else for their help 🦦❤️)
1
6
905
jon becker retweeted
Join us next Sunday at 6pm CET / 10 am ET for a Live on Twitter with @beckerrjon We'll talk about professional ways to reverse engineer smart contracts for Security Research! - How to tell if a deployment was tampered - How to grab storage values and immutable variables of unverified contracts - How to get the ABI and interact with an unverified contract We'll go through a real life example of using Heimdall, Claude and Ethers to reverse engineer a smart contract and more!
2
1
4
28
3,061
jon becker retweeted
it's not about how much it costs or if it's profitable, it's about sending a message. putting yourself out there on the onchain leaderboard for the world to see. historical events taking place. legendary stuff in the rewards.fun chat
2 hours remaining for Day 5 - tune in for another multiplier showdown in the final minutes We added a little chat box so you can message your opponents! Messages are signed, but don't cost gas
2
8
2,817
jon becker retweeted
Day 4 was filled with drama! Strategies have evolved, and players have gotten more sophisticated 0x1a0f is a player to watch out for They have written a special smart contract to submit many multiplier increase/decreases in a single txn, which uses 99.79% of the @base txn gas limit
3
2
11
2,541
jon becker retweeted
aaand we're live at rewards.fun ! TLDR - daily onchain leaderboard for @base - competition for $12k in USDC prizes with a fun twist: pay 0.0001 ETH for big score multipliers 🍄 or pay to decrease the multipliers of others 😈 competition just started GOGOGOGOGO
We’re launching a little experiment rewards.fun is a daily leaderboard competition for the most active users on @base We’re giving out a total of $12k in USDC prizes to winners over the next 10 days 🤑
1
5
1
31
7,115
Very cool experiment to reward active users on @base apps Score points to win USDC prizes just by playing Frenpet over the next 10 days Point scoring scales up and down based on different actions You can also boost your score or de-boost your enemies Excited to see who the daily winners are! Starts tomorrow!
Replying to @shadowxyz
Your daily points score is based on the number and types of onchain actions you do within each app Actions that are more common score less points, and actions that are harder to do score more It also pays to be first! 🏃💨 Example scoring for @frenpetonbase
2
24
62
5,901
jon becker retweeted
📣 We shipped a redesign of our app! Things are a lot more organized now, look better, and we've added a few other UX sprinkles ✨
1
2
1
14
2,305
jon becker retweeted
📣 Shadow now supports Base, Optimism, and Arbitrum Over the last month+ we've quietly rolled out support for Base, Optimism, and Arbitrum mainnets Today, we're opening up access for everyone – get in touch if you want to use Shadow on an L2 Plus more chains coming soon 👀
4
7
2
48
6,792