https://github.com/type

She seems to be taking it in stride. She has the opportunity for some epic trolling with that power…

deleted by creator

Screenshot of a GitHub account named "Type" and with the username "type". The account's profile picture is of a blonde lady with an exaggerated smile and the account's description is "Sorry for terrifying you when you use a type annotation".

This is so funny

I guess she is everyone’s type 😎

How is this possible? Some random gal’s github shows up?

@burkybang@lemmy.world
link
fedilink
English
301M

Not random. Her GitHub username is “type”, so “@type” tags her.

That’s only useful in commit messages, issue discussions and stuff like that. Why would the devs even make that execute in source files, where it’s all but guaranteed to be a false match??

Kairos
link
fedilink
17
edit-2
1M

That’s “automatically turning domain names into http hyperlinks” but even worse.

@renzev@lemmy.world
link
fedilink
English
31M

Still better than automatically converting :) to 😃

Kairos
link
fedilink
21M

Eh.

QA developers near your. They want to review your code now!

Don’t touch my garbage! 😾

A fellow opposum!

sheepishly
link
fedilink
181M

This makes me want to actually use VSCode for my web dev work instead of just using Notepad for everything so it can troll me like this

So is she his @type though?

He would have to infer that…

Quick, duck!

Is that a pun?

(duck-typing)

(Type punning) :)

That’s the next level of trolling!

I think she’s your type!

Create a post

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

  • Posts must be relevant to programming, programmers, or computer science.
  • No NSFW content.
  • Jokes must be in good taste. No hate speech, bigotry, etc.
  • 1 user online
  • 120 users / day
  • 257 users / week
  • 744 users / month
  • 3.72K users / 6 months
  • 1 subscriber
  • 1.47K Posts
  • 32.3K Comments
  • Modlog