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…
> 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.…
> 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…
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,…
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…
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…
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.
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.
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…
> 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.…
> 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…
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,…
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…
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…
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.
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.