voxl

18 ms·

271.
by voxl 3y ago
I was able to easily graduate in 5 years, only one false start because the simulation seriously overvalues preparing for the qualifying exam. Also, it doesn't consider that you usually get two attempts at such an exam, not just one.
272.
by voxl 3y ago
Ah yes, let's just pretend we're firing all staff engineers
273.
by voxl 3y ago
a) future innovation (at a 300k price point, these are tech workers) b) 300k was total comp, never have I heard of 300k salary. According to levels.fyi, a L5 makes ~350k total comp
274.
by voxl 4y ago
Something else important to note: this proof of commutativity of addition on natural numbers is definitely _not_ how you normally write these proofs in Lean. Here is a closer approximation to how someone would actually write the proof in Le
275.
by voxl 4y ago
Actually it is. There is no good reason scientists should all follow the same course of action. In fact, per your own appeal to statistical reasoning, such reasoning is only meaningful if you have an actualization of the samples. If no scie
276.
by voxl 4y ago
What a funny analogy because these projects almost always run over the estimate.
277.
by voxl 4y ago
LanguageTool is free and open source.
278.
by voxl 4y ago
If I gift you resources, the trade is fair. This is you putting your own emotions into it, and projecting. You don't get to tell me what I do with my resources, and my labor and time has no intrinsic value. Even with your description o
279.
by voxl 4y ago
No, the CEO was wrong. You're conflating a serendipitous use of open source software with a targeted exploitation of it. People decided to open source Linux, GCC, and other tools. So developers at companies use them, because they are a
280.
by voxl 4y ago
Set theory is fine, see the (Stack Project)[ https://stacks.math.columbia.edu/browse ] which develops a ton of modern Category Theory on ZFC (Zermelo-Fraenkel Set Theory with the Axiom of Choice) alone. Alternative foundation
281.
by voxl 4y ago
I mean if you want to vomit up buggy software than not having a type system is a pretty good accelerator for that.
282.
by voxl 4y ago
If this where true then the labor would be gobbled up by the market regardless of how the labor in the U.S. feels. So the obvious question is, if you're so worried about it, why isn't it already happening?
283.
by voxl 4y ago
Ah, thank you for pointing this out, it all makes a lot more sense to me now. The table in the paper alone was a giant red flag for me.
284.
by voxl 4y ago
Unfortunately much of philosophy is very easily ignored. The philosopher will get very defensive about this, as perhaps they should, since their work was the "initial" work leading to the development of a rigorous field (physics,
285.
by voxl 4y ago
This website is not the only place discussing this matter, and it is a strawman to continue requiring any evidence of public outcry be limited to specifically this website. Moreover, reddit is not the only other place discussing this. The
286.
by voxl 4y ago
There is no intellectual dishonesty. Moments after Musk took charge, he enabled the Edit feature. Entire feature length movies where then uploaded to twitter via this feature. He pushed forward buying twitter blue, essentially making twit
287.
by voxl 4y ago
Or you could take a step back and rationally access the situation as Musk's ego causing him to be locked into a doomed to fail deal, and his desperate attempts to turn Twitter around failing spectacularly as he almost immediately alien
288.
by voxl 4y ago
Any time GERD comes up diet is one of the very first things people are told about (by doctors) to reduce symptoms.
289.
by voxl 4y ago
It's unfortunate that God doesn't exist and Christianity is just modern mythology then.
290.
by voxl 4y ago
The biggest issue I have encountered with educating CS college students is that some groups will be hostile to recursion. This is unfortunate, because recursive solutions neatly transform into dynamic programming solutions. An entire catego
291.
by voxl 4y ago
Terrence Tao is just another human, who had a lot of investment at a young age from world renowned mathematicians. The guy also isn't a huge fan of "genius"-type hype around his work. Don't let the existence of someone b
292.
by voxl 4y ago
This is in desperate need of a simple LISP example in Rust with at least closures. The only example I see is in C, and the tests are wanting too. I would have to spend a week just to figure out what this really is and isn't, the docume
293.
by voxl 4y ago
Using estimates has not and never will be a useful idea. You are in one of two worlds, either your work is predictable and easy to estimate, in which case you could just count the number of tasks/stories and get a sufficient estimate a
294.
by voxl 4y ago
Musk is an INVESTOR not an entrepreneur, for fucks sake
295.
by voxl 4y ago
I like this idea, but had a morbid thought, what if students try to bribe teachers in video? A lot of teachers I know intentionally keep their open doors during office hours. They don't want the student to get ideas. One professor I kn
296.
by voxl 4y ago
> Because we had chosen an “esoteric” programming language for this service, the other engineers in the company who might have otherwise been helpful in building features, debugging production issues, and so forth were largely unable to
297.
by voxl 4y ago
Uh no, and please never work with me. The definition of "making it okay to fail" is a pat on the back and a retrospective to figure out what went wrong and prevent it from happening again.
298.
by voxl 4y ago
It is literally the definition of toxic. It is the antithesis of making it okay to fail, having the entire team to take responsibility. Instead individual mistakes are highlighted and publicly shamed. How can you possibly not think this is
299.
by voxl 4y ago
There is an easy counter model. The universe is _literally_ a real number machine, i.e. even a particular point is only describable to us in the approximate. The laws of physics get to be finite, but you can't talk about a particular l
300.
by voxl 4y ago
The comment you're responding to is a prescription: what people ought to do. Yours is a description: what people in fact do. Yet, you phrased it in the same way, with the same emphasis. It might be a world view shifting shock to you. B

More ›