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/UCiGOzKde1rlvzEB7J73gvrQ

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 there.

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?

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 cycle with the Sun's movement.

Of course, maybe it's harder to do this nearer the poles but, in the tropics we get near equal hours of day and night.

I have found sleeping early and staying away from modern tech 30-45 mins. before sleep to be _immensely_ beneficial.

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 of internet companies?

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 algorithms?! Who needs that?" :O

Some of the complaints are that HackerRank doesn't test things like team work. Of course, it doesn't! It's a good tool to screen developers. Things like team work, creativity and domain knowledge can only be tested in interviews.

I am not saying HackerRank has no issues but, discounting the importance of algorithmic problem-solving is very unwise, imo.

How so?

I doubt pride is a strong enough force for anyone to undergo such intense suffering as this.

I agree, ;-) but honestly, that title didn't prepare me for the content.

'Compiler Construction' by Niklaus Wirth[1] is a pretty good book too. It's got the hands-on feel of Crenshaw's book with a quick but, not too superficial, introduction to theory. The book is little more than 100 pages long.

The compiler is written in Oberon however, which is also the source language (actually the source language is Oberon-0, a subset) but, Oberon is super simple and can be learned on the go.

[1] https://www.inf.ethz.ch/personal/wirth/CompilerConstruction/...

Why are photons required to "act as the messengers of an electron's spin"? Entanglement works without any communication between the entangled particles, right?

Wow, how inspiring! Thanks for the post.

It's a book for kids. It looks really fun! Fun > aesthics, for kids.

The problem is India's yet-to-be-perfected indigenous cryogenic engine for the GSLV (Geo-synchronous Satellite Launch Vehicle), which I suppose is required for launching into a geo-synchronous orbit.

And the best way to find the right abstraction barriers is 'wishful thinking'. :-)

Greatly reduces the 'Invent and fit; have fits and reinvent!' cycle.

Isn't the author basically saying, an iterative process (process as in procedure-semantics; like the word is used in SICP) is better than a recursive process?