@grodin@mathstodon.xyz avatar

grodin

@grodin@mathstodon.xyz

This profile is from a federated server and may be incomplete. Browse more on the original instance.

christianp, (edited ) to random
@christianp@mathstodon.xyz avatar

Pals, what's the least egregious TV I can buy today, in the UK?
I want as little "smart" internet-connected nonsense as possible. Not bothered about 4k or massive size, but it should sound and look good.

That is, what's the Brother laser printer of TVs?

grodin,
@grodin@mathstodon.xyz avatar

@christianp we bought our most recent TV in 2011 IIRC. It had better work for another decade because buying a new one will turn me into even more of a grumpy old man. 50 inches?? Why not just live in a cinema??

christianp, to random
@christianp@mathstodon.xyz avatar

Something I don't get about #eduroam is that I'm typing my own password into a wireless access point controlled by another university.
Is it just inertia that has prevented it from moving to a web-based SSO process where I log in to my own university's website, and they pass a signed token on to the institution I'm connecting to eduroam from?

grodin,
@grodin@mathstodon.xyz avatar

@christianp I can't comment on the accuracy, but eduroam do have their own answers to your questions: https://eduroam.org/eduroam-security/

christianp, to random
@christianp@mathstodon.xyz avatar

I've never seen this before on a climbing frame!

grodin,
@grodin@mathstodon.xyz avatar

@christianp well anticipated! I was just about to ask!

christianp, to random
@christianp@mathstodon.xyz avatar

A couple of weeks ago, someone crashed a car on the big road next to the pedestrian and cycle path that all the local kids use to get to school.
About a week later, someone came and towed the car away, but they left a lot of the debris scattered on the path. My daughter's bike got a puncture from rolling over it.
Another week has passed, and nobody's cleared it up. At some point the council mowers have been down and rolled over it all, so there were loads of shards of sharp metal, plastic and glass scattered over about 20m, on the pavement and hiding in the mulched grass.
So on my lunch break I decided to pick it up myself. Got some lower back pain for my trouble!
#WhitleyBay

grodin,
@grodin@mathstodon.xyz avatar

@christianp that's what you were doing! I drove past but didn't have time to stop and ask you and then forgot to send a message to ask as well.

I'm not spying on you, honestly...

grodin,
@grodin@mathstodon.xyz avatar

@christianp I know some things about that, not an expert, though I've got one across the road. Fire away here or elsewhere.

christianp, to random
@christianp@mathstodon.xyz avatar

Going to join the #KidicalMass this afternoon, from #WhitleyBay to #Tynemouth. Apparently enough of the new cycleway is now open that we can use it. It's been a long time coming!

#KidicalMassNE #SafeStreetsNow

grodin,
@grodin@mathstodon.xyz avatar

@christianp how was it? I really wanted to go but the same day there was a bike event in Kielder I'd signed up to ages ago.

grodin,
@grodin@mathstodon.xyz avatar

@christianp oh well done to your kids! That's a challenging hill for little legs/wheels!

I'll definitely be doing the next one whenever it is.

christianp, to random
@christianp@mathstodon.xyz avatar

The YouTube embedded player comes with 2.5MB of javascript?!?!

grodin,
@grodin@mathstodon.xyz avatar

@christianp to be honest, I'm astounded it's as little as that!

christianp, to random
@christianp@mathstodon.xyz avatar

Who would know how to make a guess at the answer to this question: is internet traffic pretty much equal numbers of 1s and 0s, or is there noticeably more of one than the other?

grodin,
@grodin@mathstodon.xyz avatar

@christianp not got anything substantive to say regarding the actual question, but wow, this got a lot of people thinking hard!

That's an impressive nerdsnipe (though I don't expect it was an intentional one)!

christianp, to random
@christianp@mathstodon.xyz avatar

At the "making tools to help myself make tools to help myself make the thing I want to make" stage of my day off

grodin,
@grodin@mathstodon.xyz avatar

@christianp only 3 yaks deep so far, good going!

christianp, to random
@christianp@mathstodon.xyz avatar

Just remembered that last night I dreamt that Liz Truss had managed to get back in as PM, and she was tooling around in a car with "GOOD LUCK 2TH TIME" painted on the side

grodin,
@grodin@mathstodon.xyz avatar

@christianp was it a clown car?

christianp, to typst
@christianp@mathstodon.xyz avatar

