/etc/motd 🤖

“For a sucessful technology, honesty must take precedence over public relations for nature cannot be fooled.” #Feynman

“You have a right to stop coding, everything you type will be used against you during debugging.” #MaximeChevalierBoisvert

“The program itself is the only complete description of what the program will do.” #PJDavis

“Knives still come with sharp ends. Instruments are still hard for beginners to play.” https://aphyr.com/posts/287-asynchronous-replication-with-failover

“I see art as communication.” Italo Calvino https://www.themarginalian.org/2013/06/10/italo-calvino-on-writing/

“Nothing is more fertile than these illicit liaisons, nothing gives more pleasure to the connoisseur.” #EdwardFrenkel, Love and Math: The Heart of Hidden Reality

“The enjoyment of one's tools is an essential ingredient of successful work.” #DonaldKnuth

“If a job's worth doing, it's worth writing a script to do it for you.” Unknown

“The choice of Lisp was a bold one: it alone has been responsible for the rapid development of tremendous function in #Multics #Emacs.” https://hack.org/mc/texts/multics-emacs.txt

“I have no advice for the fucking kid that wants to play everyone else's music and be famous for it.” #Deadmau5

“We humans are not very good at identifying the heuristics we ourselves use.” #JohnMcCarthy

Two remarkable lines of Haskell: sins = int coss coss = 1 - int sins #DougMcIlroy https://www.cs.dartmouth.edu/~doug/powser.html

“I am not a thing — a noun. I seem to be a verb, an evolutionary process — an integral function of the universe.” #BuckminsterFuller

“Information theory will continue to matter because it's a powerful, general, technology-independent way of thinking.” http://worrydream.com/MediaForThinkingTheUnthinkable/note.html

“They seem to have learned the habit of cowering before authority even when not actually threatened. [...] I decided not to learn this particular lesson.” #RichardStallman https://www.gnu.org/gnu/road-to-gnu.en.html

“Languages should be designed not by adding features but by removing weaknesses that make more features seem necessary.” #Abelson and #Sussman

“First actual case of bug being found.” Grace Hopper, 1947 https://education.nationalgeographic.org/resource/worlds-first-computer-bug/

“At that moment, Anton became enlightened.” https://gist.github.com/jackrusher/5653669

“Nobody ever made a greater mistake than he who did nothing because he could only do a little.” #EdmundBurke

“It's not the code that is valuable, it's the understanding you've gained from building it.” https://gist.github.com/adamwiggins/5687294

“We are tied down to a language which makes up in obscurity what it lacks in style.” #TomStoppard

“Developing a useful, general framework for expressing [an ontology] seems intractably difficult. [...] a variety of inadequate ontological theories have been embodied in a plethora of correspondingly inadequate programming languages.” #SICP

“Executives would listen politely to his presentation, and go on with the same problematic practices.” Jay Forrester https://www.strategy-business.com/media/file/sb40_05308.pdf

“Sometimes a computer can be used to store large quantities of data for subsequent analysis.” Bell Labs materials from the late 50s https://static.googleusercontent.com/media/research.google.com/en//pubs/archive/94.pdf

“Those skills you list are useful but we start with curiosity and skepticism.” http://blogs.hbr.org/hbr/hbreditors/2013/03/power_of_visualizations_aha_moment.html

“Every LISP program is a new version of LISP.” http://bit-player.org/wp-content/extras/bph-publications/CompLang-1987-04-Hayes-mutant-lisps.pdf

“In practice, [the object-oriented model] provides a structured way to write spaghetti code.” #PaulGraham

“This reasoning leads to an admirably simple and spare definition of summation.” http://bit-player.org/2008/the-arity-of-equality

“[Nostalgia] as a result of economic factors in informational media.” #LaurieSpiegel, 1990 https://pitchfork.com/features/article/9002-laurie-spiegel/

“Yes, I am the inventor of the sideways 'smiley face' (sometimes called an 'emoticon').” #ScottFahlman, CMU, 1982 http://www.cs.cmu.edu/%7Esef/sefSmiley.htm

“My own intuition has it a wash, but even I wouldn't trust my own intuitions, and neither should you.” #ScottAtran https://www.academia.edu/48577858/An_Edge_Discussion_of_BEYOND_BELIEF_Science_Religion_Reason_and_Survival_Salk_Institue_La_Jolla_November_5_7_2006_S_Atran_N_Humphrey_S_Harris_D_

“We've just seen that the mode, median and mean all arise from a simple parametric process [...]” https://www.johnmyleswhite.com/notebook/2013/03/22/modes-medians-and-means-an-unifying-perspective/

“Alonzo Church sought to make improvements on the Principia, and lambda-calculus eventually arose from these efforts.” http://t.co/fGf9TVcJJe

“In this way Gödel commingled the data and 'code' of arithmetic.” https://www.nytimes.com/2012/05/06/books/review/turings-cathedral-by-george-dyson.html

“We have found a strange footprint on the shores of the unknown.” #Eddington

“He who refuses to do arithmetic is doomed to talk nonsense.” #JohnMcCarthy

“One of the greatest tragedies of life is the murder of a beautiful theory by a gang of brutal facts.” #LaRochefoucauld (?)

“Mathematics has given economics rigor, but alas, also mortis.” #RobertHeilbroner

“Bayesian updating isn't just a special case of evolutionary optimization; it's also something like habit formation.” http://bactra.org/weblog/601.html

“[P]eople find it very difficult to recognise what's relevant. It's much easier to recognise what's new.” https://www.theguardian.com/media/2013/apr/12/news-is-bad-rolf-dobelli

“Floating-point arithmetic on digital computers is inherently inexact.” https://www.gdv.informatik.uni-frankfurt.de/lehre/ws2007/PRG-1/readings/Reading%203-The%20Perils%20of%20Floating%20Point.pdf

“The purpose of computing is insight, not numbers.” #RichardHamming

“A good proof is one that makes us wiser.” #YuriManin

“[A] possible deep connection between intelligence and entropy maximization [...]” https://www.alexwg.org/publications/PhysRevLett_110-168702.pdf

“The proper way to answer a question about programming language semantics: https://lists.racket-lang.org/users/archive/2013-April/057504.html (using #WilliamJames and #Racket)

Dimidium facti, qui coepit, habet; sapere aude, incipe. (“Who has begun is half done; dare to know; begin!”) #Horace, Epistularum liber primus

“Variables abstract over values, functions abstract over behavior, macros abstract over syntax.” #JoeMarshall

“Every single day you're the result of what you did on the days prior.” #ChrisHadfield https://www.youtube.com/watch?v=eGrzo4IvXyg

“Practical men who believe themselves to be quite exempt from any intellectual influence are usually the slaves of some defunct economist.” #JohnMaynardKeynes

“As soon as an Analytical Engine exists, it will necessarily guide the future course of science.” #CharlesBabbage