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.

Do a lot of downloading kids' songs from YouTube for Kiddo. Did you know pretty well every kids song begins with a cute cartoon character begging you to click the subscribe button, and ends with a cute cartoon character teasing you about more songs you could watch?

Yeah, we don't want Kiddo watching that shit, so I've worked up a wee bit of fish scripting that uses ffmpeg and vlc and dialog to help you carve out the beginning and ending trailers at the correct cut points.

Yes, I do my personal scripting in fish instead of a Bourne shell. Sue me.

Anyway, it works FAIRLY well, though not 100%. Feel free to use it if you are also a person of culture who downloads stuff from YouTube and wants to cut out the ads.

pastebin.com/D7aAm8Ju

I manage the media player (TV) for Kiddo, and I use Kodi to do it. I downloaded some songs about the alphabet for her, one song ("music video" in Kodi's parlance) per letter. The songs for E through Z worked fine, but A through D were not displaying properly. Bad download?

No, that wasn't it. I moved the files, cleaned the database, moved them back, rescanned the folder, and the same thing. They wouldn't display properly.

After going manually through the sqlite database, I discovered Kodi was scanning letters A through D as a "file stack", meant to be used for multi-part movies. Any filenames that ended with the letters A, B, C, or D were automatically determined to be part of a multi-part video file rather than distinct videos.

Couldn't figure out how to turn this "feature" off so I have resorted to giving A through D nonsensical filenames. It works. I guess?

Intel's 4004, the world's first single-chip microprocessor:

4 bit
2300 transistors
108 kHz clock speed
50 years of age

Happy Birthday!

For health reasons, I don't drink any more, except for the odd cheat day. Today was one of those cheat days, the first drink I've had in 3 or 4 months, and the first glass of wine I've had in probably a couple years.

I have to say, there's nothing in the non-alcoholic world that comes close to good alcohol in terms of complexity and variety of taste. Every time I cheat, I remember all over again, "oh yeah, I forgot how awesome this is"

I don't know if there's any life lesson I've learned that's been more valuable to me than "Don't say anything about someone that you wouldn't say to their face", which I thankfully learned when I was very young.

I don't know if I'm just especially oblivious about noticing when someone is in the room or someone's been silently CC'd on an email, but it's a regular occurrence for me. Like "Oh! Shit! You're right there! Yes, I was just...actually saying nothing regretable. Nice."

It just occurred to me that Kiddo is learning about ghosts and the undead long before she about death. I'm guessing it's like that for a lot of kids. Not that there's anything wrong with it, but it makes me wonder what little kids actually think those things are.

My experience in a lot of different living configurations:

No matter how many people are in your household, only 1 person will ever change the toilet paper rolls.

SectorLISP has achieved its goal of creating a #Lisp tiny enough to fit in the boot record of a floppy disk. Since that's 512 bytes LISP is now tied with FORTH to be the most lightweight programming language in the world. justine.lol/sectorlisp/

at this point I've taken to calling Debian "Frank's RedHot OS" because I put that s#!t on everything now

I'm writing code to generate English text from a syntax tree (sidenote: I love writing code like this). I have to deal with turning ordinal numbers into ordinal text (e.g., transforming 3 into "third"). I have to have 2 subtly different functions to do this because in some cases you translate 1 as "first" and in other cases you translate 1 as nothing at all.

E.g., With superlatives, you say "second biggest", but not "first biggest". Conversely, if you want item #1 from a list, you have to explicit say "the first item".

Interestingly...you don't say that if you're counting from the end of the list. You just say "the last element", but you cannot say "the first last element". I guess "last" is a superlative in of itself, which is why it works that way?

It's curious spotting all the cases where I have to use one form of ordinal->text vs the other, anyway.

Kiddo's obsessed with Peppa Pig these days. Not the animation—she's inexplicably disinterested in that—but the books. It's to the point now where, when she plays by herself, she narrates everything like a Markov generator that was trained on Peppa Pig books.

She narrates them in a halfway English accent, though. I've realized it's because she's imitating me and *I* read them in a halfway English accent.

In my defence, though, it's not possible to read something like "Will George go to hospital? Or is he not properly ill?" in a straight Canadian accent.

I've been teaching university/college computer science for about 15 years now. I've always secretly wanted to teach math, but never could, because the math courses always go to math people (understandable). Also, although I love math, I was never the greatest at it.

Anyway this semester, the university has made my secret wish come true by gifting me Discrete Mathematics (for computer scientists). IT IS A BLAST. We're only 5 weeks in, but it's really cool.

One thing that surprised me that I can teach it exactly like programming. When I teach programming, it's all code demonstrations and responding to student questions of "what if we wanted to do X though?" and I do "oh good question let's change this to this and make this like that".

Turns out you can do exactly the same thing with math! You do a proof and then say "now what if the question had said this? Well actually you wouldn't need this part of the proof here, and this part would change like that". It's quite malleable.

CDNpoli #MassiveCringe 

Check out the answer this Conservative candidate has for how the PPC are different than the Conservatives.

twitter.com/Happy_Belmore/stat

You know you're a git wizard when you unintentionally create 2 new tags in your repo called "remove" and "help"

I wish more publishers would consider mouse-pad-ability when designing book covers.

You know when you need to use a mouse on a surface that just isn't good for mice, and you don't have a mouse pad around? And you scrounge around looking for any stray books that will work well as a mouse pad?

Got to be at least 20cm on each side, no bumps for a smooth glide, no blocks of solid colour.

Currently using the cover of one of my wife's knitting books. A+ mouse pad.

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!