otini boosted

PeerTube: Free software to take back control of your videos
joinpeertube.org/

(submitted by doener)

otini boosted

Tous les éléments effacés par Forget, ils forment un cercle des pouets disparus ? :shibathinking:

otini boosted

Ouaaah félicitation, peertube a reçu pas mal de dons ses derniers temps ! mais c'est pas fini !

joinpeertube.org/roadmap

otini boosted

Now is most definitely the time to give a few euros to @Framasoft
bits.debian.org/2020/10/debian
joinpeertube.org/roadmap

#Debian just donated $10,000 USD for :peertube:#PeerTube and we have just under $3k left to go for live streaming :blobcheer:

Show thread

I use Thunderbird's interface for calendar management, event and task reminders every day. And frankly, it's quite terrible

@dj I had no idea a single person could pull a locomotive like that!

otini boosted
otini boosted

coqffi, a tool to generate #Coq to #OCaml bindings, has finally been published at github.com/coq-community/coqff

@mmu_man I guess you could think of it like that, although maybe not the whole industry 😄

@zig I'm trying to formally verify the security of kernels by analyzing their executables.

Excel: Why using Microsoft's tool caused Covid-19 results to be lost

bbc.com/news/technology-544239

otini boosted

I think there is this issue with PhD studies where no one, except the student, can assess the quality of the work. If you have either a low self-esteem or high expectations, things can go spiraling down real quick. The student is the only one deciding on a day-to-day basis when they should stop working or what is to be considered "a good working day". There are no objective, outside metrics that helps to assert that, because almost every research activity is peer-based.

Show thread
otini boosted

Petit stream sur `ocaml-git` avec du Bashung/Rodolphe Burger en musique histoire de faire la revolution étudiante comme un soixantuitard avec #OCaml - twitch.tv/dinoosaure

otini boosted

Appel rapide à quelques témoignages si vous en avez.

Suite à déménagement récent et déménagement de ligne auprès de mon FAI (Free), mon nouveau compte client a fait l'objet d'une publication dans les annuaires publics.

En résulte une pluie de démarchages courrier et téléphone personnalisés de la part de tous les commerces du coin.

D'autres ont-ils vu leur statut de publication annuaire modifié lors d'un déménagement, et des conséquences similaires ?

otini boosted
otini boosted

Peut-on en déduire qu'il faut baisser le salaire des dirigeants pour gagner des parts de marché ? calpaterson.com/mozilla.html

(fr) Loi de programmation pluriannuelle de la recherche 

Elle est passée en première lecture à l'Assemblée. Voici un communiqué des directeurs de laboratoire qui explique pourquoi c'est une mauvaise loi qui approfondit une mauvaise politique : sauvonsluniversite.com/spip.ph

(Le mérite revient à @lesly pour l'avoir déniché)

Show more
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!