Show more
otini boosted
otini boosted

Also unlike on the Mastodon interface, search must be done without the leading '@', e.g. 'otini@functional.cafe'.

Ok I found how to follow remote users (use Nextcloud top right search bar), but I still can't send them toots, and I don't receive theirs…

Current status: direct messages work between users of the same instance. But I don't know how to federate with other instances. Also, there are no notifications yet. Overall, not quite usable for now, unless I missed things. But I'm hoping for the best 🤞

Ok, step 1: federated timeline is empty. How do I add instances to federate with? 😅

otini boosted

"The energy equivalent of machines in human slaves is around 600 slaves per person in Europe (200 worldwide)" #SaveThePlanetReEnableSlavery #APIdays

Has anyone tried yet? I'm pretty excited about that one.

Just randomly discovered the Vim option  “conceallevel” and wow it's nice to edit TeX code

otini boosted

Hey Mastodonians, #GNUSocial citizens and others! Gear up for tens of millions of Nextcloud users spread over several 100K servers who can now join the #fediverse in just one click!

Join the global social network!
nextcloud.com/blog/nextcloud-i
#mastodon #selfhosting #federation

Web rant Show more

otini boosted
Contracts in #Racket rock, you may even have fancy dependent contracts (like in dependent types) 🤗

https://docs.racket-lang.org/guide/contracts-general-functions.html
otini boosted

Tes amis, ta famille cherchent une instance sur le #fediverse et tu as de quoi les héberger : fonce (et n'hésite pas à demander de l'aide) ! Sinon, pense à @tedomum, on cherche la sécurité, le respect de la vie privée et des libertés, on est de droit français et on prône le respect.

Mastodon : mastodon.tedomum.net
Peertube : video.tedomum.net
Pixelfed : pix.tedomum.net

Nos valeurs : tedomum.net/page/valeurs
Nos CGU : tedomum.net/page/cgu

otini boosted

Advent of code Show more

otini boosted

Me: *offers my gpg fingerprint key* here is how to tell me the secrets
Anyone else: Chris, nobody uses this

23:00, reading articles about binary analysis. That's my life now

The official installer at cat.eduroam.org 1. has a Python error in it 2. doesn't work on my NixOS with NetworkManager 😓

Discover : a universal WiFi network with a different set of rules for every institution.

otini boosted

You eventually get used to drinking your takeaway kopi in a plastic bag in Singapore. mastodon.social/media/HKTnYTuJ

Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.