home.social

#hatra2023 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #hatra2023, aggregated by home.social.

  1. If anyone's waiting to watch the #HATRA2023 talk about the #Luau programming language, it'll be live at youtube.com/live/M_l4MMzf2tQ

  2. If anyone's waiting to watch the #HATRA2023 talk about the #Luau programming language, it'll be live at youtube.com/live/M_l4MMzf2tQ

  3. If anyone's waiting to watch the #HATRA2023 talk about the #Luau programming language, it'll be live at youtube.com/live/M_l4MMzf2tQ

  4. If anyone's waiting to watch the #HATRA2023 talk about the #Luau programming language, it'll be live at youtube.com/live/M_l4MMzf2tQ

  5. If anyone's waiting to watch the #HATRA2023 talk about the #Luau programming language, it'll be live at youtube.com/live/M_l4MMzf2tQ

  6. Got some thoughts on Human Aspects of type systems, proof assistants, or anything related? Possibly just one page of thoughts? Then send them to HATRA 2023 2023.splashcon.org/home/hatra- by 12 July! #HATRA #HATRA2023

  7. Got some thoughts on Human Aspects of type systems, proof assistants, or anything related? Possibly just one page of thoughts? Then send them to HATRA 2023 2023.splashcon.org/home/hatra- by 12 July! #HATRA #HATRA2023

  8. Got some thoughts on Human Aspects of type systems, proof assistants, or anything related? Possibly just one page of thoughts? Then send them to HATRA 2023 2023.splashcon.org/home/hatra- by 12 July! #HATRA #HATRA2023

  9. Got some thoughts on Human Aspects of type systems, proof assistants, or anything related? Possibly just one page of thoughts? Then send them to HATRA 2023 2023.splashcon.org/home/hatra- by 12 July! #HATRA #HATRA2023

  10. Got some thoughts on Human Aspects of type systems, proof assistants, or anything related? Possibly just one page of thoughts? Then send them to HATRA 2023 2023.splashcon.org/home/hatra- by 12 July! #HATRA #HATRA2023