Student: My math exam conflicts with this class's exam.
Me: Hmm, that's weird. That's not what the exam schedule says. Let me check with your professor. What's your math professor's name?
Student: Kim Jong Un

I emailed him and it's true. The math professor's name coincidentally IS exactly the same as the North Korean dictator's. One of the unexpected joys of working at a Korean university.

AND the student was right: the exam schedule is wrong :(

I have a social media (well really just Mastodon, as that's the extent of my social media use) cycle.

10 I'm spending too much time on Mastodon. It's not really a good or productive use of my time.
20 Stop using Mastodon for a few weeks.
30 Have something to say that my wife and friends would not appreciate
40 Make a post to Mastodon
50 Read my feed
60 Realize that everybody on my feed is quite funny and interesting
70 Get into the daily habit of reading all the interesting stuff everyone is doing
80 GOTO 10

I feel like there should be a happy medium somehow. Maybe only read a few posts a day? But which ones? I am not sophisticated enough for this social media stuff.

Kiddo 1.0's favourite song these days. It strikes me as a song to transition kids into , like "baby's first kpop".

The "You're my boy" slays me every time. It's such a perfectly nonsensical kpop thing to throw in there.

The song's called "I don't like cucumber" and it's about a cat who keeps finding cucumber in things he wants to eat. The wife and I are having discussions about whether this is a bad influence (all of their other vegetable-related songs are pro-vegetable), but so far the kids are still eating cucumber, in spite of the song's catchiness.

Of all the things Rust gave us, I feel like the ability to nest /* ... */ comments does not get enough press. It's just...kind of nice.

So my recent interest in chess has turned into advocacy for Fischer Random Chess (Chess960), which, in turn, has led me to wonder if it's possible to initialize a Fischer Random Chess board fairly with only a d6 (or a coin) in a GUARNTEED FINITE number of rolls/flips.

Simulating a d4 with a d6 can be done with a maximum 2 rolls (or 2 flips, with a coin).

The problem is, to initialize a Fischer Random Chess board, you need a d5 (or d10) at some point. The obvious way to simulate a d5 with a d6 is via rejection sampling: simply reroll if you get a 6. But this is not guaranteed to finish in finite rolls.

I don't believe it's possible to simulate a d5 in finite rolls with a d6. I can do a d2, d3, d4, d6, d8, d9, ..., basically any n which is composed of powers of only 2 and 3. But d5 just can't be done.

I just started learning chess a few days ago. It's pretty fun.

Here's the annoying thing about playing human players: you never get to practice your end game. Like almost never. One of you almost always resigns (sounds classier than ragequits) in the middle of the game.

So I have like zero end game, because I've never practiced it. I literally just played a game where I had a bishop, a queen, and a king, and I couldn't mate this guy who only had his king left. I accidentally stalemated him by cornering him (so that he had no legal moves) without keeping him in check. there anything more embarrassing than that....

I guess you just really have to grind it out with computer opponents if you want to work on your end game.

I dropped my phone in the water the other day. It's now been a full 48 hours without a phone. Probably the nicest 48 hours I've had in recent memory.

In kpop news, I just discovered Itzy. Only 3 years after they debuted. I have no time these days for kpop, so sad. Or movies. or TV.... Maybe when the kids are older I can get back into it.

Anyway, Itzy is fire.

I swear half the time I spend writing Haskell is just going back and forth on whether $ or ( ) is more readable in a particular expression.

Today Kiddo told me all the things she's going to do when she's "as big as Mom and Dad":
- drive
- set up the TV (plug in the laptop that has Kodi on it) for TV time
- clean the table
- put spicy sauce on her food

Pretty decent list, really.

If we renamed Monday to Funday, the first letters of the days of the week would make a palindrome

It was a multipart zip containing a web page of the QR code. But because the web page has so much JS library bloat, you needed 73 floppies.

Anyway, I slipped and dropped my stack floppies. The last half of the dream was me trying to pick up all the floppies and get them in the right order, while everyone looked at me and wondered why I didn't just install the app.

Show thread

I had a dream last night that nicely sums up my feelings on the technological march of progress these days.

I was flying somewhere. Ostensibly to help the environment, they did not do paper boarding passes anymore. You had 2 optima.

1 was installing an Android/iOS app that showed you ads and stole your personal information.

2, for those without a smartphone or who didn't accept the privacy policy, was to have your boarding pass on floppies.

Sometimes talking with Kiddo feels like talking to an Eliza bot.

Kiddo: What's this picture?
Me: That's our wedding. That's when Mom and I were married.
Kiddo: Where Mom?
Me: Right there.
Kiddo: Where am I?
Me: You're not in this picture because you weren't born yet.
Kiddo: Hmm. Maybe tomorrow.

Totally in love with , which is my major project for the New Year break. I don't mean to brag, but I just proved that "n ≤ n + k" for all natural numbers n and k, and it only took me like 5 hours.

10 years ago, near the beginning of my teaching career, while I was entering final grades, I was told that the college's grade entry system had a new feature. You could now import your final grades directly from a CSV file, rather than entering them manually. "But it doesn't really work very well, so don't do that."

I've now taught at 4 different post-secondary institutions. I can somewhat confidently say that there's probably no university on the planet that can reliably import final grades from a spreadsheet or LMS. Why? Well, because all of the software in play is "enterprise". You know how it goes.

So, yes, sadly, again, I just had to manually type in each student's final grade, one at a time. With no oversight or reasonable way to verify its accuracy.

Consider this a PSA if you're a post-secondary institution. It is an almost certainty that you have had or will have one of your grades typed in wrong or transposed with another student's. Don't be shy about asking if it's right.

So I am now marking the final exams for my discrete math course. The exam was 3 hours long, and the large majority of students submitted just a minute or 2 before the 3-hour deadline.

One student, though...he submitted after 1 hour. And he TYPESET his answers in LaTeX. EVEN THE QUESTIONS WHERE HE HAD TO DRAW GRAPHS.

Dude's on a whole other level.

I'm a very "conflict avoidant" person, I think is the term used these days. One of the interesting things about being a parent is you just CAN'T be conflict-avoidant any more. It's not possible. You can get pushed around and find a way to deal when it's just you, you know, but when you're responsible for protecting and raising kids, you can't get pushed around on their behalf.

So being forced into confrontations and conflicts I would otherwise avoid has led to many good results. I just negotiated myself a pay raise. Why didn't do I do that before? It's not even that hard.

Bob's Law: As the number of years spent teaching the same post-secondary course increases, the proportion of your time spent catching and punishing cheaters tends to 1.

Named in honour of this super-bitter old instructor at one of my old colleges who just taught the same courses semester after semester, racking up huge cheater kill counts.

I can see the Bob inside of me gradually growing.

Show older
OldBytes Space - Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!