jon becker
@beckerrjon
Followers
3K
Following
10K
Media
765
Statuses
3K
any sufficiently advanced technology is indistinguishable from magic. senior swe @coinbase
Joined December 2019
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
22
42
498
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 ๐
4/ next up: pulling thousands of verified contracts from https://t.co/A15MVJ0BLo 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
0
2
2
5/ if interested, check out the evaluation repo here: (very minimal, for now) https://t.co/MouX4zBlXJ
github.com
structured evaluation framework for heimdall-rs. Contribute to Jon-Becker/heimdall-eval development by creating an account on GitHub.
0
0
3
4/ next up: pulling thousands of verified contracts from https://t.co/A15MVJ0BLo 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
sourcify.dev
Source code verification for Ethereum smart contracts. Open-source, open-data, open-standards.
1
1
3
3/ for example, if i wanted to add support for nested mappings, i could write an eval in solidity and get direct, instant feedback on every commit
1
0
2
2/ ๐๐๐๐๐๐๐๐-๐๐๐๐ runs on every heimdall PR, making it easier to spot regressions, test new features, and catch edge cases before they ship no more "looks right to me" reviews
1
0
3
1/ to solve this, i've added a structured evaluation framework for ๐๐๐๐๐๐๐๐-๐๐ using claude as an LLM judge compiles solidity evals from source โ feeds bytecode into heimdall โ claude judges the output
1
0
3
0/ how do you measure if a decompiler is actually good? string matching? nope. variable names are gone. arg names don't exist. comments are dust. you need something that understands ๐ด๐ฆ๐ฎ๐ข๐ฏ๐ต๐ช๐ค ๐ฆ๐ฒ๐ถ๐ช๐ท๐ข๐ญ๐ฆ๐ฏ๐ค๐ฆ
1
1
10
The Base App Is Now Open To Everyone, Everywhere https://t.co/KWdeoGjXj9
blog.base.org
The new Base App is available in more than 140 countries. Itโs an everything app for social, trading, and payments with countless ways to earnโฆ
191
236
1K
2
0
14
been quietly analyzing 6m+ prediction markets and ~70m kalshi trades the results areโฆ interesting. publishing everything open-source soon โข๏ธ
1
0
14
the lion concerns himself with providing enough shareholder value
0
0
9