A semaphore looks like this and no one can convince me otherwise.

So we just concluded the 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 :)

cypheon boosted

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: aktion.campact.de/datenschutz/

cypheon boosted

In case anyone here is interested... we're having an Idris Developers Meeting next month (online). Details here: github.com/idris-lang/Idris2/w

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!

cypheon boosted

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:

cypheon boosted


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 😎

(dauert ca. 20-30 min)
Boosts welcome!

@andre@ruhr.social My home NAS has been running on Debian for almost 10 years now, it requires very low maintenance.
One thing I like about Debian is, that new releases only come out every few years, along with a comprehensive upgrade guide. Besides that, updates are unsurprising and almost boring.

@martijnbraam Thanks a lot for that demonstration video! Didn't understand the tow-boot hype at first, but now I do :)

cypheon boosted
cypheon boosted

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

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


cypheon boosted

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


cypheon boosted

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

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

cypheon boosted

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

cypheon boosted
cypheon boosted

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


Show thread

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

cypheon boosted

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.

cypheon boosted
Show older
Mastodon for Tech Folks

This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!