voxl

15 ms·

211.
by voxl 2y ago
What is the point of using linkedin if you're going to make me retype in all my work experience and education? Date picker is bugged, Aug 2018 converts to Jul 2018 Funny that you have some R1 universities but not others Estimated pay n
212.
by voxl 2y ago
imagine thinking will has anything to do with it, go get addicted to fentanyl and then stop cold turkey for us to demonstrate your incredible willpower
213.
by voxl 2y ago
See you don't understand, he IS fit to serve, but he doesn't believe he'll win the election.
214.
by voxl 2y ago
the frequentist fallacy at work
215.
by voxl 2y ago
Your example function just always never prints so that makes things easier.
216.
by voxl 2y ago
We have one group of people that finds it useful, and another group that doesn't find it useful at all. What are we to make of this? At the very least, it is not that it "definitely" is useful.
217.
by voxl 2y ago
Classical versus non-classical has nothing to do with it. HoTT does not work to capture what a mathematician means by "unique isomorphism" because witnesses of equality in HoTT are very much not unique.
218.
by voxl 2y ago
DRM has been the modus operandi of OverDrive's ebook offering since Day 1. It's not even really a them thing or a private equity thing. It makes the publishers happy and makes the whole system work at all. Deleting DRM doesn'
219.
by voxl 3y ago
Life is more than your job.
220.
by voxl 3y ago
> (this was before they lobotomized it) Of course, of course. Because god forbid anyone be able to reproduce your suggestion. Funnily enough I tried the same and have the exact opposite experience.
221.
by voxl 3y ago
Formal methods is what happens when you try to do engineering in the traditional sense in the software space. You sit down, design, find a specification, and then build to spec. It's arguably an idealized version, even, because dependi
222.
by voxl 3y ago
How does this meaningfully affect the thesis of the comment you're responding to? What is the point of nitpicking something like this? I conjecture there isn't a point beyond "I found someone wrong in a comment you spent less
223.
by voxl 3y ago
> Humans can't be copied. There is no reason to believe this, and every reason to believe that humans can, in fact, be cloned/copied/whatever. It may not be an instant process like copying a file, but there is nothing inna
224.
by voxl 3y ago
Did you forget the part where the bots simply lost twice against pro teams?
225.
by voxl 3y ago
I mean even if you implement a more standard Monad interface plenty of functional programmers still find working with Monads to be ugly. It's really not a solved area.
226.
by voxl 3y ago
if you're trying to choose between the obvious scenario: people get annoyed at losing an hour of sleep randomly once a year. And the highly unlikely: a country-wide conspiracy to use DST as a wedge issue. You may want to consider wheth
227.
by voxl 3y ago
Being disabled does not preclude you from being employed.
228.
by voxl 3y ago
I would argue that they didn't survive, unless they were predisposed to it. If you were depressed 500 years ago you died.
229.
by voxl 3y ago
no way in hell a postdoc in the US is making 6 figures. Postdoc salaries are typically 40-60k
230.
by voxl 3y ago
The answer is probably yes. The issue is caused by a heap-memory overflow. In Rust, if you're storing an array on the heap then there will be bounds checks on the array access. If you're using a vec then it would automatically gro
231.
by voxl 3y ago
Why isn't it serious? I can imagine a smart pointer that actually accomplished the stated goal. So the joke is that they took a good idea and made a rubbish solution?
232.
by voxl 3y ago
so in other words he had money and got lucky with one of his gambles
233.
by voxl 3y ago
Right, the parent attacks the axioms as-if they where the argument while simultaneously attacking the source as egotistical. The axioms are of course suspect, but if you give reasonable interpretations to them then the conclusion is not far
234.
by voxl 3y ago
the real problem with these studies is the critics. If it's a study that says veganism is good, then everyone does that or has a moral imperative for that to be true will come out and say "what more do those evil meat eaters want?
235.
by voxl 3y ago
Many years ago I once tried to share a History channel documentary on the JFK assassination with a friend. They watched up until the first part, the documentary dramaticized the assassination and talked about how the shot seemed impossible
236.
by voxl 3y ago
So more expressive type systems? Rust has made entire classes of bugs impossible, and you can do even better in Idris or some other dependent type theory. People don't do it because it's expensive and they're not trained it.
237.
by voxl 3y ago
You should just not use Rust. A language should hold strong to its philosophical principles. These kind of changes are fundamentally design by committee.
238.
by voxl 3y ago
This sounds like just the kind of plan a company that has no idea how to write software would do. You're an Oracle.
239.
by voxl 3y ago
Probably, the idea that the GPU handles the "hot neurons" means that if your GPU is strong enough to handle _enough_ hot neurons, you should expect speedups.
240.
by voxl 3y ago
which in other words makes superdeterminism unfalsifiable, because any attempt to do so can be met with "it must have been that way"

More ›