ＳＴ０１０－１４ @st01014.bsky.social Code synthesizing Carbon-Silicon based lifeform 🖥️🧬
#Coding #Math #Physics
#HPC & #AI
#RetroTech
#Aerospace
#ＡＥＳＴＨＥＴＩＣＳ
Random #Nerdiness & #Shitposting
Thomas Gassmann @thomas.gassmann.dev CS Student at ETH Zürich
thomasgassmann.com
dariofio.bsky.social @dariofio.bsky.social 
Brittany Reid @brittanyareid.bsky.social Assistant Professor in Software Engineering, Nara Institute of Science and Technology, Japan. From Adelaide, Australia. 🦘
https://brittany-reid.github.io/
Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Addison @addisoncrump.info PhD at CISPA, member at secret.club, sleeping at home
Find me also on Fediverse: @addison@nothing-ever.works
splash art by Nicolas Gendron: https://www.tumblr.com/nicolasgendron
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
@streamlight.bsky.social @streamlight.bsky.social 
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io