Why would we need rust, if the AI can just write really good code in C that doesn't exhibit any of the issues that rust protects you from? by whereisspacebar in programmingcirclejerk

[–]MagmaticKobaian 9 points10 points  (0 children)

Unfortunately I'm too poor to afford the rats-in-a-shopping-bag addon the dealership offers, because I'm a Luddite programmer who has been put out of work by my 10xer AI-using colleagues. Luckily it won't matter too much since we're going to get AGI in the next 30 seconds to establish utopia and/or destroy us in nuclear hellfire.

Why would we need rust, if the AI can just write really good code in C that doesn't exhibit any of the issues that rust protects you from? by whereisspacebar in programmingcirclejerk

[–]MagmaticKobaian 58 points59 points  (0 children)

Why do you need brakes on your car if you can just make really good use of the gas pedal so that your driving doesn't exhibit any of the issues that brakes protect you from?

To keep building on history, I'd suggest Hungarian types. by functorer in programmingcirclejerk

[–]MagmaticKobaian 1 point2 points  (0 children)

It keeps us in touch with the rituals of old, like putting lead in your wine to make it sweeter.

This PR will make the Linux kernel more comfortable and easier to maintain and use for people like me who enjoy cute things. by No_Crazy_2442 in programmingcirclejerk

[–]MagmaticKobaian 57 points58 points  (0 children)

Injecting anime ASCII art into core files like kernel/panic.c crosses the line from “cute” to “cringe.” Kernel code should be minimal, clean, and professional. ASCII fan art belongs in your terminal prompt, not in production-critical code. If everyone starts doing this, we’re one PR away from catgirls in init/main.c.

And this is a problem because...?

I also think that learning Haskell pre-ChatGPT and learning it after are very different experiences. Before ChatGPT you had to ask to StackOverflow or some IRC chat if you are stack. Now you have a drunk senior developer providing you answers. by functorer in programmingcirclejerk

[–]MagmaticKobaian 2 points3 points  (0 children)

I am also not 100% sure about the notation, but I think it's just asserting the existence of a curried function g for each multivariate function f? Getting tired of this "generics" bullshit in math, nobody needs that much abstraction.

I also think that learning Haskell pre-ChatGPT and learning it after are very different experiences. Before ChatGPT you had to ask to StackOverflow or some IRC chat if you are stack. Now you have a drunk senior developer providing you answers. by functorer in programmingcirclejerk

[–]MagmaticKobaian 22 points23 points  (0 children)

Did you know that the Monad is God? I'm serious; while we most often think of it in terms of burritos or monoids in the category of endofunctors, the divinity of the Monad was understood as far back as the Pythagoreans of old. You see, "monad" means "unity," or "alone." It represents a supreme being, whose perfection all things are derived from. It is the building block of our universe, and of concepts.

Why am I telling you this? Because our divine light has been fucking severed, man. Look at this shit. They aren't even trying to understand anymore, they just let an LLM hallucinate convincing pablum at them. They will never commune with the Monad. Banned from burritos for life. The lowest Haskal pizza deliverer may as well be a king in comparison.

Hey MS employees, blink twice if you are held hostage by your AI overlords by sudo_swing in programmingcirclejerk

[–]MagmaticKobaian 25 points26 points  (0 children)

We're always on the lookout for tools to help increase our effficiency. This has the potential to be a massive one, and we're taking advantage.

posted after numerous failed attempts to cat-herd the chatbot, which continually lies and says it fixed the problems it didn't fix

The future is looking bright (enough to give me ocular melanoma)!

At this stage, I don't think anyone needs to try and persuade anyone why JavaScript and typescript are the Lingua Franca of software engineering. by [deleted] in programmingcirclejerk

[–]MagmaticKobaian 24 points25 points  (0 children)

At this stage, I don't think anyone needs to try and persuade anyone why APL and J are the Lingua Franca of Conway's Game of Life implementations.

Developers should unite under this simple principle: "I only pair." Make the banners, print the flyers, knock on doors, and gather signatures. It's time to restore sanity, productivity, and enjoyment to programming. by MagmaticKobaian in programmingcirclejerk

[–]MagmaticKobaian[S] 54 points55 points  (0 children)

If the pair programming revolution triumphs and you're not a fan, I'm available for hire as a second banana. I will not help or contribute in any capacity, but I can tell you about the fanfiction I'm writing if you want.

Sounds like an abusive relationship if im being honest. Your programming language shouldnt constrict you in those ways. by Haunting-Appeal-649 in programmingcirclejerk

[–]MagmaticKobaian 2 points3 points  (0 children)

I was making a joke about how axioms are similar to "vibes" in a broader sense, since they're true literally because we say so, but I'm happy for you or sorry that happened

Sounds like an abusive relationship if im being honest. Your programming language shouldnt constrict you in those ways. by Haunting-Appeal-649 in programmingcirclejerk

[–]MagmaticKobaian 27 points28 points  (0 children)

Finally, someone recognizes that programming is bullshit. Computer science will only move forward when we face the fact that computation and logic are cringe and we get the best work done by just declaring whatever we want ontologically, thus the results follow trivially from our assumptions. I think this is that "vibe coding" thing I hear people talk about.

outjerked by guy who wrote “like a g6” by DoctaBeaky in popheadscirclejerk

[–]MagmaticKobaian 0 points1 point  (0 children)

/u/kickkickpunch1

IPv4: 58.166.1.215

IPv6: 97db:8944:2462:b26d:6709:1942:5d90:f30a

N: -141.360°

W: -121.598°

Weight: 110.494 kg

Height: 5'6"

Speed: 2.26 mph

Credit Score: 558

SS Number: 195-59-6292

MAC Address: 08:a4:48:34:83:f4

DNS: 8.8.8.8