'CS 3110 - Fall 2017 -- Data structures and funcional programming using OCaml and a bit of Coq' -- cs.cornell.edu/courses/cs3110/

jao boosted

Today at lunch a woman dropped by our table and said our conversation was really interesting, and we invited her to sit down and join us. We made a new friend.

It made me think... when I was very young, many of the friends I made were just people I walked up to (or the reverse) and said "would you like to be my friend?" For whatever reason, this is much harder to do as an adult, though I'm not sure it needs to be.

"If life could write, it would write like Tolstoy" -- Isaac Babel

jao boosted

Since #Linux has adopted the penguin as its logo, it would be great to see the #LinuxFoundation donating to some organizations that are helping to save threatened penguin species like the Hoihi, or Yellow Eyed Penguin. Maybe the #GNUProject could contribute something to wildlife conversation on the African Savannah, where the real Gnu live? #NoSoftwareFreedomOnADeadPlanet

jao boosted

An 11y old looking over my shoulder, staring at my screen while I'm working... suddenly: "WOAH, WHAT'S THAT?!"

Apparently kids find nothing on a desktop more exciting than a dark terminal window 😂

'Becoming a professional software developer is accumulating a back-catalogue of regrets and mistakes' -- programmingisterrible.com/post

jao boosted
jao boosted

"We live in capitalism. Its power seems inescapable." She paused, and then continued, wryly: "So did the divine right of kings."


Show more

Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!