Show more
otini boosted

Un grand merci @mart1oeil pour cet article !

Une candidature collective à la présidence du HCERES - The Sound Of Science
soundofscience.fr/1927

I learned recently that Gödel had designed an ontological argument (a reasoning supposed to demonstrate the existence of God), and though it probably won't convert any non-believer, it's a funny thing to know.

plato.stanford.edu/entries/ont

otini boosted

Every evening at 10 PM in the neighborhood of Flogsta in Uppsala, Sweden, students go to the windows and scream.

The university claims it provides "a much needed safety valve" for stressed students.

otini boosted

Are you from the #EU? Do you wonder what data #ClearviewAI has collected about you? Why not send them "requests for access to personal data as per Art. 15 GDPR"? Template at [1], contact details at [2]

[1] datarequests.org/blog/sample-l
[2] clearview.ai/contact

otini boosted

A major breakthrough in quantum complexity and its applications in von Neumann algebra theory that I totally don't understand: MIP*=RE, or "two entangled provers could convince a polynomial-time verifier than an arbitrary Turing machine halts", arxiv.org/abs/2001.04383

Bloggers closer to this area don't have much to say, but I'll point to their posts anyway: windowsontheory.org/2020/01/14 scottaaronson.com/blog/?p=4512

Background from an author: mycqstate.wordpress.com/2020/0

The algebra: en.wikipedia.org/wiki/Connes_e

otini boosted

Me, to self: Oh, Conor McBride is posting on this Coq vs Lean pissing match thread. I bet he'll have something insightful to say.

Conor: Ah, politics

Me: insightful, but not what I was hoping for 😛

otini boosted

An ESCHER SENTENCE is a sentence that initially seems acceptable, but on closer reading, doesn't make any sense - such as "More people have been to Russia than I have".

otini boosted
otini boosted
otini boosted

"Rust is a problem for the Navy, cruise ships and more"

What? They can't handle the borrow checker? Is it the strong type system? Are they using `unwrap()` everywhere?

Oooohhh, the _other_ rust. Ok, carry on.

otini boosted

FR : Cher'es élèves. Une annonce pas très fun.
Des chercheur'ses italien'nes ont raclé les toots publics de plus de 300 instances pour les analyser. La nôtre est dedans. Les toots sont supposément accessibles sur leur serveur, toujours à but de recherche.
Il va sans dire que je suis fâché. J'ai du mal à saisir l'ampleur de cette violation. Juste parce que du contenu est disponible sur le web, cela n'autorise pas son exploitation sans autorisation... Bref.
J'ai boosté le toot avec les infos et le papier qui a été pondu sur le sujet.
Je vous tiendrai au courant si des recours légaux sont tentés.

otini boosted
otini boosted

OCaml be like 

I keep being amazed by the quality of the Stanford Encyclopedia of Philosophy. It is very clear and uses rigorous mathematical formalism whenever needed… in fact, it's my preferred source for learning about logic and other fundamental considerations of science.
Pages I like:
plato.stanford.edu/entries/log
plato.stanford.edu/entries/log
plato.stanford.edu/entries/qm-
plato.stanford.edu/entries/pro

otini boosted
otini boosted

Le service informatique de l'ENS Paris recrute un informaticien pour un CDD d'un an.

spi.ens.fr/poste-ai-2020.pdf

otini boosted

#OnEstLaTech Parce que partir en retraite vieux et pauvre n’est pas inéluctable, une 100aine d'acteur·e·s du numérique lancent un appel contre la réforme des retraites, et pour un changement de société : onestla.tech

Vous aussi, signez ✊ !

onestla.tech/

otini boosted

franceinter.fr/emissions/le-te
Je ne suis absolument pas d'accord avec ce qui est dit. Mon but n'est pas de taper sur le CNRS mais :

Show more
Functional Café

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