#plusle — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #plusle, aggregated by home.social.
-
'Pichu and Dedenne Go Mud Sliding' + 'Blowing Dandelions with Plusle and Minun'
https://friendica.world/display/84b6ef2b-116a-128e-ca2e-557370478753
-
'Pichu and Dedenne Go Mud Sliding' + 'Blowing Dandelions with Plusle and Minun'
#cute #cuteart #pokemon #pokemonart #pichu #dedenne #plusle #minun #lumixgf2 #microfourthirds #canonfd #vintagelenses
-
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, 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 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/
-
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 -
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 -
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 -
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
-
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
-
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
-
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
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
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
-
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
-
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
-
Sättigungs-Abenteuer mit Botogel und neue Lieferungen in Pokémon Café ReMix
Erhaltet außerdem die Chance, Pokusan mit neuem Outfit erhalten.
Zur News: https://news.bisafans.de/12265
#Event #IOS #Android #Minun #Botogel #Outfit #NintendoSwitch #Plusle #Bingo #Lieferung #Pokusan #PokémonCaféReMix #SättigungsAbenteuer
-
Sättigungs-Abenteuer mit Botogel und neue Lieferungen in Pokémon Café ReMix
Erhaltet außerdem die Chance, Pokusan mit neuem Outfit erhalten.
Zur News: https://news.bisafans.de/12265
#Event #IOS #Android #Minun #Botogel #Outfit #NintendoSwitch #Plusle #Bingo #Lieferung #Pokusan #PokémonCaféReMix #SättigungsAbenteuer
-
Sättigungs-Abenteuer mit Botogel und neue Lieferungen in Pokémon Café ReMix
Erhaltet außerdem die Chance, Pokusan mit neuem Outfit erhalten.
Zur News: https://news.bisafans.de/12265
#Event #IOS #Android #Minun #Botogel #Outfit #NintendoSwitch #Plusle #Bingo #Lieferung #Pokusan #PokémonCaféReMix #SättigungsAbenteuer
-
Sättigungs-Abenteuer mit Botogel und neue Lieferungen in Pokémon Café ReMix
Erhaltet außerdem die Chance, Pokusan mit neuem Outfit erhalten.
Zur News: https://news.bisafans.de/12265
#Event #IOS #Android #Minun #Botogel #Outfit #NintendoSwitch #Plusle #Bingo #Lieferung #Pokusan #PokémonCaféReMix #SättigungsAbenteuer
-
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
-
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
-
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
-
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
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
-
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
-
Event zum zweiten Jubiläum in Pokémon Sleep gestartet
Freut euch auf Geckarbor, Flemmli, Hydropi, Plusle und Minun!
Zur News: https://news.bisafans.de/11787
#Event #Geckarbor #IOS #Android #Flemmli #Minun #Hydropi #Jubiläum #Plusle #PokémonSleep
-
Event zum zweiten Jubiläum in Pokémon Sleep gestartet
Freut euch auf Geckarbor, Flemmli, Hydropi, Plusle und Minun!
Zur News: https://news.bisafans.de/11787
#Event #Geckarbor #IOS #Android #Flemmli #Minun #Hydropi #Jubiläum #Plusle #PokémonSleep
-
Event zum zweiten Jubiläum in Pokémon Sleep gestartet
Freut euch auf Geckarbor, Flemmli, Hydropi, Plusle und Minun!
Zur News: https://news.bisafans.de/11787
#Event #Geckarbor #IOS #Android #Flemmli #Minun #Hydropi #Jubiläum #Plusle #PokémonSleep
-
Details zum zweiten Jubiläums-Event in Pokémon Sleep
Viele neue Pokémon werden bei diesem Event erscheinen.
Zur News: https://news.bisafans.de/11784
#Event #Geckarbor #IOS #Android #Flemmli #Minun #Hydropi #Jubiläum #Plusle #PokémonSleep
-
Details zum zweiten Jubiläums-Event in Pokémon Sleep
Viele neue Pokémon werden bei diesem Event erscheinen.
Zur News: https://news.bisafans.de/11784
#Event #Geckarbor #IOS #Android #Flemmli #Minun #Hydropi #Jubiläum #Plusle #PokémonSleep
-
Details zum zweiten Jubiläums-Event in Pokémon Sleep
Viele neue Pokémon werden bei diesem Event erscheinen.
Zur News: https://news.bisafans.de/11784
#Event #Geckarbor #IOS #Android #Flemmli #Minun #Hydropi #Jubiläum #Plusle #PokémonSleep
-
Massive Aufläufe mit Elektro-Pokémon in Pokémon Karmesin und Purpur gestartet
Die Chance auf Schillernde Exemplare ist außerdem erhöht.
Zur News: https://news.bisafans.de/11766
#Pachirisu #Minun #Dedenne #NintendoSwitch #Plusle #Morpeko #PokémonKarmesin #PokémonPurpur #Paldea #Pamo #Kitakami #BlaubeerAkademie #MassiveAufläufe
-
Massive Aufläufe mit Elektro-Pokémon in Pokémon Karmesin und Purpur gestartet
Die Chance auf Schillernde Exemplare ist außerdem erhöht.
Zur News: https://news.bisafans.de/11766
#Pachirisu #Minun #Dedenne #NintendoSwitch #Plusle #Morpeko #PokémonKarmesin #PokémonPurpur #Paldea #Pamo #Kitakami #BlaubeerAkademie #MassiveAufläufe
-
Massive Aufläufe mit Elektro-Pokémon in Pokémon Karmesin und Purpur gestartet
Die Chance auf Schillernde Exemplare ist außerdem erhöht.
Zur News: https://news.bisafans.de/11766
#Pachirisu #Minun #Dedenne #NintendoSwitch #Plusle #Morpeko #PokémonKarmesin #PokémonPurpur #Paldea #Pamo #Kitakami #BlaubeerAkademie #MassiveAufläufe
