mpoteat

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 at least some bugs in their code.

It would explain the Fermi paradox.

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. :)

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.

I can't find any code syntax examples on the website.

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 polytope in a scene in differentiable way? Is the input space for a given parameter optimization limited to material or phong / specular parameters?

The English is awkward in parts of the Readme.

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.

Thank you for this. We used rosshow in our robotics lab at university.

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?

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.

Electrum on full disk encryption Linux, with mnenomic phrase in safe deposit box.

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.

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.com/articles/an-intuitive-and-short-...

Being first to market and having mind share is more important than technical innovation a lot of the time.

Plants are quite alien compared to us it seems.

Perhaps MULTISim

What did you find patronizing about the statement?

The problem with using sarcasm as a vehicle for genuine discussion is that not everybody gets the joke.

You forgot polyphasic sleeping.

The Python developer also added a lot of extra features. A MVP might be half again the size.

You might have malware injecting content into your pages.

The halting problem is formally proven to be undecidable.

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?

To me this seems to be exclusively undergraduate mathematics that one might learn in an engineering program. No mention of topology or modern algebra.

They do mean it that way, though. They mention the possibility of extinct life on Mars in the last paragraph highlight.

Unfortunately I found all of the story-like exposition infuriating: they never even say what the new conjectured lower bound is.

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 obligation you refer to would keep projects open.

San Francisco has this. Buses are powered by overhead wires. (because electrified tracks would kill pedestrians)

7 non soft classes in a single summer is ambitious to say the least.