mpoteat

18 ms·

151.
by mpoteat 7y ago
When was the last time you wrote perfect software? Personally never in my case. The possibility of complex, provably correct software is pretty unlikely I think due to fundamental logical reasons. I think any ancestor researcher would have
152.
by mpoteat 7y ago
It would explain the Fermi paradox.
153.
by mpoteat 7y ago
Floating point has a finite resolution, and so does the position of subatomic entities, it turns out. I'm sure it's just a coincidence. :)
154.
by mpoteat 7y ago
Coffeescript has somewhat fallen off the wagon since this article was published. It seems to me trends in JS transcompilation are tending towards slightly more verbosity in exchange for type annotation e.g. Flow or TS.
155.
by mpoteat 7y ago
I can't find any code syntax examples on the website.
156.
by mpoteat 7y ago
So, two observations. First, how does this compare to the naive method of SGD with differentiation defined using something like simplex search? The second question, if this is fully differentiate, how do you define the existence of an polyt
157.
by mpoteat 7y ago
The English is awkward in parts of the Readme.
158.
by mpoteat 7y ago
That's an awesome product but being Mac only is a no go for me. Electron / Web app is such a common product model, no idea why they didn't embrace that.
159.
by mpoteat 7y ago
Thank you for this. We used rosshow in our robotics lab at university.
160.
by mpoteat 7y ago
I've always had a suspicion that one person can't be a master of all things due to the physical limitations of human memory. Isn't that why we specialize?
161.
by mpoteat 7y ago
Not that it detracts from the claims presented in the article, but the fact that the author is a seemingly high ranking person in his union adds a degree of politics to it.
162.
by mpoteat 7y ago
Electrum on full disk encryption Linux, with mnenomic phrase in safe deposit box.
163.
by mpoteat 7y ago
People can point to epistemology all they want, but from a practical perspective bunk is bunk and if you insist on rigorously refuting every crackpot you come across, your community will be overloaded by bunk.
164.
by mpoteat 7y ago
An acolyte of the conspiracy... Seriously though, for anyone interested in understanding this interesting statistical principle, check out the "Intuitive Explanation of Bayes Theorem" [1] [1]: https://betterexplained.co
165.
by mpoteat 7y ago
Being first to market and having mind share is more important than technical innovation a lot of the time.
166.
by mpoteat 7y ago
Plants are quite alien compared to us it seems.
167.
by mpoteat 7y ago
Perhaps MULTISim
168.
by mpoteat 7y ago
What did you find patronizing about the statement?
169.
by mpoteat 7y ago
The problem with using sarcasm as a vehicle for genuine discussion is that not everybody gets the joke.
170.
by mpoteat 7y ago
You forgot polyphasic sleeping.
171.
by mpoteat 7y ago
The Python developer also added a lot of extra features. A MVP might be half again the size.
172.
by mpoteat 7y ago
You might have malware injecting content into your pages.
173.
by mpoteat 7y ago
The halting problem is formally proven to be undecidable.
174.
by mpoteat 7y ago
Probably none... That just isn't how it works. What do see the "bitcoin expert" doing in this case other than double checking the receiving address is correct?
175.
by mpoteat 7y ago
To me this seems to be exclusively undergraduate mathematics that one might learn in an engineering program. No mention of topology or modern algebra.
176.
by mpoteat 7y ago
They do mean it that way, though. They mention the possibility of extinct life on Mars in the last paragraph highlight.
177.
by mpoteat 7y ago
Unfortunately I found all of the story-like exposition infuriating: they never even say what the new conjectured lower bound is.
178.
by mpoteat 7y ago
Many developers, IMO, actively ignore their community (close issues, ignore pull requests) and take their project the direction they want to without external interference. (and this is their divine right) However I think this implicit oblig
179.
by mpoteat 7y ago
San Francisco has this. Buses are powered by overhead wires. (because electrified tracks would kill pedestrians)
180.
by mpoteat 7y ago
7 non soft classes in a single summer is ambitious to say the least.

More ›