Not found
There is nothing at this address. Go to the home page.
Eitan's Logbook
Hi, my name is Eitan. I put this site together to organize my thoughts. Outside of engineering I'm into early 2000's video games, Brazilian jiu jitsu, surfing and snowboarding.
Writing
| Date | Title | Topic | Length |
|---|---|---|---|
| 11/10/26 | Lighthouse's state storage mechanism | Lighthouse | 4 min |
| 10/29/26 | Etheorem and small spec inconsistencies | Formal Verification | 11 min |
| 10/26/26 | A formally verified order book | Formal Verification | 9 min |
| 10/20/26 | Bid FeedFeeding bids to a validator client | Ethereum Protocol | 4 min |
| 10/9/26 | Optimistic Sync bugfix for ePBS | Ethereum Protocol | 5 min |
| 10/5/26 | I formally verified this blog siteI built this blog site and decided to formally verify it | Formal Verification | 7 min |
- Swell
- --ft
- Period
- --s
- Wind
- --kt
- Water
- --°F
Loading NOAA data...
Buoy 46221 · KTOA wind · King Harbor tides (approx.). Data: NOAA NDBC, NWS, CO-OPS.
© 2026 . Last updated October 1, 2026. Best viewed at 800 × 600.
View: | Desktop