voxl

25 ms·

361.
by voxl 5y ago
Infinitesimal math is completely coherent, it just doesn't have one theory that is "thee algebra" like the real numbers do.
362.
by voxl 5y ago
Sure, otherwise you're just solipsistic, we have to assume things exist, it's how you make progress. If you think quantum is "the real stuff that exists" then you should assume, for now, that the model actually models so
363.
by voxl 5y ago
Yeah instead you have probability theory baked right in, real numbers and all!
364.
by voxl 5y ago
Why are they signs of an unhealthy economy? Gentrification and bad zoning laws alone could explain many of your examples.
365.
by voxl 5y ago
Because the "why" is always going to be personal. A PhD in CS is never going to be a sane financial choice, and it has heavy risks if you find yourself with a bad advisor. Anyone who has thought about doing a PhD critically knows
366.
by voxl 5y ago
Ah yes, monadic programming, liked by no one but championed by those who probably have never really had to do it. OCaml does state without monads the way it does for a reason, because working with monads is a massive headache.
367.
by voxl 5y ago
It is, there is an entire field called Numerical Analysis about this, but instead of spending a year learning numerical analysis throwing it at a tool that spits out something pretty decent after 15 minutes is probably a better ROI.
368.
by voxl 5y ago
At first, i thought you delusional, because make no mistake AI will never make quality software better than a dedicated human (that is until AI is so smart that trying to use it in this fashion is tantamount to slavery). However... The soft
369.
by voxl 5y ago
You miss the point though, as the problem is two-sided. The consumer struggles to find a quality product because they simply don't know how. The producer also struggles to produce a quality product, because it's hard to know what
370.
by voxl 5y ago
I kind of see what you're getting at, but don't think you've described it well. My attempt to restate your position: Suppose you write a program that just so happens to log information every leap day. No one uses the informat
371.
by voxl 5y ago
Because most people's empathy doesn't extend to trees. That is the simple factual answer. All these other games about what trait draws the ethical line are post hoc. The reality is people feel it is bad to hurt animals they can em
372.
by voxl 5y ago
No thanks, don't need any more authoritarian moves from presidential over reach. Privacy laws for companies making X$ in yearly revenue is much saner approach.
373.
by voxl 5y ago
Optimal beta reduction is a very technical term. In effect it means any "family" of lambda terms will all be reduced "at once." What is a family? Go take two semesters in rewriting theory and then perhaps our two heads t
374.
by voxl 5y ago
2x? Try 10x
375.
by voxl 5y ago
The accuracy measurement is flawed, because the firmware of the device is deleting chorded letters and retyping the chorded word, which artificially reduces accuracy
376.
by voxl 5y ago
CharaCorder is not a stenograph, individual character entry is supported, just like a normal qwerty keyboard.
377.
by voxl 5y ago
And here I thought it was about the undeniable climate change that is an existential threat to human existence.
378.
by voxl 5y ago
See plenty of opinion here too, like generics getting too complicated and error handling needing to be designed in. Vehemently disagree on both
379.
by voxl 5y ago
Municipal fiber sounds like the only solution to me. Let's stop pretending we can have a market economy when competition is nigh impossible, socialize it and be done with it.
380.
by voxl 5y ago
Nonsensical or a direct refutation of the idea?
381.
by voxl 5y ago
Define success. There is good reason that most gastro doctors don't suggest diets as a solution and instead say things like "avoid anything that bothers you." It is because there is no evidence that a particular diet helps wi
382.
by voxl 5y ago
https://light.princeton.edu/team/ Visiting professor, 3 postdocs, and 9 PhD students, all of very high quality (because, well they're at Princeton). My guess is each postdoc could produce 1 to 2 papers a year on t
383.
by voxl 5y ago
This is just personal preference. I find lisp impenetrable and parenthetical soup. But I can read pipelined function calls (in e.g. OCaml or Haskell) easily.
384.
by voxl 5y ago
Maybe it's next to impossible to write C code that isn't badly written
385.
by voxl 5y ago
Why is the debt bad? Can you explain it without using the false analogy of citizen debt?
386.
by voxl 5y ago
This is not whataboutism, because the author is arguing that we wouldn't say France is supporting it. And if you agree, then it doesn't make sense to treat the U.S. differently. Whataboutism would instead say something like: Well
387.
by voxl 5y ago
Pay based on location is idiotic, if your pool is the entire world then your pay scale should reflect that market and average out. This means developers outside America get more purchasing power than San Fran devs, but that's the marke
388.
by voxl 5y ago
You act as if Afghanistan and Iraq are very happy to have been invaded and considered it a mission-accomplished. If the objective of terror is enrage your adversary then by all means, but the U.S. will only be more and more heartless and ef
389.
by voxl 5y ago
No, pedophiles are evil even if they never assault or harass anyone in their entire life. /s
390.
by voxl 5y ago
Any interval type with decidable equality is degenerate (everything ends up with a path to everything else). Having i0 and i10 be constant makes me suspect that the interval type likely has a decidable equality. This of course being on top

More ›