fhars

30 ms·

331.
by fhars 7y ago
Another thing to consider is the type system of Idris where the compiler may recognise at compile time that the value can only be of a certain subset of a union and, more importantly, can use the type of a function to infer much of the corr
332.
by fhars 7y ago
If they aren‘t open 24/7, they are at most 3 star superior hotels, no matter how luxurious they are (at least around here).
333.
by fhars 7y ago
I do remember some perl scripts where I would send a SIGKILL to itself as the last instruction. Cut the total runtime of the script almost in half...
334.
by fhars 7y ago
The limiting factor is the (according to current theories accelerating) expansion of the universe.
335.
by fhars 7y ago
Well, that is sort of the point of a shibboleth: those who say it wrong get killed.
336.
by fhars 7y ago
No, it is not, it will just work most of the time in low level MCUs because compilers support this abuse for lack of clearly better options. C and C++ have no support whatsoever for dealing with interrupts: volatile does not introduce any m
337.
by fhars 7y ago
Reminds me of https://en.m.wikipedia.org/wiki/CargoLifter
338.
by fhars 7y ago
An order on magnitude is a factor if 10. So half an order of magnitude is a factor of a square root of ten, or 3.16, because two half orders of magnitude are a full order of magnitude. [Edit:] A nice consequence of that limit is that 3.16 a
339.
by fhars 7y ago
The tape cannot contain arbitrary numbers, but symbols from any finite alphabet, which can be int256_t, and the transition function can be any partial function on pairs of tape symbols and input states.
340.
by fhars 7y ago
That depends a bit on whether you count the fabrication time for a new ASIC towards the application startup time when switching applications or not.
341.
by fhars 7y ago
There is evidence that meniscus surgery is no more effective than a placebo: https://www.nejm.org/doi/full/10.1056/NEJMoa1305189
342.
by fhars 7y ago
https://en.m.wikipedia.org/wiki/Correlation_and_dependence
343.
by fhars 7y ago
And they never hold IP addresses in registers?
344.
by fhars 7y ago
Wild insects and birds: https://www.abc.net.au/news/science/2019-09-20/birds-collaps...
345.
by fhars 7y ago
And according to the full title of the paper, it is not the black hole that is noninteracting, it is the binary system.
346.
by fhars 7y ago
Aldiss also has described the Wheel of Kharnabar in "Helliconia Winter": https://en.wikipedia.org/wiki/Helliconia#Helliconia_Winter
347.
by fhars 7y ago
Although the current state of affairs seems to be that we are hellbent on activating said filter and we‘ll be long dead (at least as a technological civilisation) by the time anyone else receives our current radio transmissions.
348.
by fhars 7y ago
In a careful rereading, that question is actually not as stupid as it sounds at first, the author does in fact not believe that Stanford (unlike New York) is a Roman city so that the creators of the linked site ignored NY due to cultural bi
349.
by fhars 7y ago
No, it is like triaging bugs by looking for the most plausible origins first.
350.
by fhars 7y ago
They are looking for dark matter, obviously. It is still the most parsimonious explanation that there is some kind of gravitationally interacting stuff out there that we just cannot detect with our current measurement methods. It is the sim
351.
by fhars 7y ago
The link was not to the article, as the post you replied to clearly stated.
352.
by fhars 7y ago
https://www.goodreads.com/book/show/382507.The_Telephone_Boo...
353.
by fhars 7y ago
In a civilisation collapse scenario, vodka is a far more valuable and liquid investment vehicle than gold or silver.
354.
by fhars 7y ago
Those traded on exchanges.
355.
by fhars 7y ago
Then read this article instead: https://www.ncbi.nlm.nih.gov/pubmed/26299317
356.
by fhars 7y ago
And it is especially quite a bit better in handling a high volume of transactions while physically replacing one of the CPUs and half of the RAM in the system than many $50k servers.
357.
by fhars 7y ago
Probably not much. What we are currently doing is more similar to the less sudden end-permian extinction, which nonetheless was quite a bit more deadly than the K/Pg extinction with an extinction rate in the 90% range.
358.
by fhars 7y ago
And according to this graph, the situation in Canada is even more complex: https://twitter.com/Peeardee/status/1169314278840528896
359.
by fhars 7y ago
And Vulcan! https://en.m.wikipedia.org/wiki/Vulcan_(hypothetical_planet) ... oops.
360.
by fhars 7y ago
The problem is not so much that we are causing species loss at a higher than average rate, it‘s more the we are causing species loss at a higher rate than the end-permian extinction event (which no land animal with an adult body mass over 2

More ›