SubjectToChange

Golang has good “implementation level” tooling, but that is still nothing when compared to tooling available to Java and C#. Even if GoLand is closing the gap on the IDE front (idk, I haven’t tried it), golang simply doesn’t offer the features found in OpenJDK or Dotnet (GC parameters/implementations, profiling/introspection data, interoperability/ffi, etc.). It just feels like golang’s tooling looks good when it’s competing against python, ruby, or JS/TS.

They are saying that a programmer should be able to cope with the cognitive dissonance of not immediately understanding something.

>Celebrate laziness and a want for simplicity.

Concepts like generics might be intellectually more challenging, but they are clearly the “lazy” approach for actually writing code. Writing and maintaining multiple versions of the same function, or using code generation, is intellectual lazy but manually intensive.

There’s a lot of advocacy for passive investing because it’s practically the only good option for retail investors. Managed funds can actually afford to advertise.

There are problems with passive investing becoming such a large portion of public investment, it is practically corporate welfare. But when the alternatives are at or around 2 and 20, with most performing worse than index funds, it’s irrational for the average person to do anything but passive investing.

Oh, they definitely deserve a union.

>unstable and poorly paid, low status job. Abused and exploited often.

Hmm… their job doesn’t really seem “cool enough” to have a union. They should just take it and shut up. I mean, they’re losers after all.

I’m sort of joking but it’s interesting how so many people “gatekeep” unions when people in unglamorous lines of work need unions more than almost anyone else.

>Where did they say you did?

They said it in the part where you got all confused and responded to me.

“If you break the law, then you go to jail” is not “you broke the law, you are going to jail”. I didn’t judge the entire FreeBSD community based on this blog post.

>...they aren't really interested in RFC compliance.

Yeah, well "feld" can't claim to be "interested in RFC compliance" either when he ghosts the issue for months and chooses to write blog posts instead of opening a new issue. Good grief.

If this is what the FreeBSD community is like, I want nothing to do with them.

Yeah, this sounds like a coaching staff trying to prove that they don't need high-end talent bailing them out, only to find out otherwise.

The point of the MacArthur Foundation is basically to launder the MacArthur name in the eyes of the public. So that when people see "MacArthur" they associate it with prestige and — more importantly — the excellence of its recipients, not its sleazy origin. Hence why recipients are only chosen when they have proven that their names are useful for the MacArthur Foundation.

In your example, the MacArthur Foundation wouldn't be giving out scholarships to high performing students, they'd be giving money to people like Donald Knuth. In other words, people who have already shown that they didn't need the money to be successful and don't really need the money to continue performing at a high level. Of course, it isn't a complete waste, but it doesn't go towards developing the next Donald Knuth. The MacArthur Foundation isn't "promoting excellence", it's "celebrating" the excellence in which it took absolutely no risk in developing. As the author says "The enterprise is not merely silly, but snooty: an exercise in invidious distinction for its own sake."

Cars aren't getting cheaper, car maintenance has become absurdly expensive (compared to what it was), auto insurance is set to get far more expensive, and making your entire lifestyle dependent on the existence of cheap gasoline is not a great strategy. A lot of people will simply be priced out of driving.

>It's not pro- public transit and better urban planning that bothers me. It's the anti-car "lobby".

Personal car commuting gets in the way of vital freight trucking. The highway system wasn't built to facilitate people going to work or traveling to see their grandma, it was build to move goods.

>I will always choose smaller to mid sized cities, and possibly even rural at some point in the future,...

The more remote your living is, the more everyone else is subsidizing your existence. For instance, rural roads, rural hospitals, rural electrification, rural broadband, rural airports, etc. It's one thing for the people who already live there or genuinely need to live out there, it's another thing for people to choose to live out there for "personal reasons".

Intentional time-delays are a nice middle ground. Yes, it is annoying to the users who've ignored all prior deprecation warnings, but it's better than those same users being "surprised" when support is removed entirely. Maybe you'd consider it less of a "punishment" if systemd dropped support for cgroupsv1 outright instead of inserting a time delay, I believe the opposite.

Mathematica (MMA) and the Wolfram Language (WL) used to be the one and the same. But now a user could be using WL in a web based notebook, through Wolfram Alpha, or even on SystemModeler.

The brand name “Mathematica” isn’t going anywhere, not after nearly forty years. It’s basically marketing being like “how do we communicate updates to WL as not just being updates to MMA?”.

[1]: https://www.wolfram.com/mathematica/?source=nav

Wolfram primarily posts to his blog and occasionally publishes a book. He’s not exactly buying a marketing blitz with all of his money. Wolfram Research itself is primarily focused on other things too.

I don’t know what it is about Stephen Wolfram that drives people crazy. Yes, he’s self aggrandizing, but he’s hardly unique in that respect. Simply read past it or roll your eyes and move on. But apparently there are more than a few people who can’t help themselves (even this thread is an example).

https://coq.discourse.group/t/coq-community-survey-2022-resu...

You have to write more code, and in a different language, but unlike just testing you can actually prove that invariants hold for all possible inputs.

Formal verification is needed to show that the code actually implements a specification. If anything, a formal specification is really good for generating test suites for the implementation code.