sabato 27 maggio 2017

Uh! 'na cosa di mate da verificare


Tutto è partito da questo tweet, altamente ispirativo, come si vedrà (forse, anzi probabilmente, almeno secondo me) nel proscieguo.

Prima di subito ecco l'idea: da verificare! 😜
Quando ho cominciato a interagire con i 'puters avrei usato strumenti molto diversi ma --ehi! siamo nel secolo del Pipistrello della Frutta, mica per niente! 🤖-- e allora si usa un linguaggio di scripting, interattivo (volendo), lasciando ai linguaggi più seriosi compiti più impegnativi.

Convinto che tutti (tutti davvero 😎) capiranno subito e finanche diranno "ah! tutto lì? ma allora c'è un gomblotto, perché non me l'hanno detto prima che è così semplice?". È proprio come dico sempre io, a me nessuno dice mai niente (auto-cit.). E adeso scopro di non essere il solo.

Io ho Linux sul mio 'puter ma tutto quanto vale anche per chi ha un 'puter diverso, qualunque esso sia. E userò linguaggi molto conosciuti, di moda, almeno per due su tre; anzi non parto dal mio preferito ma da uno che --a parte il nome, ma tranquilli non stritola-- è semplice-semplice, semplicissimo, Python.

Una cosa prima di cominciare: il tweet dice "any" che possiamo tradurre con "ogni" o "qualunque". Qui bisogna fare attenzione perché i matematti quando dicono "per ogni" intendono che il numero può essere davvero grande; più di quanto pensate; più del googol; più del googolplex, quella è robetta --per loro. Seriamente finiamo dalle parti di 0, chiamiamolo aleph-zero, un numero decisamente esagerato.


Io non voglio arrivare a tanto mi accontento di un milione. Qui 'na cosa: semplificando per il 'puter ci sono due tipi di numeri, quelli interi, giusti e gli altri, quelli con la virgola che sono troppi ma basta approssimarli; anche perché l'approssimazione è (quasi sempre) più di quella richiesta.
Gli interi invece, se non troppo grandi (in valore assoluto) sono esatti, se a un numero aggiungi 1 ottieni il successore di quello stesso numero e fai contento anche Peano. Il numero più grosso di quelli non troppo grossi quando ero piccolo era 65536 (216) ma se vuoi il segno si riduceva a 32767 (215 - 1); poi le cose sono migliorate e il numero più grande non troppo grosso e con il segno è più di 2 miliardi (duemila gianfranchi), non so nemmeno il valore preciso (di 231 - 1) perché non si deve fare sempre attenzione a non superarlo.
E come se non bastasse c'è la precisione arbitraria, come verificheremo.

OK, fine delle premesse, con Python il problema della verifica dell'affermazione del tweet è, nella sua formulazione più semplice questo:

#!/bin/ env pytjon3

'''verifica di kwesto tweet
https://twitter.com/fermatslibrary/status/866641567511195649

'''


def lastdigit(n):
    return n % 10
  
for n in range(1, 1000001): # 1 million
    if not(lastdigit(n) == lastdigit(pow(n, 5))):
        print(n)



fa cioè il test per tutti i numeri da 1 a 1 milione, scrivendo solo quelli che non superano il test. Sulla mia macchina ci mette circa 7 decimi di secondo (wow!).

A dire il vero lo script (un programma corto eseguito in quel modo si chiama così) è la traduzione di un altro, più bello, secondo me, questo:

;; verifica di kwesto tweet
;; https://twitter.com/fermatslibrary/status/866641567511195649


(define (last-digit n)
  (modulo n 10))

(for ([n (in-range 1 1000001)])
  (unless (eq? (last-digit n) (last-digit (expt n 5)))
    (printf "~a " n)))



Vero che Racket, cioè Scheme, cioè il Lisp è più bello?
OK, i pareri possono variare 😊

Ultimamente è diventato ubiquo JavaScript, usatissimo non solo nel Web ma anche come linguaggio introduttivo alla programmazione. Lo script diventa così:

// verifica di kwesto tweet
// https://twitter.com/fermatslibrary/status/866641567511195649


function lastDigit(n) {
  return n % 10
}
  
