Jon C. Jensen

I live in Provo, Utah and work with Internet-related projects: web applications, databases, scalability, system administration, and security, and in the past, ecommerce and Android app development. I’m a radio amateur (“ham”) with call sign KG7TXN.

I sometimes write on Somusing, the blog of my wife, Erin, and wrote a lot on the End Point blog when I worked there.

My email address is jon@swelter.net — since 1999! You may encrypt messages to me using PGP/GnuPG with my current public keys (2019 ed25519 ECC key, 2012 4096-bit RSA key), which superseded my historical keys (1998 DSA key, 1994 RSA key).

A quotation

[quotation #851 of collection of 885 · previous · next · another random quotation]

[T]he word “leader” itself is cliché and boring, but when you come across somebody who actually is a real leader, that person isn’t boring at all; in fact he’s the opposite of boring.

Obviously, a real leader isn’t just somebody who has ideas you agree with, nor is it just somebody you happen to believe is a good guy. A real leader is somebody who, because of his own particular power and charisma and example, is able to inspire people, with “inspire” being used here in a serious and noncliché way. A real leader can somehow get us to do certain things that deep down we think are good and want to be able to do but usually can’t get ourselves to do on our own. It’s a mysterious quality, hard to define, but we always know it when we see it, even as kids. You can probably remember seeing it in certain really great coaches, or teachers, or some extremely cool older kid you “looked up to” (interesting phrase) and wanted to be like. Some of us remember seeing the quality as kids in a minister or rabbi, or a scoutmaster, or a parent, or a friend’s parent, or a boss in some summer job. And yes, all these are “authority figures,” but it’s a special kind of authority. If you’ve ever spent time in the military, you know how incredibly easy it is to tell which of your superiors are real leaders and which aren’t, and how little rank has to do with it. A leader’s true authority is a power you voluntarily give him, and you grant him this authority not in a resigned or resentful way but happily; it feels right. Deep down, you almost always like how a real leader makes you feel, how you find yourself working harder and pushing yourself and thinking in ways you wouldn’t be able to if there weren’t this person you respected and believed in and wanted to please.

In other words, a real leader is somebody who can help us overcome the limitations of our own individual laziness and selfishness and weakness and fear and get us to do better, harder things than we can get ourselves to do on our own.

… (Although of course Hitler was a real leader too, a very potent one, so you have to watch out; all it is is a weird kind of personal power.)

—David Foster Wallace, “Up, Simba”, in Consider the Lobster and Other Essays, 2006, 2007, pp. 224–225

Travel notes

An interactive map of various churches we visited in north England in 2013, with links to our blog posts and photos about each: Churches in north England, 2013.

Work talks

Free software

Once upon a time I created some RPM packages of free software for use on Fedora Linux. The source RPMs may still prove useful for building on a newer version.

Human languages

Writing

Good causes

Religion

Johann Sebastian Bach composed some of my favorite music. See these freely redistributable Bach sheet music PDFs and the James Kibbie complete Bach organ works recordings. Mutopia collects freely usable music scores. Thanks to those who typeset the music and gave it away!

Liberty

Miscellany

mod.zayda.net is a collection of old Amiga-era music “modules”, including the whole U4ia and F8 collection by Jim Young, mostly created on his Amiga.