Simon Farnsworth

I am the real Farnz; all others are just poor imitations.

He/his.

[Simon Farnsworth @TrueFarnz]

@landaire I've not yet used cargo crev - but it's one that gets brought up whenever I mention cargo vet, so I thought I'd preempt that.

It doesn't appear to have a lot of traction, yet, but it might be usable within a community who trust each other as a way of sharing review burden.

[Simon Farnsworth @TrueFarnz]

@landaire Nice post!

There's a couple of tools you might want to look at and consider adding to the post:

1. cargo vet, which lets you record dependency reviews in your project.

2. cargo crev, which aims to let you share the burden of reviewing crates with the public.

[Simon Farnsworth @TrueFarnz]

@p0welly @PedalandPost use their cargo bikes commercially, and might be able to recommend you an insurer.

[Simon Farnsworth @TrueFarnz]

@MissIG_Geek I have a nasty gut feeling that for anything where "fairness" matters, there's an equivalent of "Arrow's impossibility theorem"; you cannot have all the things you think you want for things to be "fair".

[Simon Farnsworth @TrueFarnz]

@jonas__rudloff @_N9199 @FreyaHolmer That's not what you originally claimed, which is why this subthread exists - you started off by saying that treating "i^2 = -1" as an axiom is "not really true".

But the point of MT is that all axioms are "true"; it's just that they are unprovable truths.

[Simon Farnsworth @TrueFarnz]

@jonas__rudloff @_N9199 @FreyaHolmer Because you said that Freya's choice of "i^2 = -1" as an axiom was "not really true", since "the complex numbers is just a quotient ring".

But the only sense in which that is a reasonable statement is the one in which there *is* a useful hierarchy of axioms, rather than a choice

[Simon Farnsworth @TrueFarnz]

@_N9199 @jonas__rudloff @FreyaHolmer Right, but now you have 8 things to go deeper on - why, for example, is it true that for any pair of naturals x, y, x = y implies y = x? Why is the axiom of induction true? Why is it true that for any n, S(n) is also a natural number?

[Simon Farnsworth @TrueFarnz]

@jonas__rudloff @FreyaHolmer But all you've done there is change the axioms; you now have the assumptions that are pulled in by the quotient ring (like the existence of the two binops).

If I ask you why we say that, in the complex numbers, (x +jy) * (1 + j0) = x + jy, how do you explain that without axioms?

[Simon Farnsworth @TrueFarnz]

@AusterfieldM @p0welly @staustellsimon @OldhamCouncil Cos, as every soldier knows, if you use the wrong thing and it doesn't work, Sarge will focus his attention on you.

And you don't want that…

[Simon Farnsworth @TrueFarnz]

@AusterfieldM @p0welly @staustellsimon @OldhamCouncil RG-58, perhaps? That used to be widely used for computer networking, and is originally from MIL-C-17 military specs for coaxial cables.

[Simon Farnsworth @TrueFarnz]

@VModifiedMind I'd used cycle paths all the way to the supermarket. They just felt that they could tell me off for cycling somewhere instead of driving.

Some people are just that sort of weird - it's happened once in over 100 trips to that supermarket in the last year, so a rare event.

[Simon Farnsworth @TrueFarnz]

@cfunk1 @RancidBacon @fasterthanlime People jump from "there's no such thing as monochromatic purple" (true) to "there's no such thing as purple".

Same mis-step as "there's no such thing as green black body radiation" => "there's no such thing as green".

[Simon Farnsworth @TrueFarnz]

@mycoliza @josh_triplett In the X11 protocol, clients get assigned large ranges of IDs at connection. They then assign IDs within their ranges as they see fit; it's an error to assign outside that range.

That way, client-assigned IDs are globally unique, but the client still assigns them.

[Simon Farnsworth @TrueFarnz]

@mycoliza @timClicks I'd go further - the conversation about which criteria are the "right" ones to evaluate a language by is the valuable conversation, since it's the hard part of evaluating a language.

Once you agree on criteria, evaluation is relatively simple.

[Simon Farnsworth @TrueFarnz]

@arjansiddhpura @BowTiedDolphin @MalcolmTeas @levelsio I can fit 80,000 OS2 fibre cores, each carrying a 4 THz wide signal into 1 cm². A 1 cm² antenna will pick up a 10 GHz wide signal with similar signal strength and quality to a single fibre core.

There's simply no comparison because of the spatial multiplexing wire offers.

[Simon Farnsworth @TrueFarnz]

@AlecMuffett And the one time she encountered something bad (just mean, not illegal) via an E2EE platform, she was able to get teachers involved.

I'm far more concerned by sender-controlled disappearing messages than E2EE - never guaranteed that she'll know how to stop it going away.

2/2

[Simon Farnsworth @TrueFarnz]

@AlecMuffett E2EE means my secondary school daughter can share her worries with her aunt and her grandmother without fear of her technical father intercepting those messages.

This is a good thing; it means that she talks things over *before* they become big problems.

1/2

[Simon Farnsworth @TrueFarnz]

@smudge298 @SurreyRS @PoliceChiefs We do for HGVs, coaches and buses driven as part of your job: https://t.co/K0w5aTJEqM

IMO, needs to trickle down further, though.

[Simon Farnsworth @TrueFarnz]

@AlecMuffett @GeorgeOu Note, too, that ADSL is asymmetric because the design model was the telco idea of one video call, one voice call, plus incoming VoD for TV watchers.

You were expected to pay business rates if you wanted symmetric speeds.