@simontatham@hachyderm.io avatar

simontatham

@simontatham@hachyderm.io

Free software developer. Hobby mathematician.

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

andrewducker, to random
@andrewducker@mastodon.scot avatar

Link Post: New pylons to be installed across the UK in National Grid's £30bn green upgrade https://inews.co.uk/news/business/national-grid-green-upgrade-new-pylons-uk-3070669

simontatham,
@simontatham@hachyderm.io avatar

@andrewducker YOU MUST CONSTRUCT ADDITIONAL PYLONS

simontatham, to random
@simontatham@hachyderm.io avatar

Who was the most privileged member of the Beatles?

Ring 0.

#GeekJoke

simontatham, to random
@simontatham@hachyderm.io avatar

That old joke that goes "I know how to start spelling 'bananana' but I don't know when to stop". Other words subject to the same effect include 'queueueue' and 'homomomomorphism'.

But today I'm mostly having that problem with the \texttt command in LaTeX. Three ts in a row is a lot, and my motor cortex seems to have learned the rule 'you need one more t than you think', so I keep accidentally just keeping on going. I've managed \textttt{four} and \texttttt{five}. Not sure about six yet.

andrewducker, to random
@andrewducker@mastodon.scot avatar

Link Post: Flying sharks save fuel (at least, applying shark-like skin to your plane does) https://cleantechhub.lufthansagroup.com/en/focus-areas/aircraft-related-hardware/aeroshark.html

simontatham,
@simontatham@hachyderm.io avatar

@andrewducker when they put that on a VTOL they'll really have jumped the shark.

simontatham, to random
@simontatham@hachyderm.io avatar

How is it supposed to work, when you get one of those emails whose body reads 'Sender Name would like to recall the message, "Subject Line"'?

I assume some mail system like Exchange is supposed to find the matching previous message and delete both. And my normal Unix mail system doesn't.

But how does it decide on the matching message? I can't find any header that unambiguously identifies it. No 'Recalled-message-id:' or similar. How does a system supporting this feature make it work?

simontatham, (edited )
@simontatham@hachyderm.io avatar

Motivation: even if you don't think it's a good idea to actually implement deletion of the linked message, it would at least be nice for a mail system to tell you which one the linked message is.

If someone sends me N very similar messages and N−1 recall attempts, suggesting that they kept redrafting it after pressing Send, I'd like to at least be able to tell which version they want me to reply to, even if I haven't actually deleted the superseded drafts.

simontatham,
@simontatham@hachyderm.io avatar

@cawhitworth well, what else you could do would be to include a sensible amount of information in the courtesy notification, for exactly the reason I suggest!

