Short blog post on getting started with ed(1)

A little thin on details, but providing it for completeness.

@raichoo cool! Here's a joke about a mathematician's log working on proving a theorem:

Day 1. I tried to prove the theorem.

Day 2. I tried to prove the theorem.

Day 3. I tried to prove the theorem.

Day 4. I tried to prove the theorem.

Day 5. I tried to prove the theorem.

Day 6. Success! I disproved the theorem.

Conway has died.

People here might know him best for the "Game of Life", but he did so much more. The book about Conway by Siobhan Roberts is an interesting read about the man and his work.

Some will know Conway via is work on the Classification of Finite Simple Groups (with *many* others), some via his "Look and Say" sequence, while still others will know his book "Winning Ways", written with Richard Guy and Elwyn Berlekamp. My copy signed by all three is something I treasure.

Working on a quick and dirty script to make an ePub of current stories on #hn:

TIL that CD audio is at 44.1 kHz because humans can only hear up to 22.05 kHz and by the #Nyquist sampling theorem, if we sample at twice the frequency we get a perfect recreation.

@j Normally if I'm planning a library day I wear an extra thick sweater. :) But the heat was on last week, and I didn't expect the cold snap.

First toot from my new #pinephone

- Blog
- https://jo.ie

- Languages
- English, Irish, French

Theoretical Physics/Mathematics background; Finished university and currently up to nothing in particular. OpenBSD, Void and Alpine Linux user.

Barba Non Facit Mathematicum

Joined Jun 2017