A tiny Iris drawing, perfect for a small affordable art gift or for a small space such as a home office. Find my work on Folksy...
https://folksy.com/items/8590968
#FediGiftShop #ScottishArtist #MastoArt #CreativeToots
#Iris #Flowers #OriginalArt #Drawing #ColourPencil #Artwork #TraditionalArtist #ArtFromScotland #GiftIdeas #ArtShop #ShopIndy #SupportSmallBusiness
A tiny Iris drawing, perfect for a small affordable art gift or for a small space such as a home office. Find my work on Folksy...
https://folksy.com/items/8590968
#FediGiftShop #ScottishArtist #MastoArt #CreativeToots
#Iris #Flowers #OriginalArt #Drawing #ColourPencil #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
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?
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?
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. 😊