All I have to go on is the subject line of the recalled message, which is no help when the recaller promptly sent me a redrafted version with the same subject line. Now I have to look at the datestamps to guess which was the latest draft. (And probably make sure I'm looking at the sender datestamp.)

simontatham,
@simontatham@hachyderm.io avatar

@cawhitworth "pay for Exchange": I can see how a company might have that attitude (whether I like it or not!), but does that square with @andrewg's comment elsethread that recall only works within the same Exchange server? If that's true, then even paying for Exchange doesn't make it work properly.

(Not that you'd necessarily want someone in Org A to be able to destroy mail on Org B's server, but as before, at least identifying it would still be practically useful.)

fanf, to random
@fanf@mendeddrum.org avatar

damnit apple

i'm experimenting with getting my ssh passphrase out of the macOS keychain using Rust

i did some hacking around with the security_framework crate https://docs.rs/security-framework/ so i can get a debug printout of the query and to add a feature

so the query matches the one used by apple's hacked ssh to get the passphrase

GUESS WHAT

Error: Error { code: -34018, message: "A required entitlement isn't present." }

simontatham,
@simontatham@hachyderm.io avatar

@fanf 'entitlement' suggests that your code needs to be a member of the nobility to make this work.

But that can't be right – surely that's for peer-to-peer networking.

mjd, to random
@mjd@mathstodon.xyz avatar

Over the years the word for people who write computer programmers has changed from “programmers” to “coders” and now to “developers”. When did this happen, and why?

simontatham,
@simontatham@hachyderm.io avatar

@mjd 'develop' always strikes me as a bit vague, perhaps intentionally so. It doesn't say whether you're writing a whole new program, or making major changes to one, or just tinkering round the edges. It doesn't even really promise that you're making it better – only that you're changing it over time.

In that respect it reminds me of 'treat' in medicine, which also seems like a word calculated to vaguely suggest 'doing something about it' while carefully not promising any specific result.

simontatham,
@simontatham@hachyderm.io avatar

@mjd well, in fantasy fiction and videogames, doctor-analogues are often called 'healers'. That's definitely a word at the 'promising a result' end of the scale!

simontatham,
@simontatham@hachyderm.io avatar

@unspeaker ah, I was wondering about saying that, but thought it might just be my own bias. Yes, I also see 'programmer' as having a connotation of writing whole programs from scratch.

I also feel as if that's becoming a specialism these days, because there's so much work needing to be done on big existing code bases. You can have a career without writing anything new. (Of decent size, I mean; not counting 100-line utility scripts and the like.)

Hence the use of other words, I suppose!

simontatham, to random
@simontatham@hachyderm.io avatar

Chatting about data structures with colleagues, and one mentioned a "left-leaning red-black tree".

I guess in a left-leaning red-black tree, the algorithms ensure that every node receives a reasonable minimum amount of processing. Whereas in a right-leaning red-black tree, the nodes all just get to compete with each other in a free market.

simontatham,
@simontatham@hachyderm.io avatar

@a thank you, that's not one I'd seen before.

I'd normally use binomial heaps for that merging application (on the rare occasion that I need it at all). Those also have O(log n) worst-case time for a merge. I can't work out in 30 seconds which structure is better, though!

simontatham,
@simontatham@hachyderm.io avatar

@a I have to confess that despite being a huge data-structures nerd in most other respects, I've never quite managed to get my head round how a Fibonacci heap works. I understand what useful properties it has, and why that makes it a good fit for e.g. Dijkstra's algorithm, but how it works just never quite comes together in my brain.

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?

simontatham,
@simontatham@hachyderm.io avatar

@christianp depending on your needs, I actually wonder if something sold as a computer monitor might be a good answer! If you can live with all its inputs being HDMI, then a monitor could handle those just as well as an official telly, and wouldn't want Internet.

It wouldn't directly receive broadcast TV signals, of course, so you'd need a secondary bodge for that (maybe via an HDHomeRun).

At least some monitors come with remote controls, and some have OK speakers (like my last Philips).

simontatham, to random
@simontatham@hachyderm.io avatar

Pro tip: the opposite condition to (foo < bar) is not (bar > foo).

But it's surprisingly easy to stare at it for five minutes and not see the mistake!

OscarCunningham, to math
@OscarCunningham@mathstodon.xyz avatar

I have a question about the aperiodic spectre tile (or the hat/turtle).

I know that the proof of aperiodicity works by showing that the tiles must fit together in a hierarchical structure that eventually repeats itself at a larger scale. But the larger units aren't literally scaled copies of the spectre. I also know that there is some freedom as to how you draw the edges of the spectre.

Is there a way you can draw the edges that allows you to literally use spectres to cover a larger copy of themselves? If so, is this way of doing it unique?

simontatham,
@simontatham@hachyderm.io avatar

@OscarCunningham I'm pretty sure you can transform the hats' HTPF metatile system into a form where each higher-order metatile exactly covers a set of metatiles of the next order down. (Use the 'converged' metatile shapes; use a non-overlapping version of the expansion rules; do some horrible limiting thing that fractalises all the metatile edges.)

But then you still have four different fractally-shaped metatiles, and no way to decompose those into individual hats that are all congruent.

simontatham,
@simontatham@hachyderm.io avatar

@OscarCunningham in fact, here's the paper I vaguely remembered seeing but couldn't put my hands on yesterday, which does pretty much what I said. https://arxiv.org/abs/2305.05639, diagrams on pages 7 and 8.

simontatham, to random
@simontatham@hachyderm.io avatar

Arrgh, Outlook!

"This message couldn't be sent right now. Click for more details."

'More details', Outlook, should mean more details of why the message couldn't be sent. It doesn't mean 'show me the same error message but this time with the full text of the email'. I just finished typing the email. I already know what it says. Tell me what went wrong!

simontatham,
@simontatham@hachyderm.io avatar

@bignose unfortunately, when you're constrained to talk to an Exchange mail server because that's where your email is delivered to, Outlook is still the least bad option I've found as a client. Using any other client via IMAP adds an extra layer of 'impedance mismatch' which outweighs whatever usability advantages the other client would normally have given you.

(And let's not even talk about the mess third-party clients make of Exchange calendaring.)

simontatham,
@simontatham@hachyderm.io avatar

@dwm I admit I haven't tried Evolution in the last decade. I found it very flaky about 15 years ago, but probably it's had some fixes since then.

But part of the problem is that any IMAP client talking to Exchange seems to see a confusing lack of data consistency, with emails randomly appearing and disappearing.

I'd almost rather use the fetchmail approach – download each message once, and thereafter work locally. But then you can only use your local client. Pros and cons.

simontatham,
@simontatham@hachyderm.io avatar

@demoographics that sounds actually interesting, at least for the part where it reads your Outlook calendar and gets the information into a locally usable form. What was your technique for that?

With that part solved, I could use a solution of my choice for the most important thing, namely reminding me when I have a meeting. Then I wouldn't mind opening a browser for all other calendar operations, which are much rarer.

mjd, to random
@mjd@mathstodon.xyz avatar

Take a look at this email and let me know what you think.

http://plover.com/~mjd/misc/Ask%20me%20anything.txt

I have gotten a lot of incoherent and bizarre email over the years, but never anything quite like this.

simontatham,
@simontatham@hachyderm.io avatar

@pozorvlak @mjd yes, I see no reason this couldn't be a real human autodidact with a ~10% baked idea, wanting at least some reassurance that they're talking to someone who won't burst out laughing before they go to the effort of typing up their thoughts. I've had similar communications, before generative AI was a thing.

(Is that an OSS thing particularly? I thought it was good sense whenever there's a long round trip time. E.g. intracorporate email between time zones has the same property.)

fanf, to random
@fanf@mendeddrum.org avatar

2021 retro-link! http://justinjaffray.com/query-engines-push-vs.-pull/ - Query engines: push vs. pull.

simontatham,
@simontatham@hachyderm.io avatar

@fanf that link automatically redirects to the same thing but with https as the scheme, which seems sensible. I wonder if your retro-links in particular would benefit from an automated check for that?

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