An early prototype of "be gay, do crime" -- "cross-dress, protest": en.m.wikipedia.org/wiki/Rebecc

timorl boosted

Fun, safe math optimisations

I now have a working self hosted mail server.

Not sure what to do with it. Why did I do that again?

timorl boosted

Happy World Standards Day, a day where the entire world celebrates international standardization... well, the entire world except the US, which celebrates this on October 22nd 😂

(I wish I was kidding)

timorl boosted

UI thought: "friendly" date formats (e.g. "35 days ago" versus the absolute "2021-09-17") are not so friendly if the absolute-date form is not also readily available. Throw me a tooltip, please.

(Hit this today when cross-referencing absolute-date ticket comments to friendly-date GitHub PR actions.)

timorl boosted

Exciting EU study on open source software:

> strongly contributes to GDP
> avoids vendor lock-in
> reduces costs & maintenance
> drives state-of-the-art tech
> fosters competition, interoperability & tech-neutrality

digital-strategy.ec.europa.eu/

Cleaned my laptop after a really long time. I must say the comfiness increased dramatically.

I should do it even less often, so the effect is more pronounced next time.

timorl boosted

Wbrew obiegowej opinii, "EM", używane do oznaczenia prawa wyłączonego środka, nie oznacza "excluded middle", tylko "there Exists such a Magic box" xD
cs.bham.ac.uk/~mhe/HoTT-UF-in-

timorl boosted

I think my family just got used to these things. Lol

timorl boosted

How did spacecraft orient themselves using what was available in 1960s?

The obvious thing for things in Earth orbit is to find the Earth horizon and Sun; maybe find the direction the radio signals arrive from and/or their polarization.

If we are further from Earth, we need to figure it out before we can communicate, so the radio signals approaches don't work. Similarly, there's no horizon to speak of. Yet we managed to do it in 60s.

The first thing we can do is find Sun (simple: the brightest thing around) and Earth. How do we find Earth with no camera and no image processing? We know how far in angular distance we expect Earth to be from sun. So, we point an axis of our spacecraft at the sun and slowly rotate, while a photometer points at the correct angle off that axis. Once the photometer finds something bright enough (and not too bright), we stop the roll and keep tracking that bright thing, assuming it's Earth. We could (I don't know if that was ever done) instead use a radio receiver with an antenna that's angled in the same way.

What if the angular distance between Sun and Earth is too small (so that we wouldn't be able to get any sensible accuracy in the roll direction)? We do the same roll-and-observe-photometer trick to find Canopus, a very bright off-eclipctic star (it's in the southern hemisphere -- -50deg declination -- which is why e.g. I haven't ever knowingly seen it). It being off-eclipctic ensures that occlusions are rare, and it being _very_ bright makes it hard to confuse it with any other start (we discriminate by brightness and angular distance from the sun).

I knew about the concept of star trackers, but for a long time didn't know how they searched for the star. Picking the second brightest star (well, third) and constraining the sun-star angle is what I was missing.

Ref: ntrs.nasa.gov/api/citations/19 (+ interesting details on how do we set up remote overrides for systems that are necessary for communication to happen using 60-70s technology

BTW This write-up ignores the questions of accuracy nearly completely; in part because I'm still confused how did the photoresistor-based sun trackers achieve an accuracy of a tenth of a degree (their fine alignment relied on driving the attitude so that two resistors' resistances were equal; I would expect their bias to creep due to some hard-to-predict differences in aging of different photoresistors, whether due to manufacting defects, or something as silly as different amounts of dust impacts, because the direction of motion wrt local dust was pointed in some slowly-changing direction wrt Sun and Canopus).

timorl boosted
> In October 2018, Swedish ISPs were forced to block access to Sci-Hub after a court case brought by Elsevier; Bahnhof, a large Swedish ISP, in return soft-blocked the Elsevier website.

based

How does one compile for arm64+musl (for & reasons)? Anybody know? When I try the binary ends up with interpreter /lib/ld-linux-aarch64.so.1 while there should be musl instead of linux in there. I would be fine with static linking, but I failed at doing that too. ~_~

Boosts very welcome.

timorl boosted

@humanetech

#Discourse also implementing #ActivityPub (joining the Fediverse) is great news! Thanks for sharing!

meta.discourse.org/t/federatio

timorl boosted

.hg Happy Stanislav Petrov Day.

timorl boosted

Math people either love or hate statistics.

What I have found that helps me is to think of the various theorems from the perspective of functions on spaces. Instead of the messy pseudo-math that intro courses present it as, there are underlying measure spaces. Past all the word salad, spaces are what is tossed around and modified to reason about reality.

@jmw150 This exact approach made me tolerate statistics, but what finally make me respect (some of) them was expressing them in Bayesian terms. Only then they actually make sense as something that relates to the world.

Huh, why did your toot disappear. o.0

timorl boosted

.hg I love tooltips. It's like I'm just pointing to a UI control and asking /the software itself/ “what's this?” and /it just tells us/, and if we do that enough times with enough different controls we Learn How To Use The Thing

timorl boosted

Important word thing

"Human" is a species
"Person" is a moral label
Not all people are necessarily humans
Stop treating these words as synonyms

timorl boosted

Sci-Hub Celebrates 10 Year Anniversary By Uploading 2.3m New Articles - torrentfreak.com/sci-hub-celeb "today offers a staggering 87.97m research papers and serves up hundreds of thousands of them to visitors every day."