Let’s not get ahead of ourselves. Typescript has a decent type system, but it’s hardly state of the art. It’s impressive how they’ve managed to mostly corral JavaScript into something much more sane, but at the end of the day it still suffers greatly from the limitations of JavaScript. They’ve essentially retrofitted some type theory onto JavaScript to make it possible to express JavaScript nonsense in the type system, but there’s plenty of things that would have been designed differently had they been making something from scratch. Not to mention that the type system is unsound by design, which by itself puts it behind languages designed from the ground up to have sound type systems.

There’s many, many things missing from the type system, like higher-kinded types, type-driven deriving/codegen, generalized algebraic data types (aka GADTs), type families (and relatedly, associated types), existentially-quantified types, and much more.

I use Firefox on mobile all the time. Works fine for me. The fact that I get adblock on mobile makes it a no-brainer to use over chrome.

Hmm that makes me wonder, is this his first time saying please publicly since 2016?

Uh, there’s still a shitload of websites out there doing SSR using stuff like PHP, Rails, Blazor, etc. HTML is alive and well, and frankly it’s much better than you claim.

With your example, there are a number of languages that can statically prevent thread safety issues entirely, so that’s not actually a good example of something a type system can’t catch.

To be honest, there’s much more that can be statically enforced by a type system than what C++ is capable of. With a sufficiently powerful type system, it tends to become more about tradeoffs in ergonomics and type safety.

It’s definitely not faster than vim, fwiw.

There’s no feeding going on. We’re simply laughing at their expense.

What do you mean “build our dev environments around vim”? If you mean they write dev tooling in vimscript and explicitly require everyone to use it, I actually agree with you. I don’t believe employers should really ever force any particular editor or IDE if the work is getting done. I would be equally annoyed by a workplace forcing me to use vscode instead of vim. It would slow me down way too much.

If you are just complaining that they build dev tooling as a CLI, hard disagree. That is absolutely what dev tooling should use because it’s actually universal and can be used regardless of your editor choice.

At my workplace, our dev tooling is done via CLI and our developers use vim, emacs, and vscode. Because it’s all CLI, it’s easy for individual developers to add their own scripts to automate parts of their workflow as they see fit (and if such automations are deemed useful by the group at large, it will get merged into our shared devtools repo). We even have some editor-specific stuff in there people have written that they find useful, but it’s entirely optional.

Vscode definitely can’t handle large files like vim can. I can open files that are multiple GBs in vim without issue. Vscode definitely cannot.

Unix is my IDE, vim is my editor.

Yep. When everything about your IDE (unix) is programmable, it makes “modern” IDEs seem quite quaint.

Personally I make extensive use of https://f1bonacc1.github.io/process-compose/launcher/ to orchestrate a bunch of different shell scripts that trigger based on file changes (recompiling, restarting servers, re-running tests, etc.). Vim just reads from files as needed. It’s lightning fast, no bloat, and a world-class editing experience.

Yep. So much of this shit from “environmental activists” that have no fucking clue how any of this works. It’s been shown time and time again that nuclear is the answer for base load energy requirements with minimal environmental impact.

Proper homemade ranch, not that nasty Hidden Valley shit. It’s pretty great.

It’s just for the “last mile” where code gets packaged up into releases. There’s still thousands of developers that have all of the code on their machines as well, it’s just that their local repos aren’t the ones that end up in the hands of end users.

Changes can come from anywhere. The Linux kernel itself doesn’t use any central repository like Github, it’s instead done via emailing patches that are eventually merged into the mainline kernel repository managed by Linus.

It is 100% decentralized.

xattr -d com.apple.quarantine path/to/file will remove that shit.

Though personally, I get as much software as possible on my work MacBook through Nix, and only use .dmg files if absolutely required.

It’s not that hard, technically speaking, though of course it takes skill to come up with a set of glyphs that work well together and such.

Also, there are websites that can scan your handwriting and turn it into a font file, which is pretty cool. I have a font I created of my wife’s handwriting.

Yep. It does increasingly feel like developers like me who find it deeply disturbing and problematic for our profession and society are going to increasingly become rarer. Fewer and fewer people are going to understand how anything actually works.

I just… don’t connect the TV to the internet. Never had an issue with anything like that.

I’d definitely prefer more sunlight in the morning. It’s 6:45am right now and the sun hasn’t even risen yet and won’t start for another half hour.

Meanwhile, more sunlight later in the day is often gone to waste anyway, between work/commute/dinner/etc. It’s especially wasteful later in the summer… You already have sunlight super late in the day anyway.

But honestly, I would take either as long as it stops changing.