Toots for ohad@mathstodon.xyz account

Written by ohad on 2025-02-01 at 06:47

Someone enjoyed themselves on this ride before I got on! No sign of them, though.

=> View attached media

=> More informations about this toot | View the thread

Written by ohad on 2025-01-29 at 19:22

The next SPLS will be in Stirling, 5 March, organised by Patrick Maier:

https://spli.scot/spls/meetings/2025/march/

=> More informations about this toot | View the thread

Written by ohad on 2025-01-29 at 18:21

S-REPLS at Imperial College London on 1st April, organised by Alistair Donaldson:

https://forms.office.com/e/sWvG4Z1JSR

=> More informations about this toot | View the thread

Written by ohad on 2025-01-25 at 13:15

Apropos of snoc lists, does anyone know the coining usage?

Strictly speaking, both (can be implemented) to use cons cells. So I can argue they should be called car/cdr lists. (I will not argue this though.)

=> More informations about this toot | View the thread

Written by ohad on 2025-01-23 at 00:36

Imagine having this journal on your publication list:

Journal of Inverse and Ill-posed Problems:

https://www.degruyter.com/journal/key/jiip/html

=> More informations about this toot | View the thread

Written by ohad on 2024-11-03 at 07:27

In a bold art-imitates-art move, our UG students at the University of Edinburgh have set up a SIG, about Types.

The first talk this year is about the powerful technique of logical relations. So if you happen to be in Edinburgh, you might want to show up.

=> View attached media

=> More informations about this toot | View the thread

=> This profile with reblog | Go to ohad@mathstodon.xyz account