Raph #Levien is unconvinced that Adam Back #is-Satoshi. And dnnehgf points out glaring stylistic differences around “).”, “(ie”, and “(eg”. #Bitcoin
on 02026-04-08#Levien explains of #Dijkstra’s letter to him: “Yes, we were corresponding for a while, this wasn’t just a response to a cold contact. My dad, who was quite a promoter and very invested in the idea of me being a gifted kid, reached out to a bunch of computer scientists, and several responded. I have some of those letters but haven’t done any careful organizing of them. As I mentioned in the memorial note, Dijkstra would go on to invite me to the Marktoberdorf summer school the following summer, where I got to spend time with him, Tony Hoare, Greg Nelson, Robert Constable (of Nuprl fame), and others.”
on 02025-09-07Kazinator on #Mastodon replying to Raph #Levien about #Dijkstra
on 02025-09-07#PDF of #Dijkstra’s letter to Raph #Levien about #Io
on 02025-09-07Raph #Levien on #Mastodon posting a PDF of a letter #Dijkstra wrote him about #Io on 01989-11-11 when he was 19, which means he was born in 01970 or late 01969.
on 02025-09-07Raph #Levien's "Io" programming language #PDF
on 02023-01-04Raph #Levien’s #Metamath verifier in 300 lines of Python. #formal-methods #foundations-of-mathematics
on 02021-01-15Jon Blow is cynical about #algorithms like the ones used in Raph #Levien’s editor #xi.
on 02017-04-26Raph #Levien #video on writing a modern editor in #Rust. #toread
on 02016-10-07Raph #Levien’s first Ph.D. #dissertation from 2002, on Advogato and #reputation-systems. #pdf #toread
on 02016-08-13