Troll dice roller and probability calculator

Recently I’ve been looking for an alternative to AnyDice, probably the most known and widely used Dice Probability Calculator. It’s really good but it has a huge con. It’s proprietary, the source code is not available.

Enters Troll, dice roller and probability calculator which has a somehow raw and crude user interface but its sources are available to download.

Thanks Torben Mogensen for creating Troll (currently on http://www.diku.dk/∼torbenm/Troll).

I’ve hastily made a mirror of it. It is an academic project: there are no copyright tenses, there is no license, the documentation is made in LaTEX and there is an article which has been published as a paper at the ACM Sigplan Symposium on Applied Computing, 2009.

Well, that’s good enough for me. It also makes me rediscover ML languages as it is written in Moscow ML which looks like quite a stable language. Sadly it’s not in repositories of the major distributions (Debian, Ubuntu, Fedora). It’s available “only” as ZIP, TAR Ball, On GitHub, as PKG FileDEB and Win.

[LineageOS 17.1] Download LineageOS 17.1 for Redmi Note 8T

https://www.cyanogenmods.org/redmi-note-8t-lineageos-17-1/

I bought a RedMi Note 8T in the middle of lockdown. It was one of the few available and I needed it to use as camera to livestream Holy Masses. I hadn’t much choice even if I wanted to avoid Chinese communist dictatorship as much as possible. Communism is intrinsically evil.

Now I can fully deGoogle it. The great G holds too much data and too much power over too much people. It’s easy to become evil with too much power.

rdiff-backup

rdiff-backup rdiff-backup

Reverse differential backup tool, over a network or locally.

Comfortably installable on your Debian/Ubuntu with sudo apt install rdiff-backup and on Fedora with sudo dnf install rdiff-backup

(open)LiteSpeed: troppo buono per essere vero?

Leggendo la chat di IoRestoACasa.work mi è caduto l’occhio su un frammento di conversazione che decantava le qualità del server web LiteSpeed, sostenendo che fosse molto più veloce di Nginx.

Tralasciamo che in prima battuta credevo fosse lighttp.

Poi ho storto il naso scoprendo che era proprietario ma aveva una versione “opensurs” (sì, lo storpio apposta, prima o poi ne scriverò) openlitespeed.org, con il solito repo di rito su GitHub.

Riportano questi diagrammini:

Ciumbia, un ordine di grandezza per WordPress! Va bene “oste il tuo vino è buono”, ma questo sembra troppo bello per essere vero.

Va bene, l’architettura guidata dagli eventi, va bene che è pensato per gestire centinaia di migliaia di connessioni concorrenti, va bene che usa kqueue (su FreeBSD and OS X), epoll (su Linux), ma mi risulta lo faccia anche Nginx! Come pure i processi “lavoratori” (worker).

Chiedendo alla papera trovi conferme plateali ed altri documenti dove danno Nginx e openlitespeed in ex-æquo:

Quest’ultimo riporta questi diagrammi:

Mi sa che quei benchmark dove si vedono differenze di un ordine di grandezza siano docute all’uso di protocolli differenti: http, http2 e spdy. “Basta” cambiare protocollo e si vedono gli stessi “salti”. probabilmente in quei benchmark uno usava spdy o http2 e l’altro http “normale”. Insomma erano benchmark “ammaestrati”. Nel qual caso si vendono molto bene….

Aquaria, il codice e l'arte

Preferisco che il software sia libero. C’è un solo settore dove la mia convinzione è meno solida: i videogiochi. D’altro canto in un videogioco la parte artistica ha spesso un peso comparabile a quella del programma. Perfino Richard Stallman lo riconosce:

Il contenuto artistico dei videogiochi è una diversa faccenda, dal momento che non si tratta di software.

Pertanto ho pagato con gioia i 10US$ che l’autore di Aquaria chiede per un sacco di motivi:

SuperTuxKart

SuperTuxKart

SuperTuxKart is a 3D open-source arcade racer with a variety characters, tracks, and modes to play.

It’s a beautiful game, with a little glitch: to join a multiplayer you have to push the “Select” button which usually is the “Fire” or space on a keyboard. Well, on Android… where is the “Select” button?

Of course, there’s no “select”. You must use a gamepad to play SuperTuxKart multiplayer on Android.

At least until version 1.0

I’m downloading version 1.1 right now, I’ll let you know if it does change anything…