#plusle — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #plusle, aggregated by home.social.
-
From 10:30 to 11:15 on Wednesday, June 24, the PLUSLE reading group will discuss "Universal Types and Relational Substitutions" (chapter 4 of Lau Skorstengaard's tutorial "An Introduction to Logical Relations").
https://plsl.acp.sdu.dk/posts/2026-06-24-universal-types-and-relational-substitutions/
#PLUSLE #logic #semantics #polymorphism #systemF #lambdaCalculus #programmingLanguages
-
From 11:00 to 12:00 on Thursday, May 28, the PLUSLE reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler.
https://plsl.acp.sdu.dk/posts/2025-05-28-proofs-as-processes-propositions-as-sessions/
#PLUSLE #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming
-
From 11:00 to 12:00 on Thursday, April 30, the PLUSLE reading group will discuss "Abstract Syntax and Variable Binding" by Marcelo Fiore, Gordon Plotkin, and Daniele Turi.
https://plsl.acp.sdu.dk/posts/2026-04-30-abstract-syntax-and-variable-binding/
#PLUSLE #syntax #programmingLanguages #categoryTheory #lambdaCalculus
-
From 14:30 to 15:30 on Wednesday, March 18, the PLUSLE reading group will discuss "Notions of Computation Determine Monads" by Gordon Plotkin and John Power.
https://plsl.acp.sdu.dk/posts/2026-03-18-notions-of-computation-determine-monads/
-
Q: Is @[email protected]'s PLUSLE reading group associated with PSSL, the Peripatetic Seminar on Sheaves and Logic happening next month?
A: No, but we are not the ones outsourcing web hosting to google sites, so PLUSLE won't be the one backing down first #PLUSLE -
Drop-Event mit Mega-Meditalis-ex in Pokémon-Sammelkartenspiel-Pocket gestartet
Über CPU-Kämpfe werden wieder einige besondere Promokarten erhältlich sein.
Zur News: https://news.bisafans.de/12452
#Event #Boreos #Trasla #Hydropi #Plusle #Missionen #MegaMeditalis #SammelkartenspielPocket #TCGPocket #DropEvent
-
From 11:00 to 12:00 on Tuesday, February 17, the PLUSLE reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar.
https://plsl.acp.sdu.dk/posts/2026-02-17-an-introduction-to-algebraic-effects-and-handlers/
#PLUSLE #algebraicEffects #effectSystems #semantics #logic #programmingLanguages
-
CW: clothed hyper
Timelapse of that being drawn.
Still for https://www.furaffinity.net/user/ac2/
#minkart #furry #furryart #hyper #hypercock #hyperballs #hyperbulge #cock #balls #bulge #breasts #plusle #pokemon #female #hyperfur
-
CW: clothed hyper
Casting arcane spells with somatic components while wearing armor requires a spell failure check from the caster.
For https://www.furaffinity.net/user/ac2/
#minkart #furry #furryart #hyperfur #hyper #hypercock #hyperballs #hyperbulge #cock #balls #bulge #breasts #plusle #pokemon #female
-
From 14:00 to 15:30 on Thursday, December 11, the correspondance between internal mobility and agent-passing calculi will be discussed in the PLUSLE reading group. The material to be read before the meeting is sections 6-9 of Davide Sangiorgi, "π-Calculus, internal mobility, and agent-passing calculi", Theoretical Computer Science, Volume 167, Issues 1–2, 1996, Pages 235-274.
#PLUSLE #programmingLanguages #semantics #concurrency #functionalProgramming #piCalculus
-
ACP's PhD students just started PLUSLE (/ˈpləs-əl/, like the Pokémon!), the Programming Languages, Universality, Semantics, Logic Exchange! Read more about the reading group on the PLUSLE website (RSS and ICAL available!).
From 13 to 14 on December 1, sections 1-5 of Davide Sangiorgi, "π-Calculus, internal mobility, and agent-passing calculi" will be discussed.
#PLUSLE #programmingLanguages #semantics #logic #concurrency #functionalProgramming
-
CW: hyper
Timelapse of those being drawn.
Still for https://furaffinity.net/user/ac2/
#minkart #furry #furryart #hyper #hypercock #hyperballs #hypercum #cock #balls #cum #destruction #plusle #pokemon #female #hyperfur
-
CW: hyper
Timelapse of those being drawn.
Still for https://furaffinity.net/user/ac2/
#minkart #furry #furryart #hyper #hypercock #hyperballs #hypercum #cock #balls #cum #destruction #plusle #pokemon #female #hyperfur
-
CW: hyper
This type of equipment affects the ability to hide and move silently.
For https://furaffinity.net/user/ac2/
#minkart #furry #furryart #hyperfur #hyper #hypercock #hyperballs #hypercum #cock #balls #cum #destruction #plusle #pokemon #female
-
CW: hyper
This type of equipment affects the ability to hide and move silently.
For https://furaffinity.net/user/ac2/
#minkart #furry #furryart #hyperfur #hyper #hypercock #hyperballs #hypercum #cock #balls #cum #destruction #plusle #pokemon #female
-
A #Pathfinder2e conversion of my older #Pokemon #MagicItems, with a #Manectric two-bladed #sword to draw lightning, and a #Plusle #shortsword looking for its partner!
#Pathfinder #PF2e #PathfinderRPG #PathfinderArt #Paizo #Nintendo #TTRPG #Homebrew #FantasyArt #ItemArt #NintendoSwitch #TableTop #TableTopGames #PokemonArt #PokemonRPG
-
Pokémon Saiko Soda Refresh Plushies - Minun, Plusle & more. Check them out at the link below!
🛑https://meccha-japan.com/en/217-saiko-soda
#Pokemon #Minun #Plusle -
Pokémon Saiko Soda Refresh Plusle Plush - Very Limited Quantity!
🛑https://meccha-japan.com/en/saiko-soda/92062-plush-pichu-pokemon-saiko-soda-refresh.html
#Pokemon #Plusle -
Very old piece from pre-Sword/Shield days, of all the Pika clones up to that point! Based off the Dogs playing Poker art :)
Def need to revisit and update this to have Pawmi and Morpeko in it!
https://www.furaffinity.net/view/27644471/
#sfw #pokemon #furry #quad #pkmn #pikachu #raichu #pichu #art #togedemaru #plusle #minun #mimikyu #emolga #pachirisu #dedenne
-
CW: non-lewd astronomical macro, paws
Elysia's got your entire eternity wrapped around her toes. These timelines make for nice accessories, despite being so temporary!
And the recording thereof.
For https://www.furaffinity.net/user/ac2
#mink_art #furry #furryart #macro #astronomical_macro #paws #plusle
-
CW: non-lewd astronomical macro, paws
Elysia's got your entire eternity wrapped around her toes. These timelines make for nice accessories, despite being so temporary!
And the recording thereof.
For https://www.furaffinity.net/user/ac2
#mink_art #furry #furryart #macro #astronomical_macro #paws #plusle
-
