Colin Gordon

PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics).

Currently figuring out how to combine all of my interests by mechanically translating English into formal specifications of a formally verified OS kernel for RISC-V.

:freebsd_logo: :debian: :openbsd: :clang: :csharp: :racket: :rust:

Public Key

npub1qcx9tpj5u3cefg9mxhg954m9xdcw6gx758ryp5ydvc9ar0fmrwyshdd49z

NIP-05 Address

csgordon_at_discuss.systems@mostr.pub

Profile Code

nprofile1qqsqvrz4se2wguv55zant5z62ajnxu8dyr02r3jq6zxkvz73h5a3hzgpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsx3hfdc

Publishing to

relay.damus.io

nos.lol

Author Public Key

npub1qcx9tpj5u3cefg9mxhg954m9xdcw6gx758ryp5ydvc9ar0fmrwyshdd49z

Show more details

Published at

2023-09-12T23:59:00Z

Kind type

0 Metadata

Event JSON

{ "id": "8ce0b6924a6647e934b8291a1f67ca145cca60ae36c5cf50f82b15198cb9c610", "pubkey": "060c558654e47194a0bb35d05a57653370ed20dea1c640d08d660bd1bd3b1b89", "created_at": 1694563140, "kind": 0, "tags": [ [ "emoji", "freebsd_logo", "https://fd.discuss.systems/custom_emojis/images/000/034/918/original/802b844c3edc40d4.png" ], [ "emoji", "debian", "https://fd.discuss.systems/custom_emojis/images/000/014/272/original/1a4aec159e1bf72c.png" ], [ "emoji", "openbsd", "https://fd.discuss.systems/custom_emojis/images/000/014/287/original/4e903b9e83ab82bc.gif" ], [ "emoji", "clang", "https://fd.discuss.systems/custom_emojis/images/000/034/913/original/3f1774ed1251fcd5.png" ], [ "emoji", "csharp", "https://fd.discuss.systems/custom_emojis/images/000/034/912/original/82805a68d02f541e.png" ], [ "emoji", "racket", "https://fd.discuss.systems/custom_emojis/images/000/034/903/original/bbcdfa63a87001f3.png" ], [ "emoji", "rust", "https://fd.discuss.systems/custom_emojis/images/000/014/308/original/9c6b98d44057e7b1.png" ], [ "proxy", "https://discuss.systems/users/csgordon", "activitypub" ] ], "content": "{\"name\":\"Colin Gordon\",\"about\":\"PL professor, kernel hacker, aspiring linguist (syntax \u0026 compositional semantics).\\n\\nCurrently figuring out how to combine all of my interests by mechanically translating English into formal specifications of a formally verified OS kernel for RISC-V.\\n\\n:freebsd_logo: :debian: :openbsd: :clang: :csharp: :racket: :rust:\",\"picture\":\"https://fd.discuss.systems/accounts/avatars/110/854/211/350/403/425/original/ea7e749d3466e9c9.jpg\",\"nip05\":\"csgordon_at_discuss.systems@mostr.pub\"}", "sig": "53caa581116681f75b7fddfb4b5f498580e9f43b065b22d96243b5bfbbe5975536ca7a5fe0b768b99a42457a3a5255e94e0de097be72575d4987fa2a9402e14a" }