Profile cover photo
Profile photo
David Milovich
About
Posts

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

home page:
http://dkmj.org

blog:
http://sedenion.blogspot.com
Add a comment...

Post has attachment
I can't remember the last time I agreed so strongly with Mr. Munroe.
http://xkcd.com/1301/
Add a comment...

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

# mkfs.ext4 -cc /dev/sda3

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

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.
Photo
Add a comment...

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.
Add a comment...

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."
Add a comment...

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

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