Last week I attended the _Eelco Visser Commemorative Symposium_ (#EVCS) [1], twas wonderfully orchestrated, and contained a great set of talks that highlighted Eelco's (& his group's) passions & ideas. I would recommend the proceedings

I talked with old friends, new friends, and acquaintances. With enough socialising that I managed to self invite myself back to Delft, and also to CWI, to talk about my work.

[1] https://symposium.eelcovisser.org/

@JacquesC2 && @agdakx

Following on from our #EVCS dinner time chat about decidability and runtime error reporting. The issue that _I_ call _Being Positively Negative_, but is really a form of constructive negation.

Here is a blog post I wrote last Summer on the issue (aimed at beginners as well as experts).

https://tyde.systems/post/2022-06-02-posneg/

And a little Idris2 library exploring @bentnib suggestion of framing the _constructive negation_. I would recommend his MSFP talk (link is on the blog && github).

https://github.com/jfdm/positively-negative

I've been meaning to follow this through with a paper, but will have headspace in September as I need to address runtime relevancy in my construction.

#Idris #Idris2

Grateful to the many participants and authors of the Eelco Visser Commemorative Symposium in Delft last week. Read all papers, and listened to all talks. Presented my opening talk reflecting on Eelco’s way to get things done. All papers, including mine, available as open access, via https://drops.dagstuhl.de/opus/portals/oasics/index.php?semnr=16272

Huge thanks to the organizers of this impressive day, especially @pdmosses!

#EelcoVisser #EVCS #EVCS2023