#hatra2023 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hatra2023, aggregated by home.social.
-
If anyone's waiting to watch the #HATRA2023 talk about the #Luau programming language, it'll be live at https://www.youtube.com/live/M_l4MMzf2tQ
-
If anyone's waiting to watch the #HATRA2023 talk about the #Luau programming language, it'll be live at https://www.youtube.com/live/M_l4MMzf2tQ
-
If anyone's waiting to watch the #HATRA2023 talk about the #Luau programming language, it'll be live at https://www.youtube.com/live/M_l4MMzf2tQ
-
If anyone's waiting to watch the #HATRA2023 talk about the #Luau programming language, it'll be live at https://www.youtube.com/live/M_l4MMzf2tQ
-
If anyone's waiting to watch the #HATRA2023 talk about the #Luau programming language, it'll be live at https://www.youtube.com/live/M_l4MMzf2tQ
-
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 https://2023.splashcon.org/home/hatra-2023 by 12 July! #HATRA #HATRA2023
-
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 https://2023.splashcon.org/home/hatra-2023 by 12 July! #HATRA #HATRA2023
-
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 https://2023.splashcon.org/home/hatra-2023 by 12 July! #HATRA #HATRA2023
-
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 https://2023.splashcon.org/home/hatra-2023 by 12 July! #HATRA #HATRA2023
-
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 https://2023.splashcon.org/home/hatra-2023 by 12 July! #HATRA #HATRA2023