Viewing profile — 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 s…

> 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 default…

> 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 subsidi…

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 demonstr…

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 m…

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 broa…

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/Mut…

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 peop…