kylereeve

7 ms·

1.
by kylereeve 10mo ago
no clout
2.
by kylereeve 10mo ago
(keep on disk, don't commit)
3.
by kylereeve 10mo ago
There's a very short list of people who can get away with "Classic Torvalds"
4.
by kylereeve 10mo ago
Reminds me of Ace Rothstein wanting the exact same amount of blueberries in each muffin.
5.
by kylereeve 11mo ago
That's how all application-specific specializations work though, take advantage of domain properties that make you need a less generic algorithm.
6.
by kylereeve 1y ago
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?
7.
by kylereeve 1y ago
When this bubble finally pops, someone is going to have to clean up all the nonsense AI code out there.
8.
by kylereeve 1y ago
they might be
9.
by kylereeve 1y ago
I'm gonna be pedantic, shouldn't it be "bottom-up" instead of "bottoms-up"?
10.
by kylereeve 1y ago
> #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 semicondu
11.
by kylereeve 1y ago
> 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, v
12.
by kylereeve 1y ago
> 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 w
13.
by kylereeve 1y ago
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 tradition
14.
by kylereeve 1y ago
Do you have CMake actually run `git clone`, or do you clone separately and point CMake at the `FIND_X` files?
15.
by kylereeve 1y ago
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 advancemen
16.
by kylereeve 1y ago
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
17.
by kylereeve 2y ago
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
18.
by kylereeve 2y ago
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)
19.
by kylereeve 4y ago
They can never back up these claims, it's always just a feeling they have based on the right wing outrage bait they consume.
20.
by kylereeve 4y ago
Wasn't that Will Rogers?
21.
by kylereeve 4y ago
Do you work in Ada/SPARK professionally? Curious what industry if so.
22.
by kylereeve 4y ago
I'm not! [0] [0] https://www.youtube.com/watch?v=IsViQD-3roE
23.
by kylereeve 6y ago
I've been reading about that, can't seem to wrap my head around the difference between refinement and dependent types.
24.
by kylereeve 9y ago
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.
25.
by kylereeve 9y ago
Nothing to be done...
26.
by kylereeve 9y ago
For reference, I had an undergrad in mechanical engineering with some self taught CS, and I was admitted a few years ago.
27.
by kylereeve 13y ago
Did you work at Entertainment 720?
28.
by kylereeve 13y ago
Didn't help that most of the features they describe are found on a real pencil.