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…
-
Prompt Expansion con OpenAI: potrebbe essere una nuova idea?
Ciao a tuttə e bentrovatə; dovete scusarmi per la mia lunga assenza ma, in questo periodo, sono stato oberato di impegni lavorativi. Quest’oggi vorrei parlarvi di una mia personale riflessione sull’AI (e in particolare sui LLM): vorrei parlarvi della Prompt Expansion. Prompt Expansion Dovete sapere che, in questo periodo, sono particolarmente affascinato dagli Agent (in…