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

http://dkmj.org

blog:
http://sedenion.blogspot.com﻿
Post has attachment
I can't remember the last time I agreed so strongly with Mr. Munroe.
http://xkcd.com/1301/﻿
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
Mathbin.net 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