This morning I'm looking at .
The first thing in the tutorial (https://typst.app/docs/tutorial/writing-in-typst/) is how to write a header, and it annoys me that it makes the same mistake HTML, and everything following HTML, made: you specify the level of the heading absolutely, and it's not scoped to a section of the document.

So when you want to have a heading one level lower, you have to know what level the previous heading was. And you can't tell how much of the document the heading applies to, only inferring it as going until the next header of the same or higher level.

I've always wondered why has
\section{name}
instead of
\begin{section}{name} ... \end{section}

Am I alone in wanting this?

grodin,
@grodin@mathstodon.xyz avatar

@christianp that's a really interesting thought. It seems like you want a markup kind of language with scopes which can be composed, and the ultimate meaning of any bit of syntax depends on how the whole thing is composed together.

It actually reminds me a bit of Haskell, except Haskell code defines a program not a document to display. Probably could be nearly any other programming language though.

I can't think of anything off hand (XML doesn't count because it doesn't have any canonical display semantics), but it seems like someone must have played with something like that at some point!

cliffle, to random
@cliffle@hachyderm.io avatar

Elsevier, everyone's favorite copyright maximalist closed-access publisher, argues that their high costs are necessary because they're the arbiter of quality.

The arbiter of quality keeps publishing LLM-written papers. Thanks for making my argument for me, Elsevier! They didn't even read it.

https://www.sciencedirect.com/science/article/pii/S1930043324001298

"In summary, the management of bilateral iatrogenic I'm very sorry, but I don't have access to real-time information or patient-specific data, as I am an AI language model."

grodin,
@grodin@mathstodon.xyz avatar

@cliffle I'm not sure if it was that paper but I saw one this week where the very first sentence started something like "Certainly, an argument for ... could start..." in that LLM chatbot style.

The "authors" hadn't even read it, apparently!

grodin,
@grodin@mathstodon.xyz avatar

@johncarlosbaez @glc @cliffle that was it!

It's just so brazen to not even double check the opening sentence of something you're trying to pass off as your own. Were they rushing that much to submit??

yaxu, to random
@yaxu@post.lurk.org avatar

I kind of feel that not enough is made of how the far-right has weaponised the internet and is totally undermining democracy. Like everyone knows it but is there much being done to oppose it? At this point I think there's every possibility that reform uk will win loads of seats in the next election here, and win the election after that, just by manipulating public opinion on otherwise uncontroversial issues like active travel and human rights.

grodin,
@grodin@mathstodon.xyz avatar

@yaxu I think you may be overestimating Reform's chances. Even though they're polling at roughly 10% now, that is spread around geographically and likely won't get them any seats at all. See https://www.electoralcalculus.co.uk/homepage.html

They may get some council seats in the local elections, which certainly isn't good, but probably isn't that strong an indicator for a general election.

In my opinion, the reason the Tories are lurching to the right is that they have lost a lot of broader support and are now fighting it out amongst themselves to slice up the much smaller pie they're left with. They're appealing to Tory party members, people who've voluntarily paid into the Tory party, rather than Tory voters, and there are roughly 2 orders of magnitude fewer members than voters.

All that said, complacency isn't the answer and there's clearly a growing far right tendency globally, it's just the UK voting structure means it's quite hard for narrow issue parties to get much electoral traction.

christianp, to random
@christianp@mathstodon.xyz avatar

Academic pals: do any of you work in an institution with a functional system for requesting help from your IT people?

We have a terrible ticketing system which, apart from its inaccessible web interface, is really hard to use: if you want to request help from someone, you have to browse through a list of dozens of ready-made forms for "common tasks", invariably none of which fit what you want. So there's a single "report something is broken" form with a single free-entry text field, and somebody on the service desk triages it. So all you have to do is resist the urge to report the ticketing system is broken, and hope that you can describe who you want to reach well enough for the service desk to deliver it correctly.

grodin,
@grodin@mathstodon.xyz avatar

@christianp if you can find a database vulnerability, maybe you can create a super secret ultra high priority ticket (reserved for the chancellor or something) and actually get a useful response.

christianp, to random
@christianp@mathstodon.xyz avatar

Important update from the "is this prime" game: 87 is now by far the most incorrectly tested number, ending just under 1 in 7 games.
After that, 51 and 57 are still almost neck and neck, ending 4.6% of games each.

https://isthisprime.com/game/

#IsThisPrime

grodin,
@grodin@mathstodon.xyz avatar

@christianp what's the longest streak (that hasn't been automated as far as you can get tell)?

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

An annoying aspect of having mathematics training: if you want to learn about a new topic, X, you'd like to read "X made easy", but most people's idea of "X made easy" is to present X with as much mathematics removed as possible, and that's what most tutorials out there look like to me.

grodin,
@grodin@mathstodon.xyz avatar

@simontatham @dpiponi I really like that the official Typescript site has this page: https://www.typescriptlang.org/docs/handbook/typescript-in-5-minutes-func.html

I've also seen a decent number of "rust for haskellers" type articles. These are very much the exception though. There should be many more "Xlang for Ylang programmers".

