lisper

51 ms·

901.
by lisper 2y ago
> generally shorthand for the IEEE 754 Floating Point standard Yes, generally , but that is just a social convention. There is nothing stopping you from doing floating point in base 10 rather than base 2, and if you do, 0.1 becomes rep
902.
by lisper 2y ago
> curious why you don't think so? Uh, because Myhill says so? "We first define the function f non-constructively..." But I agree with your analysis. It seems constructive to me too. I don't understand his proof that
903.
by lisper 2y ago
I've updated my comment with appropriate pedantedits.
904.
by lisper 2y ago
Nope. You're thinking about this mathematically, not algorithmically. The question is essentially to decide whether the output of a TM is all zeros or whether it will eventually output a 1. If it outputs a 1 you will know that in a
905.
by lisper 2y ago
Only x=0 is undecidable. It's because you have to check an infinite number of digits past the decimal point to see if all of them are zero, and that will not halt.
906.
by lisper 2y ago
> Computers can't represent 0.1 (in floating point) Of course they can. They just can't do it in binary [EDIT: base 2]. But they can certainly do it in (say) BCD [EDIT: base 10].
907.
by lisper 2y ago
Two years it not that old, and the topic is obscure enough that it could plausibly have gone unnoticed. Bell's inequality went virtually unnoticed when it was first published. My money is definitely on parlor trick, but I would still
908.
by lisper 2y ago
This paper is not unremarkable. It's actually quite a surprising result. The only question is whether it's earth-shattering, or just a parlor trick. My money is on parlor-trick, but I don't understand the math well enough
909.
by lisper 2y ago
Happy to see this made it to the front page. I submitted it because I'm hoping someone here will be able to understand it well enough to explain its significance. Is this Big News or a parlor trick? If it really is an example of an
910.
Non-computability of solutions of certain equations on digital computers (2022)(arxiv.org)
88 points by lisper 2y ago|102 comments
911.
Computation, Math and the Church-Turing Thesis(blog.rongarret.info)
2 points by lisper 2y ago|0 comments
912.
by lisper 2y ago
Well, yeah, but it seems to put the emphasis in the wrong place, with the republic being an afterthought, secondary to the symbol. Also, being asked to pledge allegiance to anything as a minor seems weird and wrong to me. IMHO it undermi
913.
by lisper 2y ago
> Really great comment! Thank you. > Have you had the chance to talk with a 3rd group who believe that the US is malignant and think that the most moral action they can take is to undermine the state? Yes, but I don't think those
914.
by lisper 2y ago
> it's considered taboo to express a love of the USA American here. First-generation immigrant. Came from Germany at age 5. This misses a crucial part of the problem. It is considered taboo to express a love of the USA in certai
915.
by lisper 2y ago
I highly recommend the Brainium sudoku app. https://brainium.com/games/sudoku/ It has selectable difficulty and a "hint" mode that teaches you how to solve even the hardest sudokus without any backtracki
916.
by lisper 2y ago
> Dupixent is now indicated for EoE. It’s resolved my symptoms completely How often does it need to be administered? Regular injections sounds like it might be more trouble than it's worth.
917.
by lisper 2y ago
Yeah I actually tried that but could not figure out an efficient way to fill them.
918.
by lisper 2y ago
I had a very similar experience with eosenophilic esophogitis (EoE). It's an allergic reaction that causes your esophagus to constrict resulting in acute dysphagia (difficulty swallowing). It can get extremely unpleasant for me as we
919.
by lisper 2y ago
Citation needed. (I'm a (private) pilot and I've never heard this.)
920.
by lisper 2y ago
Airline pilots have a legally mandated retirement age of 65. Running the country seems like it's at least as mission-critical as flying a plane.
921.
Line Goes Up – The Problem with NFTs (2022) [video](youtube.com)
2 points by lisper 2y ago|0 comments
922.
by lisper 2y ago
I searched for "pandemic" rather than "covid" to see if this had been considered, but the data presented do not support the claim that "COVID extended trends that had existed before".
923.
by lisper 2y ago
It has apparently escaped the notice of the authors of this article that in 2022 we had just begun to recover from a once-in-a-century global pandemic that lasted two years, killed eight million people (so 30% more than the number of Jews k
924.
by lisper 2y ago
> ....how can this possibly be legal? Because most of the people this happens to are black. (And the rest are white trash.)
925.
by lisper 2y ago
Depends on the direction of rotation which the GP didn’t specify.
926.
The disastrous voyage of Satoshi, the first crypto cruise ship (2021)(pressreader.com)
3 points by lisper 2y ago|0 comments
927.
by lisper 2y ago
Nothing stops a (sufficiently motivated) developer from doing that. But it will stop a muggle.
928.
by lisper 2y ago
> They can’t have robust DRM on their tickets if those tickets can still be viewed offline. Of course they can. All they need is a secret key embedded somewhere that the app can access but you can't. It's just a happy circum
929.
by lisper 2y ago
Anyone interested in the history of Freud and psychoanalysis should read this book: https://www.amazon.com/Final-Analysis-Making-Unmaking-Psycho...
930.
by lisper 2y ago
Discontinuing the product is one thing, but intentionally bricking the existing ones (and leaving it up to the former owners to dispose of the resulting e-waste) seems uncalled for to me.

More ›