for(var n = 1; n <= 1000000; n++) { // 1 million
  if (!((lastDigit(n) == lastDigit(Math.pow(n, 5))))) {
    console.log(n);
    break;
  }
}


Notare che c'è una modifica: appena trova un numero che non verifica la condizione si interrompe. Difatti ecco:



OOPS! ma allora quella cosa della precisione arbitraria...
Verifico:


E sì, sembrerebbe davvero che 15535 = 9033525579302993 = 9'033'525'579'302'993 = nove milioni di miliardi abbondanti sia troppo grande per Node, cioè JavaScript.
Ma gli altri linguaggi siamo sicuri che facciano davvero tutte quelle verifiche? Facciamo una piccola modifica: ci facciamo scrivere il numero che stanno testando quando questo è un multiplo di 50mila:

;; verifica di kwesto tweet
;; https://twitter.com/fermatslibrary/status/866641567511195649


(define (last-digit-p n p)
  (when (and p (= (modulo n 50000) 0))
    (printf "~a " n))
  (modulo n 10))

(for ([n (in-range 1 1000001)])
  (unless (eq? (last-digit-p n #t) (last-digit-p (expt n 5) #f))
    (printf "~a " n)))
(printf"\n")


e

#!/bin/ env pytjon3

'''verifica di kwesto tweet
https://twitter.com/fermatslibrary/status/866641567511195649


'''

def lastdigit_p(n, p):
    if p & (n % 50000 == 0):
        print(n, end=" ")
    return n % 10
  
for n in range(1, 1000001): # 1 million
    if not(lastdigit_p(n, True) == lastdigit_p(pow(n, 5), False)):
        print(n)
print("")


Rispetto alla precedente versione (per entrambi) la funzione che controlla l'uguaglianza delle cifre finali ha un parametro in più, p (per print) che attiva la funzione solo se vero (quindi per il numero e non per la potenza). In ogni caso ottengo questo risultato:


Per la versione JavaScript invece di bloccarlo supito al primo numero non verificato si può proseguire, fino a 10 casi, ecco:

// verifica di kwesto tweet
// https://twitter.com/fermatslibrary/status/866641567511195649


function lastDigit(n) {
  return n % 10
}

var noOK = 0, nStr = ""; 
for(var n = 1; n <= 1000000; n++) { // 1 million
  if (!((lastDigit(n) == lastDigit(Math.pow(n, 5))))) {
    nStr += n + " ";
    if(noOK++ == 10) {
      console.log(nStr);
      break;
    }
  }
}



Uhmmm... parecchi, tanti. Ma sono numeri grossi, novemila gianfranchi di gianfranchi 🐙

Nota: siccome non so come togliere l'a-capo a console.log ho memorizzato i numeri in una stringa che ho visualizzato alla fine; decisamente JS non è il mio linguaggio preferito. Anche se lo usano anche a Stanford.

Facile vero? Acchiappa? 😎

venerdì 26 maggio 2017

Suggerimenti - 306


This is what Barcelona looks like from the sky

When Trump is in prison, would it be cruel and unusual

Fisica e giornalismo. Talvolta. Anzi, spesso

Boeing Will Make the Military's New Hypersonic Spaceplane

Come funziona l'inerzia

Letters to @latimes editor: #Iran just held an election. So why is the theocratic monarchy Saudi Arabia our friend?


I'm a palaeontologist studying the last European sauropod faunas and their biomechanics
brava 😎 bella foto 😎

Passive aggressive book store in Luxembourg

Nasceva oggi un grande italiano

In honour of the legendary Hitchhiker's Guide to the Galaxy author, Douglas Adams

in google veritas

"Sticazzi se è na bufala, non interrompete la magia!"


The Hitchhiker’s Guide to the Galaxy has a few things to say on the subject of towels...
Samantha!

Volete saperne di più sulla #celiachia? Ve lo spieghiamo in #3minuti con questo video

Violenti scontri in #Brasile durante la manifestazione contro Temer. Incendiati due ministeri, esercito schierato a difesa dei palazzi

#Bufale in bottiglia: l'acqua alcalina e la de-acidificazione preventiva

Questa volta la risposta non è “42”, ma “conservazione”

Abstract

Tutto ciò per commemorare un fascista ucciso 40 anni fa nel corso di una rapina


Com'è andata a #Marawi Spoiler: non come l'hanno raccontata certi giornaloni

HELLO YES I WOULD LIKE TO REPORT A MIRACLE

Che brutta notizia. Mi dispiace moltissimo
Giovanni Bignami, RIP

Non ci sono più quei bei complotti di una volta

You shall not pass!

Internet detox program?


Trump as an academic

Who can work in STEM?

Google Translate

Spoiler?

Se lo dice Malan, Chiesa avrà sicuramente ragione

La figuraccia di @dariofrance spiegata bene e alla svelta

GfBo Anthyllis vulneraria

Quarant’anni

Uomini

Non Sequitur

Gli enigmi di Coelum: I dadi di Platone

Chinese Company Offers Free Training For US Coal Miners To Become Wind Farmers

With Trump, it's not "America First" but simply "Me First!"


When workers at this airport quit, trash piled up quick

Questo è uno degli esperimenti, a mio avviso, piú belli di sempre

Read Mark Zuckerberg’s full commencement address at Harvard
il prossimo presidente, forse non solo USA

Sacre pareidolie sui cieli della Brianza

Pas du tout énervée par l'hypocrisie de certains face au statut de la femme
nessuna vescova che risponde?

#NATO and the #Pentagon agree: Climate change a threat multiplier

À Bruxelles, unis avec nos alliés de @NATO


Uh! sai 'na cosa? anzi due: il Tamburo è ormai a un niente a 800 mila visite, dice il signor Blogspot e allora è ora di cambiare, dico io.

giovedì 25 maggio 2017

Suggerimenti - 305


Finland is famous for its education system. What makes it different?

Leghisti che fanno affermazioni criminali ad minchiam

...e poi mi telefona pure chiedendomi di dire la verità....

J.K.Rowling

President Trump's Budget Includes a $2 Trillion Math Error
Buco Tremonti!!!

ma se irrorassimo i #vaccini con le scie chimiche?


Twitter is an amazing place to share your perspectives...

How To Spot Fake News

#fakenews "un gruppo alleato dello Stato islamico sta combattendo... per stabilire il califfato di Lanao"
la Repubblica; quella rinko-renzista

#DonTheCon says his tax cuts (unlike Reagan's & W's) will pay for themselves. Still leaves him $2 trillion short

ma se tu @DiegoFusaro (che ha fondato e dirige il festival) metti la presentazione del tuo libro, sei davvero ridicolo

Ieri sui fatti di #Marawi è stato un festival di #fakenews


Ora Corriere scrive: "Abbiamo verificato e quindi rimosso immagini"

In questo agriturismo marchigiano l'igiene è talmente spinta che ogni giorno demoliscono le camere e le ricostruiscono

Purtroppo ed è tristissimo... continua l'epidemia di gente che condivide questa clamorosa cazzata da rincorazzisti

Strage di ragazzini

Spot the difference

The last digit of any integer n^5 is n itself


Un islamofobo in tv a parlare di Islam e terrorismo, perché no del resto?

Vanno senza velo e a tutto glamour dai sauditi, ma velate e conciate come prefiche in Vaticano

È una bufala, ma la spacciano per "giallo" così clicchi. Ma è giornalismo, questo?

Genti che parlano di proclamazioni di stati islamici per sentito dire

Moglie e la figlia dell'uomo più potente del mondo costrette a vestirsi come prefiche e velate, per rendere omaggio al capo di una teocrazia

L’amara sorte del giornalismo italiano


Ieri a Torino.... "#AUTISMO, UN AIUTO DALL' #OMEOPATIA"

Ancora una volta, permeabili alle #pseudoscienze. Cultura non è anche informazione corretta?

Journal refuses PDF, requests editable DOC file

ah, la meraviglia
Pastiglie Leone

Quando il tuo libro è talmente bello che la prima recensione te la scrivi da solo

Oggi è una giornata molto difficile per il Corriere


Trump ha regalato al Papa un cofanetto di libri sui diritti civili

Mathematical physics is the study

Gli effetti degli attentati sui trentenni

US International Tourism Market Share Is Falling Under Trump

How audiences find news articles


Pope Francis with different heads of state during their visits at the Vatican

Scientists Are Using Gene Editing To Create the Perfect Tomato For Your Salad
presto chiamate Carlin Petrini, il MinistroMartina, il Beppe 5*, Paolo Brosio, il Sorcista e tutti quanti!!!1! *** No la Mautino no! ***

I never get tired of seeing the Sun set in the horizon

Iscrizione in palestra

Style Melania o Boldrini?

Bubblewrap
mitico 😁

Non dimenticare l'asciugamano

 L'asciugamano, è forse l'oggetto più utile che l'autostoppista galattico possa avere.In parte perché è una cosa pratica: ve lo potete avvolgere attorno perché vi tenga caldo quando vi apprestate ad attraversare i freddi satelliti di Jaglan Beta; potete sdraiarvici sopra quando vi trovate sulle spiagge della brillante sabbia di marmo di Santraginus V a inalare gli inebrianti vapori del suo mare; ci potete dormire sotto sul mondo deserto di Kakrafoon, con le sue stelle che splendono rossastre; potete usarlo come vela di una minizattera allorché vi accingete a seguire il lento corso del pigro fiume Falena; potete bagnarlo per usarlo in un combattimento corpo a corpo; potete avvolgervelo intorno alla testa per allontanare vapori nocivi o per evitare lo sguardo della Vorace Bestia Bugblatta di Traal (un animale abominevolmente stupido, che pensa che se voi non la vedete nemmeno lui possa vedere voi; è matto da legare, ma molto molto vorace); inoltre potete usare il vostro asciugamano per fare segnalazioni in caso di emergenza e, se è ancora abbastanza pulito, per asciugarvi, naturalmente.

 Ma, soprattutto, l'asciugamano ha una immensa utilità psicologica. Per una qualche ragione se un figo (figo = non autostoppista) scopre che un autostoppista ha con sé l'asciugamano, dedurrà immediatamente che abbia con sé anche lo spazzolino da denti, la spugnetta per il viso, il sapone, la scatola di biscotti, la borraccia, la bussola, la carta geografica, il gomitolo di spago, lo spray contro le zanzare, l'equipaggiamento da pioggia, la tuta spaziale, eccetera, eccetera. E dunque il figo molto volentieri si sentirà disposto a prestare all'autostoppista qualsiasi articolo di quelli menzionati (o una dozzina di altri non menzionati) che l'autostoppista eventualmente abbia perso. Il figo infatti pensa che un uomo che abbia girato in lungo e in largo per la Galassia in autostop, adattandosi a percorrerne i meandri nelle più disagevoli condizioni e a lottare contro terribili ostacoli vincendoli, e che dimostri alla fine di sapere ancora dov'è il suo asciugamano, sia chiaramente un uomo degno di considerazione.
Da qui sono nati certi modi di dire entrati nel gergo dell'autostoppista, come per esempio: "Ehi, ciacci quel ganzo di Ford Prefect? È un frisco che sa davvero dove ci ha l'asciugamano!" (ciacciare = conoscere, rendersi conto di, incontrare, avere rapporti sessuali con; ganzo = tipo proprio in gamba; frisco = tipo straordinariamente in gamba).


martedì 23 maggio 2017

Suggerimenti - 304


Ivanka Fund got $100MM pledge from Saudis & UAE

Un titolo sobrio

Researchers find a tiny moon around a large unnamed dwarf planet

Come i seguaci di Beppe hanno preso la giravolta del M5S sui vaccini

when you get a surprise kiss

À votre avis ils sont en train de


Trump Supporters Are Building A Document That Doxes Of Thousands Of Activists

Theresa mai, che secondo alcuni estimatori è astutissima, si è appena rimangiata l'idea oscena:di tagliare la sanità agli anziani

Citazioni

Citazioni [2]

MY HEART 😭😍

Think about it


gente che ha impegato anni a studiare da tuitstar

Palermo, colpi di pistola contro boss in bicicletta

たまに円が六角形に見えるGIF

Walk in the Woods

Grillo (o chi per esso) scrive un articolo (abbastanza) pro-vaccini, miracolo

Amazon's 1.7 Million Free Bananas 'Disrupting' Local Fruit Economy


Baking Soda Shortage Has Hospitals Frantic, Delaying Treatments and Surgeries
quasi incredibile

Wof

Salvini: "Dove c’è un’ingiustizia ci sono io."

Contro le tasse sulla prima casa per i più ricchi

Why #Catalonia will take the future into its own hands

A Rimini c'è un locale che si chiama Zodiaco. Facciamo che non ci andiamo e se ci andavamo non ci andiamo più?


Invidia?

BREAKING: Metaphor Opens in Front of Trump's Mar-a-Lago Resort

L'astutissima May s'è andata a schiantare con una proposta di legge crudele

Tasse sulle (prime) case dei nababbi. @matteorenzi ha detto sempre di no alla proposta

Scusi ma lei che ne sa?

It took the geniuses of Wall Street nearly 6 months since election to figure out that Trump is a fuck-up


This little dog is having the best day

Un quadro generale in continuo, rapidissimo cambiamento

Ogni anno partono verso l'Australia 25.000 persone, siamo ai livelli del Dopoguerra

Scontro di civiltà

HE DID IT! Kilian Jornet summits Mt Everest in a 26h single climb, without the help of additional oxygen or fixed ropes


lunedì 22 maggio 2017

Suggerimenti - 303

OK, lo so che potrei sembrare fissato, lo so, guarda qui, proprio come dice mnt:

disclaimer: für jeden trumpcontentretweet werde ich mich selbst kasteien


Mi fido di te

Io propongo di risolvere prima il mistero

The Internet is broken

This cat as a metaphor for imposter syndrome

If even Einstein struggled with French, how are the rest of us supposed to ever master it? #jeperdsespoir

Suono un po' per equilibrare


Ottico vende montature senza lenti spacciandole per occhiali omeopatici

Guarda il video che ha rallegrato il web: lo sciacallo Salvini cacciato via

ecco, la prova che ci sono troppi chitarristi su questo pianeta

Cosa ha detto i mi figliolo dopo la figuraccia sulle #magliettegialle

Switzerland Votes To Abandon Nuclear Power In Favor of Renewables

Tutte qui le #magliettegialle del @pdnetwork nei luoghi del sisma


Take out the word "combatting" from the Center's name, and it sounds about right

This is straight out of a Bond film, when the leaders of SPECTRE make a vow to conquer the world and then *evil laugh*

Dovete sapere che c'è un complotto di Soros e dei buonisti per conquistare l'Europa invadendola con gli immigrati

Quando per Trump i sauditi erano nient'atro che chiacchieroni, bulli vigliacchi

Trump’s Riyadh speech boiled down to a pledge of support for Arab autocracies in their regional rivalry with Iran


What does it do?

Saudi Arabia and UAE pledge $100 million to Ivanka's Women Entrepreneurs Fund

Impressionante la censura dei media sull'iniziativa delle #magliettegialle fra i terremotati, non ne trovo traccia

This photo single handily saved selfie sticks

C'est parfois difficle de savoir si on est en train de regarder les infos où un épisode de Supernatural, ici

Before visit to Israel, Trump sold billions in sophisticated weapons to a state he said masterminded 9/11


Niagara falls after being ”shut off” by army engineers in 1969 to remove loose rocks

The Trump administration has tried this a few times, sir. We actually vet these things

research found 10 times more negative coverage of Trump than positive

Israel jails writer Ahmad Qatamesh without charges

ISIS adopted official Saudi textbooks for its schools until extremist group could publish its own books in 2015

Le bufale pericolose di @antonio_bordin. Il vaccino in questione era l'unico a pagamento prima di diventare obbligatorio


Quella dei vaccini che sterilizzano è una balla sposata anche dalla chiesa cattolica

No

Gallows humour aside, the Trump / Saudi visit through a #Yemen lens compliments
"La giusta via da seguire" per il PD, è fermare i/le migranti lungo le coste della Libia e recluderl* nei campi di concentramento

Pd in rimonta dopo le primarie, Renzi rilancia

Il gombloddo alieno