Show newer

#osdev 

hmm, `at s1e1r' indicates that some physical addresses are not being translated correctly. even though it is being translated correctly in QEMU. argh. time for bed.

Show thread

#osdev 

after a couple of nights of trying, still can't figure out wtf i'm doing wrong when trying to enable virtual memory. I have read through the whole aarch64 and cortex-a72 docs on this subject, tried all combinations of TLBI + DMB + IC + ISB instructions that i can think of. it just seems like all read operations using virtual memory are returning 0 and all write operations are getting lost.

met our friend again, who now always does a low swoop in front of us before landing on a nearby tree.

post from an alternate universe 

Did you know that a 1712 law against sorcery is still in force in England, making it illegal to fly? This is why British Airways force you to wear a seatbelt, as the restraint gives you the legal defence that you were being abducted rather than flying yourself.

re: bad category theory puns 

the list destructor function, of type `list a -> (a × list a)', should obviously be called "ns"

Show thread

re: bad category theory puns 

"colimit cocones" should have been called "ne colimits".

Show thread

Did you hear about the homotopy type theorist who dualised Coenzyme A? 

She made HoTT coCoA.

covid, nlpol 

It must be amazing to have such an optimistic view of people, like the guy who appeared on tv to propose "Why don't restaurants have 'safe days' on monday, wednesday and friday, and 'unsafe days' on tuesday, thursday and saturday? Let people choose for themselves how much risk they can handle."

You ever read something and think, “oh this is going to end up on Well There’s Your Problem”?

Better question: if you take a P-zombie copy of someone, then would the original person's fursona of that P-zombie be the original person?

Show thread

Concept: the P-zombie-zombie. Where the P-zombie has no experience of consciousness, the P-zombie-zombie has no experience of P-zombies.

idea: ad blocker except for memes about corporations "wacky" new PR campaign

Things that are wrong: Putting punctuation of the outer sentence into a quote, like

'''
I heard he said "butts?"
'''

This falsifies the quote *and* ends the sentence in a quote mark - which isn't a thing those do.

Instead, just put the punctuation outside of the quote, like:

'''
I heard she said "butts"?
'''

This has been a PSA, brought to you by me. Me - nobody else but me.

love staring into my nightmare rectangle to watch society collapse in real time

Show older
Vachtnoes

Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.