Profile cover photo
Profile photo
David Milovich
David's posts

Seeing as I haven't posted here in ~2 years, perhaps a placeholder post is in order:

home page:


Post has attachment
I can't remember the last time I agreed so strongly with Mr. Munroe.

Good Day Sunshine: it's 305 Kelvin in December.

# mkfs.ext4 -cc /dev/sda3

The vigil for the wounded hard drive enters its 107th hour.

Post has attachment
"Marian B. Jacobs, Ph.D.," please don't lie to my children. It's angle of attack, not wing shape, that lifts planes.

Post has attachment doesn't have instant previews yet, but texpaste does now. If I was doing a math lecture that didn't need illustrations, a "live" texpaste on a projector screen might be better than my current routine of filling whiteboards and photographing them. Multiple web browser tabs could simulate multiple whiteboards.

Post has attachment
"When we teach kids to ride a bike, at some point we have to take the training wheels off. Here’s an idea. When they hit eleven, give them a plaintext file with ten-thousand WPA2 keys and tell them that the real one is in there somewhere. See how quickly they discover Python or Bash then."

The (Laredo) temperature will be 312K in 4 hours. Put the apples in the car now for baking.

I've failed to find any mention of "least strict upper bound property" outside of my own head, but it is my favorite characterization of when a linear order is a well-order. Compared to "well-order," it is practically self-explanatory, and it aligns better with how I use well-orderings the majority of the time: if I'm not done (with my transfinite construction), then there is a task I must do next. Similarly, when building an object using recursion along a well-founded non-linearly ordered poset, I think in terms of the "minimal unbounding property": if I'm not done, then there is at least one task I could do next.

Post has attachment
Wait while more posts are being loaded