Show more
otini boosted
otini boosted
otini boosted

Est-ce que vous connaissez des moyens de faire de la recherche de code exact sur #Github, #Gitlab, ou sur un autre hébergeur de code ?

J’aimerais trouver du code R qui contient « "TRUE" ». La recherche dans Github est basée sur #ElasticSearch qui est complètement inutile dans cet usage : elle me sort des fichiers qui contiennent « true », par exemple. Or, je veux vraiment mes majuscules et mes guillemets non typographiques ! Bref, vous savez s’il existe un genre de #grep pour Github / Gitlab ?

(C’est pour la #Science ☺)

Un point positif est qu'il n'y a plus une touche en accès direct occupée par la lettre « ù », qui n'apparait que dans un mot de la langue française : « où »

L'AFNOR, en vue d'améliorer la saisie du français, publie une norme recommandant deux distributions de clavier : un « azerty » amélioré et un « bépo » amélioré.

normalisation.afnor.org/actual

J'aimerais connaitre les propositions du « bépo » amélioré, mais la norme est payante. 😕

otini boosted

Cher Mastodon, je cherche à lister les #logicielslibres produits ou améliorés par des laboratoires de recherche français, peux-tu m'aider?

Les contributions sont les bienvenues sur ce dépôt : github.com/bzg/logiciel-libre- 🙏

otini boosted

Qui veut la peau de Sci-hub ?

Renater n’est pas affecté [...] En effet, les éditeurs n’ont pas porté plainte contre Renater. La situation ubuesque est donc que les FAIs sont condamnés par la justice à bloquer un site mais qu’il serait probablement illégal que Renater bloque ce même site.

Le fait que Renater ne soit pas concerné laisse penser que les enjeux du procès sont plus médiatico-politiques que juridico-commerciaux.

theconversation.com/qui-veut-l

@prismo (federated news sharing service using ActivityPub) looks really cool.

otini boosted

@jamey @balrogboogie i think it's time for those people to admit defeat in that regard, or at least realise that the gap between their believe, and reality is many hundred CVEs wide tonyarcieri.com/it-s-time-for-

otini boosted

anyone into types and DNS? still looking for your story^W API on how to use & persist resource record sets... :)

from the typed #OCaml land, so far I came up with roburio.github.io/udns/doc/udn

which provides a rather nicely typed `getaddrinfo` roburio.github.io/udns/doc/udn

comments? ideas? questions? suggestions?

“Google collects geolocation history and information even if Location History is turned off.”

“a user's location is sent to Google hundreds of times a day, even when the phone is not in use. In fact, Hawley said, a user's location is tracked "every four minutes, or 14 times an hour, roughly 340 times during a 24-hour period," even when the phone is not in use.”

And if you turn off your GPS, Google will track your location by scanning area Wi-Fi networks.

pjmedia.com/trending/google-tr

otini boosted
otini boosted

Avant d'acheter un smartphone, vérifier sa réparabilité. Quelques pistes sous ce CW Show more

otini boosted
otini boosted
otini boosted
otini boosted
otini boosted
otini boosted

The very first thing I did in #BabaIsYou is render myself immobile by pushing the word "you" out of :baba::is::you:. The music stopped and I fell in love with the idea.

Show more
Functional Café

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