Avrei voluto trovare prima questo sito, ma forse non è troppo tardi
https://www.cs.usfca.edu/~galles/visualization/Algorithms.html
https://www.cs.usfca.edu/~galles/visualization/Algorithms.html
Non ho la minima idea di cosa abbia causato il problema, ma riavviando il servizio di enhancement / riavviando tutto, si sistema 🤨
journalctl -u micro
Bene non mi parte neanche l'app delle gestures
Ok è un pacchetto AUR, ho reinstallato-ricompilato la stessa versione dato che non ci sono aggiornamenti e ha funzionato
Più di un anno fa mi sono scritto questo noscript in Bash, per allenarmi sulle risposte vero/falso che avrei trovato all'esame di Sistemi Operativi.
(mi sono scritto anche il file a parte con le domande, e devo dire che nel farlo ho trovato parecchie incoerenze nelle dispense trovate in giro...)
Il punto è che oggi scopro che qualcuno si è interessato ed ha fatto un altro file di domande per l'esame di Algoritmi 😎
(mi sono scritto anche il file a parte con le domande, e devo dire che nel farlo ho trovato parecchie incoerenze nelle dispense trovate in giro...)
Il punto è che oggi scopro che qualcuno si è interessato ed ha fatto un altro file di domande per l'esame di Algoritmi 😎
quizAlgoritmi.txt
4.8 KB
Edit: alcune domande erano formattate male
Sto esplorando una nuova piattaforma alternativa a Discord chiamata Guilded.
Per ora osservo le seguenti cose salienti:
- 80% della GUI e delle funzioni sono uguali a quelle di Discord
- streaming a 60fps sorgente free
- emoji custom free
- pagina di profilo tipo Steam con
- foto
- banner
- status
- collegamenti giochi (anche senza account)
- collegamenti social
- feed personale
- media personali
- messaggi diretti
- amici
- i server possono avere dei sottogruppi
- diversi tipi di canali quali:
- categorie
- solo testo
- voce + testo: canale lobby principale + sotto stanze tipo TeamSpeak
- streaming + voce + testo con utenti multipli
- forum
- calendario per pianificare eventi
- schedule per segnare la propria disponibilità in certi range di orario
- liste todo (tra l'altro con la funzione di riduci/espandi sottonodi che cercavo)
- annunci
- documenti
- media tipo l'home di Imgur
- possibilità di inserire polls e forms ovunque
- ogni canale che supporta testo (eccetto commenti) permette di avere threads e risposte a singoli messaggi tipo Reddit
- i link di invito possono avere form di partecipazione tipo quelli dei gruppi facebook
- sezioni di amministrazione quali Overview, Membri, Log
Edit:
- possibilità di aprire in una finestra separata singoli canali (come il pop-out nei canali vocali di Discord, ma per qualsiasi canale)
Per ora osservo le seguenti cose salienti:
- 80% della GUI e delle funzioni sono uguali a quelle di Discord
- streaming a 60fps sorgente free
- emoji custom free
- pagina di profilo tipo Steam con
- foto
- banner
- status
- collegamenti giochi (anche senza account)
- collegamenti social
- feed personale
- media personali
- messaggi diretti
- amici
- i server possono avere dei sottogruppi
- diversi tipi di canali quali:
- categorie
- solo testo
- voce + testo: canale lobby principale + sotto stanze tipo TeamSpeak
- streaming + voce + testo con utenti multipli
- forum
- calendario per pianificare eventi
- schedule per segnare la propria disponibilità in certi range di orario
- liste todo (tra l'altro con la funzione di riduci/espandi sottonodi che cercavo)
- annunci
- documenti
- media tipo l'home di Imgur
- possibilità di inserire polls e forms ovunque
- ogni canale che supporta testo (eccetto commenti) permette di avere threads e risposte a singoli messaggi tipo Reddit
- i link di invito possono avere form di partecipazione tipo quelli dei gruppi facebook
- sezioni di amministrazione quali Overview, Membri, Log
Edit:
- possibilità di aprire in una finestra separata singoli canali (come il pop-out nei canali vocali di Discord, ma per qualsiasi canale)
Guilded - Chat for Gaming Communities
Guilded upgrades your group chat and equips your server with integrated event calendars, forums, and more – 100% free.
journalctl -u micro
Sto esplorando una nuova piattaforma alternativa a Discord chiamata Guilded. Per ora osservo le seguenti cose salienti: - 80% della GUI e delle funzioni sono uguali a quelle di Discord - streaming a 60fps sorgente free - emoji custom free - pagina di profilo…
image_2021-06-13_15-52-34.png
272 KB
Hmm, ho chiuso la finestra ma non c'è alcun indicatore di notifica e i suoi processi sono ancora in esecuzione.
Oh bello, ora KDE riesce a comunicare il tema di sistema, il quale viene preso automaticamente da Telegram Desktop (e non da Discord).
(peccato non sia possibile mettere temi custom qui)
Chissà se c'è un meccanismo dbus dietro
Edit: voi sapete se questa feature esisteva anche prima? Io non me ne sono mai accorto
(peccato non sia possibile mettere temi custom qui)
Chissà se c'è un meccanismo dbus dietro
Edit: voi sapete se questa feature esisteva anche prima? Io non me ne sono mai accorto
journalctl -u micro
Oh bello, ora KDE riesce a comunicare il tema di sistema, il quale viene preso automaticamente da Telegram Desktop (e non da Discord). (peccato non sia possibile mettere temi custom qui) Chissà se c'è un meccanismo dbus dietro Edit: voi sapete se questa…
Funziona anche solo switchando tra le combinazioni colori