So we just concluded the #Idris developer meeting May '22... lots of great stuff has been achieved by amazing people!
I've seen great improvements regarding literate Idris source code, and we now have a cookbook to get started with common development tasks.
I made great progress on switching the LLVM backend to a CPS-based IR which is going to be a solid foundation for cool new features :)
Mehr als 100.000 Menschen haben innerhalb eines Tages bereits die von @digitalcourage@twitter.com, @digiges@twitter.com und @DigitalFreiheit@twitter.com initiierte Petition gegen die EU-Pläne zur #Chatkontrolle unterschrieben. Jetzt auch unterzeichnen und teilen: https://aktion.campact.de/datenschutz/chatkontrolle-stoppen/teilnehmen
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.
Ende des Semesters und schon wieder zu viel auf einmal zu tun?
Die Teilnahme an dieser Studie bietet eine gute Gelegenheit, das eigene Lernverhalten zu reflektieren und eventuell sogar neue Ansätze kennenzulernen, um mit herausfordernden Situationen beim Lernen umzugehen.
Alle Teilnehmer*innen (Studis) können am Ende einen Informationsflyer zum Thema "Motivationsregulationsstrategien im Studium" herunterladen. Ihr habt also auch was davon 😎
https://bielefeldpsych.eu.qualtrics.com/jfe/form/SV_8BKLyoflH1gie5o
(dauert ca. 20-30 min)
Boosts welcome!
@martijnbraam Thanks a lot for that demonstration video! Didn't understand the tow-boot hype at first, but now I do :)
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.
The codebase for Privacy Browser PC has been posted online. Currently it doesn’t do much, but I would expect development to progress quickly.
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).
@emersion This is amazing! Being able to trigger build from the command line without a git push is already one of the things I love about sr.ht, but directly getting live output is just awesome!
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
🗃️ Charm FS: A cloud based Golang `fs.FS` implementation backed by the Charm Cloud. It includes additional write methods.
@edwinb Last time I checked, Chez Scheme (vanilla) did not support Aarch64 *at all*. The ARM64 support was only implemented for & inside the Racket fork and AFAIK has not been upstreamed.
I can however confirm that Idris2 runs fine on (Linux) ARM64 with Racket's fork.
Software developer with a passion for free software, functional programing, and formal verification.
he/him