this post was submitted on 03 Aug 2024
511 points (99.8% liked)

Programmer Humor

32581 readers
1074 users here now

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

Rules:

founded 5 years ago
MODERATORS
 
all 32 comments
sorted by: hot top controversial new old
[–] [email protected] 242 points 3 months ago (3 children)

https://github.com/type

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

[–] [email protected] 282 points 3 months ago

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

[–] [email protected] 119 points 3 months ago

I guess she is everyone's type 😎

[–] [email protected] 136 points 3 months ago (1 children)

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

[–] [email protected] 49 points 3 months ago (1 children)

Don't touch my garbage! 😾

[–] techt 15 points 3 months ago (1 children)
[–] CaptainBlagbird 67 points 3 months ago (1 children)

So is she his @type though?

[–] [email protected] 45 points 3 months ago (1 children)

He would have to infer that...

[–] [email protected] 6 points 3 months ago (1 children)
[–] [email protected] 4 points 3 months ago (1 children)
[–] [email protected] 5 points 3 months ago (1 children)
[–] [email protected] 7 points 3 months ago

(Type punning) :)

[–] [email protected] 36 points 3 months ago (2 children)

Why the fuck does VS Code show Github profiles? Seems like another EEE thing from Microsoft to lock people into the Github ecosystem.

[–] avogadro 10 points 3 months ago

It's an extension. There's a GitLab one too.

[–] netvor 3 points 3 months ago

to me things like being used this seem like just signs of the general mind rot of the software engineering domain.

"removing distractions and making our environment more predictable and reliable is hard, what, we did the opposite?" (a bunch of bootlickers cheering)

[–] [email protected] 28 points 3 months ago

I think she's your type!

[–] [email protected] 27 points 3 months ago

That's the next level of trolling!

[–] [email protected] 19 points 3 months ago (1 children)

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

[–] [email protected] 4 points 3 months ago (2 children)

using Notepad for everything

People… do this?

[–] [email protected] 3 points 3 months ago

No not really, I at least use IDLE for Python (:

[–] renzev 1 points 3 months ago (1 children)

For a while I've been using XFCE's mousepad to write code. Basically notepad but with syntax highlight and line numbers. With all of the fancy tooling you get in IDEs and editors nowadays, it's hard to forget that you really don't need all of that crap to write code. Sure, integrated debuggers and LSP and autocomplete can be very convenient at times, but at the end of the day it's your skill as a programmer that matters, not your tools.

[–] [email protected] 1 points 3 months ago* (last edited 3 months ago) (1 children)

You certainly don't need it, but I don't see much point in not using tools that make my life easier. We don't need compilers (or interpreters, or virtual machines) either

[–] renzev 1 points 3 months ago

I strongly believe that if you're a beginner programmer or if you're an experienced programmer learning a new language, you should first spend some time writing code with just a plain text editor, compiler, and (if applicable) debugger. It helps you understand the basics and build a good foundation of skills. Especially for beginner programmers, it keeps you from getting overwhelmed.

But yes, after you have the basics down, there's no reason to not use tools that make you more productive!

[–] [email protected] 17 points 3 months ago
[–] [email protected] 11 points 3 months ago (1 children)

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

[–] burkybang 30 points 3 months ago (2 children)

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

[–] [email protected] 22 points 3 months ago* (last edited 3 months ago) (1 children)

That's "automatically turning domain names into http hyperlinks" but even worse.

[–] renzev 4 points 3 months ago (1 children)

Still better than automatically converting :) to 😃

[–] [email protected] 2 points 3 months ago
[–] [email protected] 4 points 3 months ago

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??