improbable units

When you compute the Poisson-distributed probability of observing $k$ events in some time interval, you find

$$\begin{aligned} P(k) &= \frac{e^{-λ} λ^k}{k!} \end{aligned}$$

where $λ$ is the mean number of observed events. Here $λ$ needs to be dimensionless, because it's in the argument to the exponent and it's being raise to some power. But if you graduate to the exponential distribution, which describes the waiting time between successive events, then $λ$ acquires units of inverse time:

$$\begin{aligned} \mathrm dP(t) &= λ e^{-λ t} \mathrm dt \end{aligned}$$

Things that magically change units bother me. What's happening here?

Read more…

on the phone again

What I'd like to be able to do here is to edit the blog on the phone. But that's going to take a fair amount of automation, because doing anything on the phone is hard.

However, I think I've gotten it.

Read more…

everything looks like a π

Here's a cute little computation. Suppose you pick two uniform random numbers. What's the probability that their ratio rounds to an even number? It's straightforward enough to get "this is a sum that looks like it's probably famous." But it turns out that different definitions of rounding pull in different transcendental constants.

Read more…

death is failure

In the probability of discrete events like coin tosses, you usually write $p$ to represent the probability of a success and $q=1-p$ to represent the probability of failure.

actuarial text

i'm on the phone

I've been trying to get to a point where I can edit my nikola blog stuff on my phone, and I am slowly figuring out how. Android does lots of careful sandboxing, and I have to work to undo it — especially since my preferred Android text editor, Markor, is intentionally unaware of any kind of sharing. I'm going to end up doing stuff in make, I'm afraid.

Read more…

markdown made easy

The installation for Jason Blevins' markdown-mode is so easy that I thought I wouldn't bother to write it down … but then I looked in my note-taking place and I couldn't find it.

It's as simple as M-x package-install RET markdown-mode RET.

Everybody is using a package manager these days, and it's great.

long lines at the table

Working in an emacs buffer where I don't want to give up whitespace-mode but I have a line that has to be long. The magic is

(setq-local whitespace-line-column 100)

who is that character?

If I want to type $a \times b$ without spelling out \times, here in this lovely magical future, I should just be able to type ×. There are different ways to do such things. What are they? Of course there are websites. But I want command-line tools.

strange independence

$$% \gdef\bar#1{\overline{#1}} \gdef\and{\cap} \gdef\or{\cup} $$

The definition of independence of two events in a sample space is that the probability of the one doesn't depend on the other: $$ P(A|B) = P(A) $$ This definition feels necessary, but not sufficient. I can imagine at least two complicating cases:

Read more…

watching for changes

One of the differences between the kind of text-mode/compile interface that I like to use, versus the WYSIWYG-style editors that the rest of the world has been using since forever, is that you generally have to do something or other in order to see whether your changes are having any effect. I've spent some time yesterday and today trying to come up with a mechanism to ease that transition, and I think I like what I have.

the clipboard

Reminded today of Windows's clip.exe, which reads its standard input into the Windows paste buffer. That's the way to copy Linux/WSL stuff to Windows. Mousing in the terminal window works ... sometimes. But Emacs takes over the mouse, and the terminal copies my whitespace-identifying characters.

The magic is M-| clip.exe, which runs shell-command-on-region.

the outlining continues

Yesterday I made good progress: chose two books that I have access to, outlined the curriculum from one of them (Ross), and did a problem. Yesterday it turned out that the Internet Archive's copy of Hassett and Stewart can only be used concurrently by a finite number of people, and it was unavailable by the time I got to it. But I have it this morning. So that's today's plan.

Read more…

in which i develop courage

After some consideration, I think that I can keep this in public. It's going to take me a few days before I can post it, anyway, and I'll have some amount of time to build up the posting habit. Making a low-effort tool for writing from the phone will still be a challenge. But I want to move my goal from "write every day" to "write every day in public," even if I'm not expecting to have an audience.

It occurs to me that lots of this musing might have gone into my perhaps-someday-a-reference about nikola. But right now I'm figuring things out, and I suppose that should be more declarative than interrogative.

Read more…

every new diary starts with metadiarying

Part of the reason that I started to convert to this web-output-friendly system is that I'd like to be able to write more frequently in a public-facing kind of a way. I think I have this sewn up (though I'm going to be tweaking things for a while). But I do have a little bit of a decision to make: do I want to use this as a personal journal as well? I feel super-squicky about that. While I would like to write in public more, I need to have a space that is safe for me to be dumb and annoying. Clearly the most probable outcome of me starting to post in public regularly is that no one ever reads anything that I write, unless I happen to direct them at it. But it's also the case that a desired outcome is for other people to discover that I write things. In that case, I need to stick to my old rule that I shouldn't write things on the Internet if I don't want them to appear on the front page of a newspaper.

Read more…

a new blog engine

When I started this calendar year, I was pretty optimistic about how much teaching and creativity I would have, and I started trying to collect some doodads at a blog. I was being a university person, and I started at a university-supported blog. But it turns out that I'm not continuing as a university person, so now I have to do those things differently.

Read more…