Show newer
otini boosted
otini boosted

A colleague of mine is trying to teach me some #prolog, but I would prefer to not have to use the Eclipse extension. Does anyone know another usable interpreter?

Boost appreciated

otini boosted

#FOSDEM succeeded to run a online conference with over 8000 participants with completely #FreeSoftware (#OpenSource).

Big thanks to the #FOSDEM and the #Matrix team!

otini boosted

Stages of debugging: (1) That can't happen. (2) That doesn't happen on my machine. (3) That shouldn't happen. (4) Why does that happen? (5) Oh, I see. (6) How did that ever work? -- M.W.Cremer

otini boosted

I intend to switch from sway to awesome (mostly due to issue with sharing screen). To do that, I need to port my keyr daemon (git.sr.ht/~lthms/keyr/) to X11. It’s basically a keylogger which counts keystrokes.

I am looking for a simple keylogger program to start with, similar to git.sr.ht/~sircmpwn/wshowkeys but for X11.

Any suggestion Mastodon?

otini boosted

Why Sci-Hub matters: new empirical study shows that "articles downloaded from Sci-Hub were cited 1.72 times more than papers not downloaded from Sci-Hub...the number of downloads from Sci-Hub was a robust predictor of future citations"
link.springer.com/article/10.1

otini boosted

I am surprised that , despite its many qualities, is able to automatically shorten journal names but not conference names 😕
(You know, the famous Princ. of Program. Lang.)

I am surprised that , despite its many qualities, is able to automatically shorten journal names but not conference names 😕
(You know, the famous Princ. of Program. Lang.)

otini boosted
otini boosted
otini boosted

Evince is a good PDF viewer but changing the keybindings of this kind of Gnome programs is Mission: Impossible.

otini boosted

Today, turned mathematical typesetting into a package of , and documented it. 😊 Math typesetting in mainline SILE soon maybe 🤞

github.com/sile-typesetter/sil

Today, turned mathematical typesetting into a package of , and documented it. 😊 Math typesetting in mainline SILE soon maybe 🤞

github.com/sile-typesetter/sil

otini boosted

I've just created a new #functional #programming community on #matrix. If you are into #haskell, #ocaml, #coq, #lisp, #idris etc you might want to visit #lambdapunk:acmelabs.space See you there! 😸

otini boosted

"Telling a programmer there's already a library to do X is like telling a songwriter there's already a song about love"

-- Pete Cordell

Everything is amazing in the Libertinus Math’s Greek alphabet. All these details.

Show thread

Oh waouh, c’est beau : une thèse sur les formats d’édition publiée sous de multiples formes : these.robindemourat.com/

J'aime bien faire joujou avec la typographie et les polices mais être confronté au même bugs depuis six mois et n'avoir personne pour aider, c'est parfois décourageant.

My opinion about ligatures is undecided. They definitely are cool, and a nice thing to have, but the only ones who notice them are the ones knowing about the concept of ligature already.

Show thread
Show older
Functional Café

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