I need to put a vote in here for owlbears and owlcats, if only because of how excited they make my partner when encountered.

You just captured the daily life of a UK academic after the catastrophically low recruitment numbers this year.

I absolutely don’t use notepad++ as my main IDE… Honest.

Really neat post, I’d not heard of a few of these (never knew libre office draw could edit pdfs!).

Couple of extra ones:

Note taking and pdf annotation: Xournal++ is amazing, it’s also great to use on larger whiteboard screens. Plug and play support for scribe tablets on both windows and Linux.

Emulation (up to ps1): Mednafen is lightweight and comes with a gui. It also supports recording, though not netplay.

Ebook management/reading: Calibre - allows easy importing and exporting of ebooks to devices, also has a great built in search letting you find DRM free versions of a book.

It’s always about Ads…

Oh, they start off as unobtrusive; maybe a little banner that shows when the app is opening, or a written mention with a link.

But, this doesn’t generate much revenue. Next the banner persists, and suddenly a video plays. Just one, just once.

Eventually you open the app to pop up banners and autoplay videos, and wonder where the app is. Every line you cross with adverts makes the next line easier to cross.

Exactly - if you don’t want to date a trans person don’t. If someone conceals it, that’s not an issue with them being trans, that’s an issue with them being dishonest. It’s ok to dislike dishonest people.

I only wanted to triforce.

Now I need to fix dad’s laptop before he gets home!

The use of the word cis has its roots in an obscure Usenet group; it’s genesis (apparently) rooted in a desire for more inclusive language for trans folks (the notion that “gender” Vs “transgender” was too othering).

It hit Tumblr like a train in the 2010s, and became a symbolic phrase in trans counterculture. “Cisgender” was less than popular with non-trans people, as it robbed them of the illusion of normality and turned the word “gender” into a social trap.

It later found derogatory use in the phrase “cissy” (a counter for the popular derogatory term “tranny”).

It’s a fun word with an interesting history, and it has helped contribute to the wider acceptance of trans folks.

Extra fact - in the USA almost all games use long weighted reels.

I believe this is by law, but may be misinformed.

Also, if you know the rng gen you can game machines: a very very clever group in Russia bought up old machines from defunct casinos, reverse engineered the games, and then developed an app that let a user photograph x number of spins to find out what the seed was for the next spin, and from there told them to bet high or low based on the upcoming game. They made millions, and farmed it out to make more. (https://www.wired.com/2017/02/russians-engineer-brilliant-slot-machine-cheat-casinos-no-fix/)

Never really worked with them (we never made them).

I think they’re lower prize threshold cat Bs.

In the UK, slot machines fall into 4 main categories. Of particular interest are category C machines, as these can remember a fixed number of previous games. I.e. the “myth” that a machine is “about to pay out” because “someone lost a lot to it” can hold for these games.

Cat A and B machines are completely random, previous games can have no impact on probabilities of winning (though pots can climb).

Online games have different rules, not always fair ones!

Oh, and ALL games (in a physical location) must (by law) show “RTP” (return to player) somewhere. It usually gets stuck it in a block of text in the manual since no-one reads them. (If it’s below 97.3% just go play roulette as it offers better returns).

https://www.youtube.com/watch?v=-Im4YAMWK74

Relevant follow-up (videos explore Korean gender politics and hierarchical society).

Boozy Bay, it has an export industry in adventuring parties due to the booming tavern industry.

Hah, jokes on them, my university is too poor to afford copilot.

I mean, here is a thought, if an AI tool uses creative commons data, then it’s derivatives fall under creative commons. I.e. stop charging for AI tools and people will stop complaining.

The +5 charisma buff was too hard to pass up.

Operation archive the archive?

https://www.statista.com/statistics/513049/alphabet-annual-global-income/

Let’s pause a moment and just appreciate how much money Alphabet actually make net (after expenses). $73,795,000,000 last year - higher than the GDP of entire nations, in profit.

The “bad” year, 2022 that drove all this change, they only made $59,972,000,000 net. Oh how terrible (!)

5 years ago, they made $34,343,000,000 net, so they’ve more than doubled profits.

Take a moment to appreciate that, and really consider if they “need” the money.

I would say mathematics is a consequence of, or branch of philosophy in its own right. The name intuitionism derives from the source of this branch of mathematics - “2 primal intuitions”.

1. Twoity - we are able to perceived time, and are thus able to split the universe into two, three, four etc parts. Counting is not something we just learn, it is something built into us as humans.

2. Repetition - we can repeat operations and not stop, just as we can never stop counting.

From these two (heavily paraphrased) ideas we can derive all of mathematics.

The first is actually enough to give us everything up to the rationals, the second grants us the reals and beyond.

While we lose excluded middle, we gain things such as “all total real functions are uniformly continuous on the unit interval” (Brouwer), the removal of the information paradox in physics (someone used Posey’s take on intuitionism to rewrite all physics to see where it led), and the wonder of lawless sequences (objects we cannot predict entirely, but still work with).

The intuitionist is very very formal “you are either alive or not alive” is a very nice statement to make, but entirely worthless if one cannot tell which you are! Excluded middle is not universally false in intuitionism; it is true for decidable statements, of which having an apple or not does seem to fall within (though here we can question how “apple-like” must something be to be considered an apple if we wish to be peverse). However, to argue it is true for any statement means your disjunct (or) must be very weak indeed - the classical mathematician is happy with this, the intuitionist demands that a disjunct not only present two options, but provide a way of determining which if the two applies on a case to case basis (hence excluded middle applying for decidable things).

Simplifying your example of an apple, you can think of it as a Platonist just having the statement that everything is either and apple or not. Meanwhile, the Intuitionist also demands there be a guide on how to sort everything into “apple” or “not apple” before they make that statement.

Classical mathematics does also have a huge unintuitive step - mathematics must exist independently of humanity. Every theorem ever proved, and ever to be proved, exists somewhere. Where you ask? The platonic plane of ideal forms beckons, with all the madness it entails!

Pardon the slow reply!

Actually, AvA’ is an axiom or a consequence of admitting A’'=>A. It’s only a tautology if you accept this axiom. Otherwise it cannot be proven or disproven. Excluded middle is, in reality, an axiom rather than a theorem.

The question lies not in the third option, but in what it means for there to be an option. To the intuitionist, existance of a disjunct requires a construct that allocates objects to the disjunct. A disjunct is, in essence, decidable to the intuitionist.

The classical mathematician states “it’s one or the other, it is not my job to say which”.

You have an apple or you don’t, god exists or it doesn’t, you have a number greater than 0 or you don’t. Trouble is, you don’t know which, and you may never know (decidability is not a condition for classical disjuncts), and that rather defeats the purpose! Yes we can divide the universe into having an apple or not, but unless you can decide between the two, what is the point?