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…

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.🧵

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!

Shoutout to all the people who said I got lucky.

Marc Andreessen (Marc Andreessen 🇺🇸), 30 years ago.

From a DM, just in case anyone else needs to hear this.

Evolution. Selection pressure is a form of learning. We are a not blank slates the day we are born.

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.

Makespace member making windows for Ukraine! bbc.co.uk/news/uk-englan…

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

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.

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...

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!

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

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

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.