kylereeve

no clout

(keep on disk, don't commit)

There's a very short list of people who can get away with "Classic Torvalds"

Reminds me of Ace Rothstein wanting the exact same amount of blueberries in each muffin.

That's how all application-specific specializations work though, take advantage of domain properties that make you need a less generic algorithm.

I've never seen an IDE "mandated", I've seen officially supported development setups where you're on your own if you do anything different. Is that not the standard?

When this bubble finally pops, someone is going to have to clean up all the nonsense AI code out there.

they might be

I'm gonna be pedantic, shouldn't it be "bottom-up" instead of "bottoms-up"?

#2 Software projects that somehow are 100% human developed will not be competitive with AI assisted or written projects. The only room for debate on that is an apocalypse level scenario where humans fail to continue producing semiconductors or electricity.

??

"AI" code generators are still mostly overhyped nonsense that generate incorrect code all the time.

If one just chooses a reasonable documentclass and if need be a few packages suited to the requirements of one's document, then it all "just works" with (mostly) sensible defaults and minimal configuration.

Ironically, very similar to the story with modern C++. If you use a limited subset it can "just work" but only if you are disciplined and don't have to mix in legacy code that's pre-C++11.

Does an intern cost $20/month? Because that’s what Cursor.ai costs.

This stuck out to me. How long will it continue to be so cheap? I would assume some of the low cost is subsidized by VC money which will dry up eventually. Am I wrong here?

Assuming you're not being facetious, one of the best parts about PBT is it gets you a good percent of the value of formal proof with a lot less work. PBT at least lets you demonstrate that property is ~probably~ true, whereas traditional unit testing doesn't usually explicitly state properties.

Do you have CMake actually run `git clone`, or do you clone separately and point CMake at the `FIND_X` files?

On the flip side, when you have a manager who's genuinely on your side and wants to help you produce value (seems rare, I've been lucky enough to land one or two), "pleasing your manager" can accelerate career advancement and actually delivering working software you're proud of.

That's my experience with PMs (of all flavors of P; Product, Project, Program). A good one is invaluable and can really accelerate and unblock a project, especially one with a broad scope and many teams that depend on each other. A bad one is an active impediment and prevents actual work from getting done. I'd rather have no PM than a bad one, but a good PM is worth their weight in gold.

When refactoring tests, some form of mutation coverage [0] would be really nice. Verify that the tests break when the underlying code changes.

[0] https://en.wikipedia.org/wiki/Mutation_testing

If only I could find the perfect note taking system/app combo I could create my own Godfather! (I am 100% guilty of this type of thinking)

They can never back up these claims, it's always just a feeling they have based on the right wing outrage bait they consume.

Wasn't that Will Rogers?

Do you work in Ada/SPARK professionally? Curious what industry if so.

I'm not! [0]

[0] https://www.youtube.com/watch?v=IsViQD-3roE

I've been reading about that, can't seem to wrap my head around the difference between refinement and dependent types.

I used to work in a company with a similar policy. Never got a satisfactory answer, I think there's just lots of FUD around any language feature that looks different than what people are used to.

Nothing to be done...

For reference, I had an undergrad in mechanical engineering with some self taught CS, and I was admitted a few years ago.

Did you work at Entertainment 720?

Didn't help that most of the features they describe are found on a real pencil.