fpoling

57 ms·

721.
by fpoling 6y ago
That rigged coin story is quite known, but Taleb’s account is most entertaining, https://mobile.twitter.com/fpoling/status/929410947713728513
722.
Recursion Got into Programming (2014)(vanemden.wordpress.com)
2 points by fpoling 6y ago|0 comments
723.
by fpoling 6y ago
Stack-based subroutine calls associated with structured programming came quite after people started to use subroutines in the assembly or higher level programming. Fortran, for example, gained those in eighties. Prior that everything was
724.
by fpoling 6y ago
C++ has no notion of a borrow checker and I am not aware of static checkers for the language that provides a coverage close to that of the Rust compiler. As I continue to see how very experienced C++ programmers make exploitable bugs tha
725.
by fpoling 6y ago
You may also consider Flow. It is literally JavaScript plus type annotations. The annotations can be even put into comments turning the files into vanilla JS making this very clear. So there is no danger that if FB abandons it one ends up w
726.
by fpoling 7y ago
I Norway I ended up with 6 different apps to charge various electrical cars that I rented. Surely it is annoying when I need to install yet another app. But after that it does not bother me. I just select the logo matching the the charging
727.
by fpoling 7y ago
This sandboxing for services provides similar isolation as various container runtimes. Plus due to integration with systemd things like live update without dropping a single connection is possible to implement with straightforward applicati
728.
by fpoling 7y ago
I use those features in Debian 10. Even Debian 9 supports most of them.
729.
by fpoling 7y ago
I was shocked by lack of public transport in Houston when I visited a friend there in 2008. He warned me to rent a car in the airport, but still it was unbelievable by European standards. And people in richer suburbs actively opposed any pu
730.
by fpoling 7y ago
I do not remember what triggered the subscription. I stopped it because most articles were not of my interests and arxiv.org and other resources became the thing. But I did miss the short SF stories.
731.
by fpoling 7y ago
One can train the body to burn some fat when running even when glycogen stores are full. That allows to push the depletion phase past the marathon distance. But according to my buddy who runs marathons such training is in itself is rather
732.
by fpoling 7y ago
15 years ago I subscribed to Nature for a year. The last page of each issue was a short SF story. Some of them were really good.
733.
by fpoling 7y ago
Read “Fooled by randomness” by Nassim Taleb.
734.
by fpoling 7y ago
Searching in Russian on Yandex gives the same ridiculous results.
735.
by fpoling 7y ago
I tried that as well and it does not work for me. What works is association with some stories. For example, to remember a credit card number I associate each 2 digits with a year that gives an event and then the number is a sequence of even
736.
by fpoling 7y ago
Except almost all fast charging stations on various Bergen-Oslo roads in Norway are not at the gas-stations. They are at the back of motels, souvenir shops, sometimes literally in the middle of nowhere with no shops or any other facilities
737.
'Bath sponge' breakthrough could boost cleaner cars(bbc.com)
95 points by fpoling 7y ago|108 comments
738.
by fpoling 7y ago
With oversized generators hydro provides an extra storage that can last weeks and even months at the pick usage depending on reservoir capacity. This is the battery effect that cannot be matched with molten salt.
739.
by fpoling 7y ago
A natural gas plant cannot be used as a battery either. So again, why hydro is not as flexible as such natural gas?
740.
by fpoling 7y ago
In Norway when a bank advertises 0 transaction fees they skip roughly 1.8% that Visa charges for doing currency exchanges.
741.
by fpoling 7y ago
TransferWise rocks. I save about 16 Euro on a transfer of 500 euros to Spanish bank from Norwegian krones. And it works within seconds. The saving comes mostly from fees that the Spanish bank charges to receive international payments.
742.
by fpoling 7y ago
Essentially Pi is the name of an algorithm that generates its digits.
743.
by fpoling 7y ago
EDIT to clarify the parent comment. Essentially the paper claims that using classical mathematical analysis (which is the constructive analysis plus the Axiom of Choice) when interpreting the equations of physical models is poor choice. It
744.
by fpoling 7y ago
This is not true for infinite sets where a subset can be equivalent to the whole.
745.
by fpoling 7y ago
I got impression that intuitionistic mathematical analysis refers to original Boyer papers. Which is in modern terminology is constructive mathematical analysis plus an axiom of the choice sequence. Intuitionistic logic on the other hand is
746.
by fpoling 7y ago
The could be no original universe. Just consider infinite sequence of simulations. Or universe A can be simulating universe B which is in turn simulates A. This is not possible with finite systems, but the moment one considers infinite ones
747.
by fpoling 7y ago
The assumption that real world is richer than simulated world is just that, an assumption. For one it assumes that both are finite.
748.
by fpoling 7y ago
The article argues for intuitionistic mathematics, not constructive mathematics. This is important. Just as classical mathematics is constructive math plus some arbitrary unprovable assumption (law of excluding the middle), intuitionistic m
749.
by fpoling 7y ago
Why hydro is not as flexible? A cable from Germany to Norway is being built to use hydro plants in Norway as energy batteries. This is despite Germany having natural gas plants.
750.
by fpoling 7y ago
It greatly helps Apple that T2 is a separated chip specially designed to do one function well, that is to do crypto in a secure way even in presence of physical attacks. How to do that has been known for quite some time. For example, moder

More ›