Show newer
otini boosted

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

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é)

otini boosted
otini boosted
otini boosted

Aujourd’hui, c’est la Journée Internationale du Logiciel Libre ! On va donc parler de comment Zeste de Savoir participe au logiciel libre, de par sa structure comme de par son contenu. zestedesavoir.com/ #JILL

otini boosted
otini boosted

Give someone a program, you frustrate them for a day; teach them how to program, you frustrate them for a lifetime. -- David Leinweber

otini boosted

Eh folks, any suggestion regarding a modular arithmetic in #Coq? I know CompCert has one, but it is not standalone as far as I am aware, so it’s a bit less easy to use.

Would love to hear your though, thanks!

logic question 

I taught my first class in propositional logic today and one of the students asked a question I couldn't answer.

I had just presented De Morgan's laws and double negation elimination, and call them (rather informally) “calculus rules”.

They asked whether all tautologies could be transformed into the constant formula “TRUE” by applying a sequence of “calculus rules”.

I must say I don't know the answer. I know that every formula can be converted into either CNF or DNF, but I don't whether the CNF or DNF of a tautology is necessarily “TRUE”.

otini boosted

J'ai la preuve qu’SFR a communiqué mon mail à des spammeurs. Leur délégué à la protection des données recevra bientôt un mail de ma part.

Idem pour le numéro de téléphone.

otini boosted
otini boosted

Funkwhale 1.0 is out 🎉

As usual, the full changelog is available at docs.funkwhale.audio/changelog,. New features include:

- A brand new search page
- It's now possible to launch a scan from the UI
- Themes and language are now persisted accross sessions
- A new plugin system, with a scrobbler plugin that works with Last.fm and MusicBrainz

We're thankful to the contributors to this release, as well as all our supporters, backers and members of the community who have been with us for five years!

We wish you a happy upgrade!

Show older
Functional Café

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