Some pictures of my talk and panel on AI Ethics at the Estonian Academy of Sciences, together with David Dalrymple from Future of Humanity Institute and Pawel Sobocinski from TalTech - Tallinn University of Technology.

I hope that nobody I know votes for this joke of a party.

Come and work on string diagrams in Tallinn!

A great resource for anyone who wants to get into string diagrams!

A geopolitical poll:

Chyp is an interactive theorem prover (ITP) for string diagrams. You type terms and it draws pictures. It handles all the category theory bureaucracy automatically, thanks to the magic of hypergraph rewriting (CHYP = Cospans of HYPergraphs). github.com/akissinger/chyp

I believe the trend toward smaller, cheaper, airborne robotic platforms will continue (quadrotors likely not the last word), and their cost-effectiveness for real applications will continue to surprise people.

Via Paolo Fabbri, 43

My first Tallinn defence - congrats to Dr Mario Román!

Super excited about this. Thanks European Research Council (ERC) #ERCCoG . If anybody out there is interested in doing lots of cool, practical stuff for quantum computing with #ZXCalculus , look out for postdoc ads in the coming year!

Department for Science, Innovation and Technology RIA (NCSC-EE) UK in Estonia Denmark MFA 🇩🇰 UK Embassy DK 🇬🇧🇩🇰 Lasse Laitinen TEM Finnish Center for AI 🦣 @[email protected] VTT Business Finland Kommunal- og distriktsdepartementet Digitaliseringsdirektoratet British Embassy Oslo 🇬🇧🇳🇴 Finansdepartementet Brittiska Ambassaden Stockholm Florian Ostmann The Alan Turing Institute AI Standards Hub OECD ➡️ Better Policies for Better Lives National Institute of Standards and Technology @TBubbearFCDO Foreign, Commonwealth & Development Office NPL Meeri Haataja Saidot Rather than throwing money into it, research into #AI should be more strategic, identifying concrete issues to solve says Pawel Sobocinski from TalTech - Tallinn University of Technology The ethics of AI, from mental health impact to election processes, is difficult to assess says Matilda Rhode BSI UK

Good news everyone! the 8th Women in Logic workshop is happening in Tallin, Estonia on the 9th July 2024! website soon!

I’m hiring—for the ONE role which will be my ONLY direct report for the duration of my time at ARIA. This is because ARIA does not directly execute missions (like NASA), rather funds R&D elsewhere (like ARPA). But the programme I’m planning requires more NASA-like coordination

👀👏Discover the forward-thinking work of Professor Pawel Sobocinski, who is reshaping the future of software and AI with innovative mathematical approaches at TalTech – Tallinn University of Technology. 📢 researchinestonia.eu/2024/03/22/paw…

Finished my book draft! 😊 Hoping to drop this on the arxiv before the end of the week.

I'm off... I don't want to be a part of Musk's ad farming/ right wing propaganda operation anymore. Twitter was a cool thing, I'm looking forward to what replaces it.

Palestinian and proud!

I love almost everything about living in Estonia. But the drivers can be absolute psychopaths, I’ve had some close calls as a pedestrian.