Dan Hagon (@axiomsofchoice) 's Twitter Profile
Dan Hagon

@axiomsofchoice

Founder/CEO @FloohmHQ

ID: 27238310

calendar_today28-03-2009 14:40:43

19,19K Tweet

1,1K Followers

4,4K Following

cts🌸 (@gf_256) 's Twitter Profile Photo

A bug in WETH: Wrapped ETH is a smart contract that has been in over 125 MILLION Ethereum transactions. This year, 11.5% of all transactions used Wrapped ETH. But is it secure? I formally verified two critical safety properties with a SMT solver, Z3.👇🧵 zellic.io/blog/formal-ve…

A bug in WETH:
Wrapped ETH is a smart contract that has been in over 125 MILLION Ethereum transactions. This year, 11.5% of all transactions used Wrapped ETH.
But is it secure? I formally verified two critical safety properties with a SMT solver, Z3.👇🧵
zellic.io/blog/formal-ve…
Ken Shirriff (@kenshirriff) 's Twitter Profile Photo

The 8086 processor (1978) led to the hugely-popular x86 architecture. Internally, the 8086 uses microcode, running a tiny program for each machine instruction. I'm reverse-engineering the chip from die photos and I can explain exactly how the 8086 microcode engine works.🧵

The 8086 processor (1978) led to the hugely-popular x86 architecture. Internally, the 8086 uses microcode, running a tiny program for each machine instruction.
 I'm reverse-engineering the chip from die photos and I can explain exactly how the 8086 microcode engine works.🧵
Dan Hagon (@axiomsofchoice) 's Twitter Profile Photo

Starting this year I'll be doing a weekly live coding stream on Twitch (Thu 18:00-20:00 GMT). twitch.tv/axiomsofchoice I'll be hacking on interesting problems, new or interesting frameworks and tools. Suggestions for areas to explore in the first session? Share them below!

Dan Hagon (@axiomsofchoice) 's Twitter Profile Photo

Except... there are many many proofs of e. g. the pythagorean theorem and subjectively some are more aesthetically pleasing than others. In type theory if you find an inhabitant (a program) of a type then you've proven a theorem. Writing programs is a creative process.

kishimisu (@kishimisu) 's Twitter Profile Photo

Just for fun, I've implemented a Convolutional Neural Network (CNN) that predicts handwritten digits... Fully using #glsl and fragment shaders! The model exactly has 2023 parameters and its inner activations are displayed as you draw Try it out live! shadertoy.com/view/msVXWD

Pierre Terdiman (@pierreterdiman) 's Twitter Profile Photo

That mention of radix sort reminds me of an anecdote. Back in 1998 I was doing an internship at a small software company in Paris. I was the lowest-level junior guy in the team - unpaid work, mandatory stuff for an engineering school.

morgan (@casualeffects) 's Twitter Profile Photo

It wasn't until I'd *taught* algorithms a few times that I finally understood why sorting is in the CS curriculum. Unfortunately, most curricula don't explain this! It is NOT because sorting is an important algorithm to learn to implement...

Niall Deacon (@nialldeacon) 's Twitter Profile Photo

Very rare to see this level of tayloring nowadays, even on the wealthy. So let's talk about some of the reasons why it's great. 🧵 1!/n!

Very rare to see this level of tayloring nowadays, even on the wealthy. So let's talk about some of the reasons why it's great. 🧵 1!/n!
Electromagnetic Field (@emfcamp) 's Twitter Profile Photo

Save the date: Electromagnetic Field 2024 will be held on May 30 - June 2, 2024. We'll be back at Eastnor Castle Deer Park in Herefordshire for the third time. More details to come! emfcamp.org

near (@nearcyan) 's Twitter Profile Photo

the thing of note about this image is not that you can put up a poster at ICML but rather, that this generalizes to a much broader category of 'you can do X and no one will stop you!', and that this category includes many things none of us have yet pondered

the thing of note about this image is not that you can put up a poster at ICML

but rather, that this generalizes to a much broader category of 'you can do X and no one will stop you!', and that this category includes many things none of us have  yet pondered
Robert Graham (@erratarob) 's Twitter Profile Photo

THIS. THIS. THIS. You have no fucking idea how technically incompetent those people are in your company/org that intimidate you with their technical competence. You have no business ever thinking "I can never be as techie as that guy". EVER.