christianp, to random
@christianp@mathstodon.xyz avatar

The 3-year-old 🧒: "Is it later now?"

The answer is either "yes, by definition" or "no, by definition", but I'm not sure which.

grodin,
@grodin@mathstodon.xyz avatar

@christianp my stock answer to that question is "not yet, but it will be soon." Unfortunately she's old enough now to not take that as anything but teasing.

christianp, to random
@christianp@mathstodon.xyz avatar

Telling time is hard: GitHub is describing November 30, 2022 as "2 years ago".
It's more than one year, yes, but I wouldn't go as far as two. Would "15 months ago" work?

This is like how you have to decide when to stop giving your baby's age in months and start using years.

grodin,
@grodin@mathstodon.xyz avatar

@christianp I really dislike those ways of describing times. The bounds are always really unclear and it's the middle of the scale where it's really useless, like describing roughly 15 months as 2 years ago.

I'm not even sure why dates began to be shown in that way; it seemed to start in the last 10-15 years (no idea where) and spread out. The core idea seems okay, that you care less about precision the further in the past the time is but the implementations have always seemed to have been poorly tested. Is there one broken library that everyone uses for this or something?

christianp, to random
@christianp@mathstodon.xyz avatar

I put a ticket in with IT about a colour contrast problem on an internal web page.

First response: contact the support team who will make changes to your workstation.

Me: no change on my end will make my eyes see these two colours as different.

Second response: what's your phone number so we can discuss this?

Me: ?!?!?!? What is there to discuss? Anyway, I'd prefer to continue in writing.

Third response: you're completely right, this colour needs to be changed.

(so there was nothing to discuss)

grodin,
@grodin@mathstodon.xyz avatar

@christianp @j_bertolotti my guess is that they were trying to avoid a "work to be done by someone else" ticket because either there's a massive backlog of those tickets or the process for creating that kind of ticket is horribly convoluted. Or, knowing how universities work, both!

This guess is not in any way informed by working for the UK civil service, not at all...

christianp, to random
@christianp@mathstodon.xyz avatar

If it's taking a long time to read and write files from my raspberry pi's SD card, does that mean it's about to die?

grodin,
@grodin@mathstodon.xyz avatar

@christianp an option is to boot from the SD card but have the root partition on another drive. Once the boot is finished, the only reason to touch the SD card is to update the boot options. This is how I (try) to set up my Raspis (that word looks wrong but I refuse to put an apostrophe!)

christianp, (edited ) to random
@christianp@mathstodon.xyz avatar

Radicalised by a domain name
https://wtfhappenedin1971.com/

EDIT: the page full of dubiously out of context graphs ends in bitcoin nonsense. So, if you find yourself actually radicalised by this domain, do a bit of thinking

grodin,
@grodin@mathstodon.xyz avatar

@christianp I especially like that many of the graphs show approximately exponential growth so there will always be a point where growth appears to accelerate on a graph with a linear scale.

christianp, to random
@christianp@mathstodon.xyz avatar

Today's Microsoft Office annoyance: In Excel, when what you're typing in a cell is a prefix of something in another cell, it likes to autocomplete to save you some time.
I've got a column containing both the string "A" and the string "A B".
Every time I type just "A" and press Enter, it autocompletes to "A B". GRRR!

grodin,
@grodin@mathstodon.xyz avatar

@christianp “People who hate software the most: people who can’t use computers, and people who write software”

Quoted from https://wtf.dev/blog/software-sucks.html

The blog doesn't go so far as to claim all software is broken but I think I would.

christianp, to random
@christianp@mathstodon.xyz avatar

I've just upgraded mathstodon.xyz to Mastodon v4.2.5.
I had some trouble on a couple of our servers, getting an error from libjemalloc "cannot allocate memory in static TLS block".
I couldn't work out how to fix this, except it didn't happen after I moved back to Ruby 3.2.2 by editing the .ruby-version file.
Later on I might look at rebuilding ruby, but if anyone else encounters that error, downgrading ruby is a quick workaround.
And if anyone knows how I can fix it, please tell me!

#MastoAdmin

grodin, (edited )
@grodin@mathstodon.xyz avatar

@christianp I think I'm getting closer to an answer actually but I'm also trying to get dinner ready!

In any case, the Mastodon security fix doesn't require anything beyond Ruby v3.2 so you'll be fine on v3.2.2

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • kavyap
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • osvaldo12
  • khanakhh
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • everett
  • ngwrru68w68
  • Durango
  • anitta
  • InstantRegret
  • GTA5RPClips
  • cubers
  • ethstaker
  • normalnudes
  • tacticalgear
  • cisconetworking
  • tester
  • Leos
  • modclub
  • megavids
  • provamag3
  • lostlight
  • All magazines