Simon Farnsworth @TrueFarnz

I am the real Farnz; all others are just poor imitations. He/his. blog.farnz.org.uk UK Joined September 2009

Tweets

383
Followers

157
Following

243
Likes

21K

Simon Farnsworth @TrueFarnz

2 years ago

@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.

0 0 0 16 0

View Details

Simon Farnsworth @TrueFarnz

2 years ago

@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.

1 0 1 101 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

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

1 0 2 65 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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".

0 0 0 2 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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.

1 0 1 12 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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

1 0 0 14 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@_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?

1 0 0 16 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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?

1 0 1 72 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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…

0 0 1 16 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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.

1 0 1 24 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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.

1 0 0 23 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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".

0 0 2 389 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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.

0 0 0 32 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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.

0 0 0 17 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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.

0 0 0 95 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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

0 0 0 10 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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

1 0 3 40 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@smudge298 @SurreyRS @PoliceChiefs We do for HGVs, coaches and buses driven as part of your job: gov.uk/driver-cpc-tra… IMO, needs to trickle down further, though.

1 0 2 27 0

View Details

Simon Farnsworth @TrueFarnz

3 years ago

@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.