Viewing profile — journeeman

Nice! Would be better if one could, a) scroll to increase canvas-space and b) zoom out to step back a bit and take a look at the whole drawing.

There's an upcoming talk by Philip Wadler on this paper on June 8 - http://chalmersfp.org/ YouTube channel where the talk will be streamed live - https://www.youtube.com/channel/UC…

Rookout - https://www.rookout.com - is a related tool. Very handy!

This is great! Thanks.

It doesn't seem to mention the works of the Indian mathematicians from Kerala, India on calculus. I think their work predated that of Newton and Leibniz.

I agree! Our (subconscious?) arrogance of our intellect always biases the way we look at our ancestors. If we could just be more humble, we would probably be seeing more of what's …

Thank you for the wisdom. :)

Great cartoons! :D

Did this affect Google's Project Loon in any way?

I know it's too early but, I'm already kinda getting used to this.

Cool. Another example could be of IPC in distributed operating systems borrowing from message-passing in CSP or the Actor model although, it could be also be the other way around?

The canonical example is that of MapReduce/Hadoop which borrows from Functional Programming and LISP. Are there any others?

I agree. I used to make the same mistake. Until I realised that it is best to go back to how people slept before electric light was invented; i.e. it is best to align your sleep cy…

Thanks!:-)

Could you please post the URL?

1) Will enterprises eventually shift to a DCOS? 2) Is it even worth it or necessary as afaik, even the biggest of enterprises' infrastructure needs are considerably less than those…

Software-defined magnetism?

I wonder if there is some Sussman's Propagator model like biochemical process going on underneath, resulting in the collective memory.

This just brought back so many memories! Thank you! :-)

This is great! Is there a similar app for sculpting in VR out there?

HackerRank can be a very good way to screen developers before interviews. The author and most people in the comments nearly say, "Algorithms are useless. Writing efficient algorith…

How so?