You can find my little art shop 'The Wee Owl Studio' on Folksy.
I sell affordable original nature pieces, mostly on a small scale. My shop is open all through the holiday season...
https://folksy.com/shops/theweeowlart

#FediGiftShop #ScottishArtist #MastoArt #CreativeToots
#Flowers #Iris #Rose #Cosmos #OriginalArt #Drawing #Painting #Artwork #TraditionalArtist #ArtFromScotland #GiftIdeas #ArtShop #ShopIndy #SupportSmallBusiness

You can find my little art shop 'The Wee Owl Studio' on Folksy.
I sell affordable original nature pieces, mostly on a small scale. My shop is open all through the holiday season...
https://folksy.com/shops/theweeowlart

#FediGiftShop #ScottishArtist #MastoArt #CreativeToots
#Flowers #Iris #Rose #Cosmos #OriginalArt #Drawing #Painting #Artwork #TraditionalArtist #ArtFromScotland #GiftIdeas #ArtShop #ShopIndy #SupportSmallBusiness

The 2026 Netherlands Winter School on Logic and Verification will take place Tuesday 20-Friday 23 January, 2026 at University of Twente. The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

cyclic-structures.gitlab.io/school2026/

Please consider registering! If you're a PhD student registered with the IPA school it will (very likely) be possible to get the costs reimbursed, but anyone with their own funding is welcome too.

#Logic #Verification #TypeTheory #CategoryTheory #Coinduction #SessionTypes #Concurrency #Rocq #Agda #Iris

The 2026 Netherlands Winter School on Logic and Verification will take place Tuesday 20-Friday 23 January, 2026 at University of Twente. The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

cyclic-structures.gitlab.io/school2026/

Please consider registering! If you're a PhD student registered with the IPA school it will (very likely) be possible to get the costs reimbursed, but anyone with their own funding is welcome too.

#Logic #Verification #TypeTheory #CategoryTheory #Coinduction #SessionTypes #Concurrency #Rocq #Agda #Iris

I think Lemmy, Mbin and Piefed will soon see an influx of new users.

Reddit is going to use Sam Altmans sketchy iris-scanning "Orb" to verify users.

What in the Black Mirror is this shit?

https://www.semafor.com/article/06/20/2025/reddit-considers-iris-scanning-orb-developed-by-a-sam-altman-startup

#reddit #iris #orb#worldID #lemmy #mbin #piefed

I think Lemmy, Mbin and Piefed will soon see an influx of new users.

Reddit is going to use Sam Altmans sketchy iris-scanning "Orb" to verify users.

What in the Black Mirror is this shit?

https://www.semafor.com/article/06/20/2025/reddit-considers-iris-scanning-orb-developed-by-a-sam-altman-startup

#reddit #iris #orb#worldID #lemmy #mbin #piefed

Our first Siberian #Iris is in flower.
You could just dive into the depths of that colour. 😊

Our first Siberian #Iris is in flower.
You could just dive into the depths of that colour. 😊