voxl

37 ms·

421.
by voxl 6y ago
So the surgeon found water for you. Good for you, I'd rather listen to the data.
422.
by voxl 6y ago
I feel like we need an opposite saying for sentiments like this to the age old "correlation does not equal causation", something like "correlation does not mean automatically dismiss"
423.
by voxl 6y ago
There is literally nothing wrong with dark mode. It is a _choice_ which makes your analogy invalid. You can not choose to have or not have an open office as an employee, and no picking a new place of work is not the same thing. What you&#x2
424.
by voxl 6y ago
I have never had the opportunity to try this method but after much theory crafting and many useless pointing meetings and much statistical investigation with negative correlation between "complexity" and "time to completion&q
425.
by voxl 6y ago
You're assuming it takes that long to make these things. You're also assuming your perception of the README is how most people consume it. To that end, I'll offer a counter-anecdote, I very much want a README to convey to me
426.
by voxl 6y ago
Nothing quite like having options being viewed negatively. How do you give other people options!
427.
by voxl 6y ago
* 1-based indexing is superior to 0-based indexing. 1-based indexing is a special case of 0-based indexing. * If you use spaces to indent code, or in any way rely on a fixed width font to "line things up", you have a fundamental m
428.
by voxl 6y ago
The last thing I would ever want is to model corporate culture after Japan, one of the worst corporate cultures on the planet.
429.
by voxl 6y ago
No, it doesn't, no more than the United States government needs to be "for everyone."
430.
by voxl 6y ago
Lean is a classical theory, I don't see how any intuitionistic theory can hope to possibly compete. A mathematician would laugh you out of the store if you tried to get them to used cubical Lean (Lean 2 by the way implemented HoTT idea
431.
by voxl 6y ago
Sure, that's fine, but to say that it is an invalid method of proof is wrong. If I want to prove A, and I prove A <=> B for some proven statement B, then I have proven A! There is no question! Feels like crazy pills to think othe
432.
by voxl 6y ago
As a PhD student myself, I would die on this hill, and you would lose. Moreover, the first sentence: "This is an unreliable method of proof" implies that it can be a proof if done correctly.
433.
by voxl 6y ago
"Working backwards" is a completely valid method of proof, used all the time in automated reasoning. If a student successfully reasons backwards then there is no issue, it is a proof.
434.
by voxl 6y ago
Why is there a random Jordan Peterson video in that playlist?
435.
by voxl 6y ago
What do you mean by always on the developer? Do you mean that the developer caused them? Because that is _mostly_ true but not always (because you can have bugs reported to you that are upstream ones). Do you mean that developers are respon
436.
by voxl 6y ago
Yeah germany is doing fine I don't think American exceptionalism extends to death threats. Hiding behind hyperbole doesn't make you snarky just idiotic.
437.
by voxl 6y ago
Because God forbid a women be topless... So disrespectful. We need to start shaming people who comment online again, remove all anonymity so we can publicly shame them for saying something stupid like a women voting topless should be shamed
438.
by voxl 6y ago
The great comedy is that you have provided no sources for your claims, some of which I think are false or overstated, some of which I think are true. But, a person who replied to you, with a source, about men being victims of sexual violenc
439.
by voxl 6y ago
Its not flawed because the correct analogy is: pen and paper Turing machines versus Python.
440.
by voxl 6y ago
Your first point is hysterical considering we as computer scientists use many many different programming languages. Nah the math people are fine with assembly, even though they don't actually use it in their work.
441.
by voxl 6y ago
Its not my responsibility to look for evidence if you're making the claim. If you want to come into a thread telling people that are already apprehensive about a procedure "please don't do X its dangerous!" when an _actu
442.
by voxl 6y ago
So much "high risk" in this thread, yet its used all over the place in United States and not a single shred of evidence to be found anywhere here...
443.
by voxl 6y ago
Yeah I don't think so. And such an extraordinary claim requires some evidence.
444.
by voxl 6y ago
It's strange that you make this incorrect comparison to static and dynamic typing. As with static typing, an automated tool prevents you from doing something. It comes for free at the cost of you needing to satisfy the tool. Where is t
445.
by voxl 6y ago
If you're a genuine Haskell user then it shouldn't take more than a second to realize that true borrow checking is not the same as C++ pointer types, and that Cargo is thee best dependency manager. Although, being a Haskell user,
446.
by voxl 6y ago
This feels like a home run, talk to some publishers about allowing their books on their for a fee and charge a subscription to type those books and maybe you've got a viable product.
447.
by voxl 6y ago
Superdeterminism. Also, love the downvotes when you have failed to prove what you set out to. Bell's Inequalities do not rule out a fully determined world.
448.
by voxl 6y ago
Please, I would love for you to explain in excruciating detail how Quantum Mechanics invalidates the first two points. Hint: you can't.
449.
by voxl 6y ago
The word "premature" is inside your quote.
450.
by voxl 6y ago
Plenty of people have their mind changed by facts, they're called scientists. The rest are usually uneducated laymen. How do you change their minds? You don't, you educate their children to prevent the entrenchment of idiocracy.

More ›