Autore: Flavio Albano

  • Analizziamo i Log del Webserver (Nginx) e visualizziamo i risultati su QGIS per un po’ di GeoMarketing

    Ciao a tuttə e bentrovatə, sono “reduce” da un corso introduttivo su QGIS e ho pensato di “frullare” le competenze appena acquisite con l’analisi dei log del webserver dal mio sito (Nginx nel caso specifico ma, visto che utilizziamo il formato combined, presumo che sia applicabile anche a Apache, con pochissimi ritocchi… ne riparleremo più avanti).…

  • ChatBot in Python con Gradio e Google Gemma sfruttando Hugging Face

    Ciao a tuttə e bentrovatə, quest’oggi vorrei proporvi un piccolo Chatbot basato su Google Gemma e scritto in Python, sfruttando l’ecosistema di Hugging Face; per l’interfaccia grafica del chatbot utilizzeremo Gradio, una bella libreria adatta allo scopo. Prepariamo l’ambiente Vorrei avvisarvi che la preparazione sarà lunghetta e che sarà necessario scaricare diversi Gigabyte di robaccia:…

  • Tentativo per la costruzione di una logica per la dimostrazione automatica di teoremi

    Introduzione Secondo me (ma è solo un’ipotesi) conoscere la cardinalità dell’insieme delle dimostrazioni potrebbe portarci a una AI in grado di fare dimostrazioni automatiche in grado di “cadere” vicine a dimostrazioni di oggetti matematici desiderati. A questo proposito sono partito dal lavoro di Kurt Gödel sull’incompletezza per provare a dimostrare la cardinalità dell’insieme di dimostrazioni…

  • Possibile nuovo invariante?

    Vorrei riportarVi una chat avuta con ChatGPT circa un possibile nuovo invariante che “colleghi” le dimostrazioni per induzione con le funzioni ricorsive (sia in matematica che in informatica); vorrei anche precisare che, visto che parliamo di dimostrazioni per induzione, probabilmente è collegabile anche all’invariante che ho provato a definire qui (è descritto nella seconda parte…

  • Possibile aggressione a Gödel?

    Visto che ieri notte non avevo molto sonno, ho pensato di dare una “bottarella” a Gödel… 😉 Per chi non sapesse chi fosse questo illustre matematico Vi invito a leggere la sua pagina qui su Wikipedia. L’articolo avrà la forma di un dialogo tra me e ChatGPT; anche perché è fondamentalmente un copia e incolla…

  • Nuovo approccio a una dimostrazione matematica?

    Ciao e Benvenutə, quest’oggi si parla di una bestia nera per molti: matematica. Presumo di avere pensato un possibile metodo di aggressione per tutti quei problemi matematici che prevedano punti all’infinito. L’ho pensata per la Congettura di Riemann ma credo possa funzionare anche per la Congettura di Birch e Swinnerton-Dyer e, sotto certe ipotesi, anche…

  • È possibile “costruire” nuovo Cyberspazio con tecniche di SEO e SMM?

    Ciao a tuttə e bentrovatə, come scrivevo in questo articolo ho trascorso circa cinque settimane a Barcellona, principalmente muovendomi nei dintorni del Barrio Gotico (un bellissimo quartiere, devo ammettere di essermi innamorato della sua arte, dei murales, degli adesivi e di Santa Maria del Mar)… lì, immerso in una mia personale visione, ho immaginato la seguente…

  • Ma la p.s. che combina? I pusher li arresta o ci fanno affari insieme?

    Ciao a tuttə e bentrovatə, sto per scrivere un post fortemente polemico contro le forze di pubblica sicurezza (in minuscolo per scelta ideologica e stilistica) ad Agrigento (ma immagino che, nel resto d’Italia, le cose non vadano molto diversamente, con questo governo). Intanto premetto che farò un po’ di nomi e numeri di telefono, così è…

  • I matti li curiamo o li ammazziamo?

    Ciao a tuttə e bentrovatə, come scrivevo nel precedente post sono un consumatore di cannabinoidi e sono anche un convinto sostenitore delle campagne antiproibizioniste in loro favore. Parlando personalmente, l’utilizzo di queste magnifiche sostanze (naturali) mi rilassa e mi pone in uno stato mentale che mi aiuta ad avere idee (probabilmente già avute da qualcun…

  • Nuova intuizione riguardante la matematica?

    Ciao a tuttə e bentrovatə, come riferivo nell’articolo riguardante la Fascistologia (questo è il nome che mi piacerebbe appioppare a quel cocktail di idee esposto ieri), sono arrivato a Barcellona il 17 Dicembre 2024. Non ho realmente contezza di come sia successo, tuttavia, ho iniziato a immaginare Barcellona devastata da un’arma nucleare: ho pianto. Mentre piangevo…