-
datalog (inference from facts and rules)
datalog (inference from facts and rules) using pyDatalog (pythonic datalog extension)
-
AmbientiDesktop
Gli ambienti desktop che ho usato (in varie loro versioni e configurazioni varie): GNOME Classico KDE Classico XFCE GNOME Shell KDE Plasma MATE Cinnamon Unity altri meno e non mi sento di menzionare oltre https://cdimage.debian.org/cdimage/unofficial/non-free/cd-including-firmware/current-live/amd64/iso-hybrid/
-
Programmabilità … anche minima
Fase 1: Il puntatore di istruzione (IP, Instruction Pointer), seleziona quale istruzione leggere dalla memoria ROM di programma formato da una serie di istruzioni. L’istruzione corrente fluisce in 4 destinazioni che la scompongono: 2 che sono la sorgente e la destinazione di copia di bits di memoria, e 2 che sono i puntatori alle 2 […]
-
Linux inadeguato? Opinioni mie
Linux. Avete sentito qualcosa a riguardo o non sareste qui a leggere. Oppure è un primo contatto che è privo di preconcetti. Le mie opinioni: prime di enunciarle dico che sono un utente antico ed esperto, con interessi nell’ambito della programmazione di software (siti web e app incluse) e amministrazione di sistema (che potrebbe arrivare […]
-
GParted e partizionamenti delle memorie
Ecco un “/dev/sda” (disco interno) partizionato. Ci sono partizioni (ovvero suddivisioni), per le necessità di memoria di ben 4 Sistemi Operativi: MS Windows10, Ubuntu 21.10, Fedora 35, Debian11. Come nota aggiuntiva dico che: è bene ricordare di non interrompere le operazioni di manutenzione ad esempio quelle di GParted perché si potrebbero perdere strutturazioni di dati […]
-
HTTPS per HTTP Sicuro
https://certbot.eff.org/ CertBot lo uso nei miei domini/websites: # from ~/.bash_history cd /var/www && ls mkdir alias.arkenidar.com touch alias.arkenidar.com/test.txt cd /etc/apache2/sites-available/ nano alias.arkenidar.com.conf a2ensite alias.arkenidar.com systemctl reload apache2 sudo certbot –apache -d arkenidar.com -d netop.info -d alias.arkenidar.com /docs/snippets/alias-howto.txt
-
DNS: nome all’ IP address
Ecco come uso linode e dynu per avere un server con IP e dare almeno un nome a quell’IP statico (fisso, non cambia, a differenza dell’utenza comune che ha IP variabili)
-
app che evidenzio
Queste sono le app che uso di questi tempi, specificamente nell’ambiente software di Debian 11. Come dico anche nel titolo nel blog ogni software può essere sia migliorativo che peggiorativo. Usateli con coscienza. Forse dettaglierò in futuro su ciascuno degli elementi mostrati. /var/sh-scripts/
-
Lao Russell said
Basic Foundation for aLiving Philosophy (from Lao Russell) To bring blessings upon yourself bless your neighbor.To enrich yourself enrich your neighbor.Honor your neighbor and the world will honor you.To sorely hurt yourself hurt your neighbor.He who seeks love will find it by giving it.The measure of a man’s wealth is the measure of wealth he […]