cypheon @cypheon@mastodon.technology

In case anyone here is interested... we're having an Idris Developers Meeting next month (online). Details here: https://github.com/idris-lang/Idris2/wiki/0-%5BCommunity%5D-Idris-Developer-Meeting,-May-2022

My plan is to use it to spend a whole week at once working on the new Idris core, rather than a few hours here and there every week... but please come along for as little or as much of it as you like!

schaffen wir 100 boosts?

ich habe ein buch geschrieben. es ist leicht lesbar, und soll menschen ermutigen, viel menschlicher in unternehmen und der wirtschaft zu arbeiten. das buch ist kostenlos verfügbar als pdf, epub und hörbuch:
https://www.buechner-verlag.de/buch/wirtschaft-hacken/

https://blog.mozilla.org/en/mozilla/privacy-preserving-attribution-for-advertising/

This is trying to solve a problem that doesn’t exist. The only attribution that advertisers need is to track the number of hits their server sees on the URLs in their ads. If they see a lot of hits, then the ad campaign is working. I can’t imagine any world where it would be a good idea for advertisers to get any more information than that.

Made a video about Tow-Boot for the Pinebook Pro: https://spacepub.space/w/nUyQ1zq2MpkPatBrD3yPkt

Oh Göttin... da hat @Lilith aber was zusammen recherchiert 😂

Unter anderem mit nem AirTag und Anrufen nachts um 2 Uhr bei vermeintlichen Geheimdienstmitarbeitern.

https://lilithwittmann.medium.com/bundesservice-telekommunikation-enttarnt-dieser-geheimdienst-steckt-dahinter-cd2e2753d7ca

The codebase for Privacy Browser PC has been posted online. Currently it doesn’t do much, but I would expect development to progress quickly.

https://www.stoutner.com/privacy-browser-pc-codebase/

If you want to, you can move your Mastodon account to another instance.

Moving lets you take your followers, follows and settings with you.

1. Create a new account on the instance you want to move to, but do not delete the old account

2. Log into your NEW account, and go to Edit Profile > Moving From A Different Account, click on "create an account alias" and follow the instructions

3. Log into your OLD account, and go to Edit Profile > Move To A Different Account, click on "configure it here" and follow the instructions

4. On your OLD account, go to Preferences > Import and Export > Data Export and download the settings and follows lists

5. On your NEW account, go to Preferences > Import and Export > Import and upload the lists you just downloaded in the previous step

...your old account will now redirect to the new one, and your follows and followers will transfer automatically (there may be a short delay as this happens).

#MastoTips #Mastodon #FediTips #Fediverse #Accounts

Das sollten sich einige aus der Journalistenzunft hinter die Löffel schreiben. Für Leser/Hörer/Zuschauer/User heißt das: Immer genau hinschauen und wenn möglich mindestens eine zweite Quelle heranziehen.
#journalismus #fakten #medien #quarks

The world needs usb-c cables in this style

🗃️ Charm FS: A cloud based Golang `fs.FS` implementation backed by the Charm Cloud. It includes additional write methods.

https://github.com/charmbracelet/charm#charm-fs

Back in 2012 i thought html+css is the best way to make GUI.

A few years later, when everyone else did it instead of just thinking, I realized it's not.