RIP Tony Hoare. ๐ข
I only met him a couple times many years ago at MSR and was not accomplished enough at the time to have much useful to say, but he sure cast a long shadow over the field...
@ccrisccris@fchollet@VictorTaelin Thanks! Just a little bit - and we've started to look into it more! Working on something (which is general and we think is very cool) for SQL, and hoping to apply it to ARC problems. :-)
โHow I Became a Storyteller (and How You Can Too)โ โ the most important talk Iโve ever given. And now, itโs yours to experience.
https://t.co/veXpk6X6zP