any sufficiently advanced technology is indistinguishable from magic. senior software engineer @coinbase
New York, NY
- Tweets 3,460
- Following 829
- Followers 5,242
- Likes 10,735
Pinned Tweet
0/ i analyzed every single trade on kalshi from 2021 to 2025.
i found a systematic wealth transfer where "takers" pay a massive premium for affirmative outcomes, and "makers" harvest the edge without needing to predict the future.
here is the data
11
9
149
32,647
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 🦦❤️)
21
40
483
41,669
The @MultiversalWalk team asked me to audit their contracts in preparation for their mint. I reviewed their contracts and published an audit with my findings.
jbecker.dev/research/multive…
#ETH #Ethereum #Crypto #Cryptocurrency #NFTs
30
101
205
0/ The beta for the decompile module has been released 🎉
Here's a quick thread on what it includes 🧵
Check it out: github.com/Jon-Becker/heimda…
8
25
209
I'm super stoked to announce that i'll be joining @_shadowxyz as a Founding Engineer where I'll work to revolutionize the way we think of events and onchain data🫡
ALT Shadow is a developer platform that gives you full control over onchain event data for any contract.
30
6
191
56,604
ICYMI, here's my talk on Heimdall from @paradigm's Rust x Ethereum event yesterday 🫡🦦
8
15
179
20,270
0/ At long last, heimdall-rs 0.2.0 has been released! 🫡
This update includes my most recent decompile changes, including the ability to output solidity 🦦
A quick 🧵 with some changes:
6
26
173
36,342
0/ The moment you've all been waiting for 🦦
My article on writing efficient & performant rust is here 🫡
9
26
150
42,149
i wish our political leaders took the time to actually understand what they talk about.
anyway:
🚨NEW: @SenWarren focused on validators (nodes) not being subject to the same AML laws as banks.
She asked @wallyadeyemo if she sent him $1K in cryptocurrency, is it possible that Iran is the “validator” of that transaction. Adeyemo said it’s definitely possible.
Warren responded: “So Iran, which is subject to all kinds of sanctions, are making millions of dollars validating transactions all because we don’t have the tools to stop them?” Adeyemo said yes.
She also asked if there is a correlation between the growth of the crypto market and the amount of money Iran is pocketing. Adeyemo said yes.
Warren said there needs to be a regulatory framework in place for stablecoins that will subject users to AML laws.
4
7
104
25,111
0/ heimdall is able to decode raw calldata, without the contract ABI or signature resolution 🤯🫡
here's how it works 👇
6
19
132
14,279
don't miss my presentation on the EVM and smart contract internals, hosted by @opensensepw ❤️🔥🫡
6
26
119
18,154
I wrote an article on how heimdall-rs' smart-contract decompilation module works at a low level. Hope you enjoy! ❤️🔥🦦
jbecker.dev/research/diving-…
7
26
119
15,804
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
119
10,477
0/ heimdall-rs 0.4.0 has been released, introducing the storage dumping module and minor decompile fixes 🦦❤️🔥
Here's a quick thread with some changes 🧵
8
11
91
12,780
Thank you for 400 🌟 on GitHub!
All that's left before full decompiler release is loop detection 🫡
9
4
94
0/ heimdall-rs 0.7.0 is here 🎉 🎅
let's take a look at what's changed over the past month 👇
6
11
77
15,592
heimdall-rs 0.5.0 has been released, introducing the contract snapshot module to the toolkit! 🦀 🦦
👇 🧵
ALT heimdall snapshot tui view of the WETH contract 0xc02
3
11
79
10,759
We're super stoked to share that @_shadowxyz has raised a $9M seed round led by @Paradigm!
We're looking forward to collaborating with some of the brightest minds in crypto to revolutionize blockchain data infrastructure. 🌗
8
72
7,134
😍
full decompiler should be done soon. right now looks like decompile runtime is ~100ms per function selector (without resolving signatures)
2
1
71
0/ heimdall 0.8.0 was released on may 10th, the largest update to the toolkit by all metrics! with 34 merged PRs, hundreds of closed issues, countless hours of work, and six new contributors, there's a lot to be excited about for this release 🦦🥳
let's dive in👇
4
2
62
12,838
due to popular demand, i'll make a blog post on jbecker.dev about how this works internally!
stay tuned 🫡🦦
3/ ✨ raw calldata decoding ✨
heimdall's `decode` module can now decode complex, arbitrary calldata - even when signature resolution fails.
(think abi.decode, but without giving it types)
if you're interested in *how* this works, let me know!
ALT Examples taken from solidity abi spec: https://docs.soliditylang.org/en/develop/abi-spec.html
5
61
8,009
0/ postprocessing coming a long way 🥲
in the final stages of development, fixing up minor bugs and conditionals and it should be good to go 🫡
4
3
55
Direct SQL access to all of @TransposeData's indexed blockchain data is now live!
Infinitely flexible queries are now a reality.
SQL Playground: playground.transpose.io
Get an API Key: app.transpose.io
6
4
54
All thats left to do for on-chain GitHub contribution badges is the actionscript.
All the solidity is done, I just need to format it.
Check out tokenURI(1) ;)
ropsten.etherscan.io/address…
( Design by @achalvs )
#ETH #Ethereum #Crypto #Cryptocurrency #Solidity #DeFi #GitHub
6
3
55
0/ heimdall-rs 0.4.2 has been released today 🥳
here's a quick thread going over everything that's changed 🫡
ALT Decoding a Seaport 1.1 basicOrder, with an AI explanation of what the transaction may be doing.
2
11
48
11,864
0/ heimdall-rs 0.6.4 has been released, bringing minor bug fixes and improvements to the toolkit 🧵
3
6
48
5,910
🫡
0/ I've introduced compiler and parameter type detection using operation heuristics. This allows us to determine types without resolving signatures. 🧵
4
5
44
worth a listen if you're into EVM reversing 🫡
On @ScrapingBits I spoke w/ @BeckerrJon about:
🕵️♂️ The process of reverse engineering contracts.
🤖 Building a bytecode analyzer from scratch.
🧙♂️ Symbolic execution and dynamic analysis.
⁉️ And much more...
Listen now!
rss.com/podcasts/scrapingbit…
3
7
46
4,809
cleaning up the playground, making it easier to build queries than ever
more dope stuff coming soon 🦦👀
1
3
46
what if eve just wanted to be friends with alice and bob?
cryptographers cannot fathom this
2
2
42
3,984
decided to include a major refactor in the next version of heimdall-rs, which will:
- make all modules async
- all modules will return Result<> rather than create files
- separate the CLI from core heimdall mods
this should make it easier to use heimdall in your rust apps 🫡
3
2
45
3,091
1/ Check it out:
jbecker.dev/research/on-writ…
3
3
45
3,187
heimdall was cited in an ISSTA 2024 submission :D
doi.org/10.1145/3650212.3680…
1
35
1,365
The CFG module in heimdall-rs 0.3.1 will support all EVM contracts, regardless of compiler!
Working on a few more patches before the release.
2
6
43
3,465
looking to spice up my timeline with more EVM wizards. Tag some underfollowed devs in Ethereum 🫡
16
3
38
Just opened the heimdall-rs repo :) Docs are bare-minimum right now, mostly missing.
Currently only modules are decode and disassemble, but they are quite sexy so who cares. More coming soon ™️
now you can watch me work 🫡🫡
jbecker.dev/r/heimdall-rs
2
4
41
0/ heimdall-rs 0.4.6 has been released, bringing minor patches and QOL improvements 🦦🎉
Here's a quick thread with some changes:
3
4
30
1,031
currently working on a data-driven research paper on improving the accuracy of heimdall decompilation
the (ambitious) goal: 90% of all tokens are decompiled accurately when compared to the original solc compiler tokenization output
stay tuned 🦦
3
2
39
1,604
heimdall-rs 0.6.0 has been released introducing a major refactor, decompilation improvements, and more 🔥
let's dive in to what's changed👇
3
6
39
4,791
note to self, dont `println!("{:#?}", chain.state())`
your terminal will be stuck for 5 minutes
3
38
1,804
0/ if you're looking to contribute to heimdall but don't know where to start, here's a few great first issues! 🦦❤️
2
5
36
8,847
self-serve sub launches are live on @subsdotfun!
if it exists, there's a sub for it
post about what you love
get rewarded for doing it
11
3
34
5,058
❤️🔥 Thank you everyone for 200 stars on heimdall-rs and 100 GitHub followers! It means a lot to have your work recognized.
jbecker.dev/r/heimdall-rs
2
33
Simple decompile benchmarks coming in at ~12ms per run, with more complex contracts averaging ~150ms🔥
33
