'CS 3110 - Fall 2017 -- Data structures and funcional programming using OCaml and a bit of Coq' -- https://www.cs.cornell.edu/courses/cs3110/2017fa/
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.
'How We Designed the Librem 5 Dev Kit with 100% Free Software' -- https://puri.sm/posts/how-we-designed-the-librem-5-dev-kit-with-100-free-software/
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
'Epictetus Has a Bad Day' -- http://existentialcomics.com/comic/271
Learn Prolog Now -- http://www.learnprolognow.org/lpnpage.php?pageid=top
'Fermat's Little Theorem (video)' -- https://www.youtube.com/watch?v=XPMzosLWGHo
'Becoming a professional software developer is accumulating a back-catalogue of regrets and mistakes' -- https://programmingisterrible.com/post/139222674273/write-code-that-is-easy-to-delete-not-easy-to
Finally got my emacs setup the way I like it http://thevaultoftheatomicspaceage.tumblr.com/post/181673303030
'Concrete Semantics' -- http://concrete-semantics.org/
the digital louis armstrong house -- https://www.louisarmstronghouse.org/
"We live in capitalism. Its power seems inescapable." She paused, and then continued, wryly: "So did the divine right of kings."
'Solving murder with Prolog' -- https://xmonader.github.io/prolog/2018/12/21/solving-murder-prolog.html
'Amoeba finds approximate solutions to NP-hard problem in linear time' -- https://m.phys.org/news/2018-12-amoeba-approximate-solutions-np-hard-problem.html
Topology of Numbers -- http://pi.math.cornell.edu/~hatcher/TN/TNpage.html
'Saturday Morning Breakfast Cereal - Twins' -- https://www.smbc-comics.com/comic/twins-3
'We, The Unoffended' -- https://blog.cleancoder.com/uncle-bob/2018/12/16/unoffended.html
'Mathematicians Seal Back Door to Breaking RSA Encryption' -- https://www.quantamagazine.org/mathematicians-seal-back-door-to-breaking-rsa-encryption-20181217/