OT Programmazione - rolling release - chunk 1 2015

[MItaly]

Predicatori dell'oop puro che amano le lambda e non solo. Basta che il linguaggio dove vengono usate sia principalmente OO. Professori, studenti, genere.

Gente che parla all'uni insomma, dove C++ e Java regnano sovrani. L'unica minaccia che si insinua e Standard ML, che a tutti fa odiare i linguaggi funzionali in genere. Perché quando vedi un solo linguaggio e ha la sintassi di Standard ML ti disperi lol

No, a parte l'estremizzazione, veramente, le persone a volte sono proprio delle teste dure. Lanciano slogan gratuiti del tipo "la programmazione funzionale è il male" e poi la usano in ogni punto possano nel loro linguaggio OO. Ma tanti, veramente tanti! E se provi a contraddirli sei un eretico.

Questa è veramente fede lol

P.s. non era neanche proprio un estremizzazione, più o meno siamo lì.

C'è tantissimo fanboyismo nella comunità informatica, ed è una cosa molto triste, specie visto che dovrebbe essere una comunità basata sul merito tecnico. Io stesso ho praticamente smesso di seguire i gruppi su Linux o C++ su Google+ perché sono qualcosa di imbarazzante, qualunque dissenso rispetto all'ortodossia è represso nel sangue da gente in preda alla sindrome di Stoccolma, per cui alla fine sono gruppi che diventano "echo chamber" per il monopensiero. Specie poi il gruppo di Linux sembra il peggio del forum di PuntoInformatico dei tempi d'oro, con gente che punta il dito e ride quando salta fuori mezza vulnerabilità di Windows senza nemmeno capire di cosa stanno parlando.
Come diceva un mio amico in ambito calcistico, questa la è gente che ti da fastidio che tifino per la tua squadra.

La fine di un'era :oldmemories:

Sempre a proposito di C++17: Hitler on C++17

---

Ah e soprattutto: l'XKCD di oggi capolavoro
http://www.xkcd.com/1537/
giusto in questi giorni sto mettendo mano allo scripting della solita mega-applicazione legacy, sono tentato di implementare un po' di questa roba...

[Scara95]

Ah e soprattutto: l'XKCD di oggi capolavoro
http://www.xkcd.com/1537/
giusto in questi giorni sto mettendo mano allo scripting della solita mega-applicazione legacy, sono tentato di implementare un po' di questa roba...

lol \( °O° )/

[M.A.W. 1968]

...sembra il peggio del forum di PuntoInformatico dei tempi d'oro

Molti colleghi concordano col sottoscritto, senz'ombra di dubbio, nel ritenere che su tale forum attorno alla svolta del millennio si sia toccato uno dei momenti più bassi in assoluto nella storia della telematica. Si fa realmente fatica a definire codesta situazione senza ricorrere a metafore dantesche. Una bolgia di ignoranti ottusi, faziosi e aggressivi che hanno fatto sistematicamente strame dello spirito cavalleresco coltivato per decenni su FIDOnet, calpestandone ignobilmente ogni più sacro valore.

Intendiamoci bene, tutti siamo in qualche misura e all'occorrenza "faziosi" pur occupandoci per mestiere di questioni variamente oggettive, e asserire il contrario dà sempre adito a preoccupazioni nell'interlocutore. Tutti abbiamo preferenze, idiosincrasie, simpatie e antipatie, quasi sempre apertamente basate su motivazioni strettamente tecniche. La faziosità si manifesta quando visioni del mondo diverse si incontrano, o si scontrano. Personalmente ho assistito a furiosissime polemiche, nei corridoi di corsi avanzati, seminari e summer schools itineranti (come la ESSL), tra compassatissimi professoroni che oggettivamente non potevano avere in tali contesti mere preoccupazioni di cadrega e di bottega, e soprattutto in ordine ad argomenti che mai nessun profano di logiche superiori, pur con una educazione tecnoscientifica, potrebbe ritenere soggetti a discussione o dissenso, come i fondamenti logici della matematica. Ma appunto il più "ignorante" di costoro aveva pubblicato articoli scientifici a non finire e almeno mezza dozzina di monografie con Springer-Verlag, dunque aveva tutto il diritto di aver maturato una visione personale del problema e di essersi affezionato a ragion veduta a qualche soluzione, non necessariamente da lui partorita.

La faziosità può anche essere volutamente teatralizzata, come spesso si diverte a fare il sottoscritto, ed è comunque un prerequisito nella teoria logica dell'argomentazione, dove si presume che esistano (almeno) due posizioni contrapposte, sia pure connesse ad una medesima base di verità fattuale (i.e. tutte le argomentazioni addotte sono parimenti corrette, quindi deduttivamente valide e fondate ossia con premesse tutte vere, o almeno cogenti ossia fondate e "forti", come le deduzioni induttive).

Ma è chiaro che ad un certo punto si deve comunque essere in grado di distinguere la verità fattuale e le misure da ogni altra inferenza, deduzione, idiosincrasia personale. Tutto ciò, evidentemente, manca nei soggetti meno preparati e in quelli nei quali la faziosità è tale da alterare e inquinare ogni capacità di giudizio (connotazione tipica, ad esempio, della discussione politica in Italia), i quali sfornano a ripetizione una stanca retorica piena zeppa di errori oggettivi, sfondoni, argomentazioni assolutamente scorrette e non cogenti nel senso tecnico sopra accennato, non sequitur come se piovesse, fallacie d'ogni tipo (ad hominem la più gettonata, ovviamente) e idiozie varie assortite.
Sui forum di PI si raggiungeva una densità di tali idiozie e scorrettezze tale che, a farne altrettanti atomi, c'era da far impallidire una stella a neutroni.

[Scara95]

È la fine di tutte le classi derivate giusto per aggiungere metodi di utilità (con tutti i casini che ne derivano)!

La fine di un'era :oldmemories:

[MItaly]

Quesito abbastanza divertente che mi è stato posto oggi:

Calcolare la somma delle cifre di 2¹⁰⁰⁰ in C, senza librerie esterne (=no GMP e compagnia cantante).

(ripasserò in seguito con una soluzione ingegnosa di una manciata di righe a cui non ero arrivato )

[M.A.W. 1968]

Quesito abbastanza divertente che mi è stato posto oggi:
(ripasserò in seguito con una soluzione ingegnosa di una manciata di righe a cui non ero arrivato )

E' un classico problema (sottospecificato) di Project Euler. Al di là delle possibili soluzioni (ce n'è una facilmente adattabile perfino negli Snippets del compianto Bob Stout, da fine anni Ottanta) in C, più o meno ortodosse, che si trovano assai facilmente in giro: viene subito da dire che calcolare la somma (o più interessante, il population count, modificando leggermente la costante) in binario è ben diverso dal farlo in decimale. Più in generale, non è stata specificata la base in cui lavorare, elemento invece fondamentale quando si parla di simili operazioni base-dependent. Inoltre, dato che l'esempio del link di cui sopra non viene quasi mai associato al testo del problema nelle varie vulgate, non è sempre chiaro se si parla di mera somma o di modulo gaussiano, assai più comune in questi casi, ovvero una reiterazione della somma fino ad ottenere una singola cifra (conteggio in modulo b). Nell'incertezza, ricordo che all'epoca avevo risolto diverse varianti del quesito.

Sarà per questo che noi logici matematici non godiamo di grandi simpatie neppure tra "colleghi" matematici, fisici, chimici, biologi... come quando Tarski si fece avanti a dimostrare e dire che sì, l'intoccabile Euclide era effettivamente grande, ma gli mancava l'assioma di continuità e sarebbe stato bocciato agli esami.

[MItaly]

Sì mi era stato detto che era da Project Euler, per come mi era stato specificato si intendeva la semplice somma in base 10 (sostanzialmente, quello che viene fuori se in Python fai sum(int(x) for x in str(2**1000)), o se vogliamo il 1000° elemento della sequenza A001370 ).

Una soluzione valida e compatta è semplicemente:

#include <stdio.h>
#include <math.h>

int main(int argc, const char *argv[]) {
    char buf[400];
    int total = 0, i;
    sprintf(buf, "%.0f", pow(2., 1000));
    for (i=0; buf[i]; i++) {
        total += buf[i] - '0';
    }
    printf("%i\n", total);
    return 0;
}

La parte divertente è che se uno trovasse questo codice in giro "per davvero" verrebbe il dubbio se l'ha scritto un principiante che non ha capito nulla di floating point ma gli è andata bene oppure un esperto che sa esattamente quello che sta facendo. Io stesso quando mi è stato mostrato ci sono rimasto qualche secondo ("ma questo non si può fare!") prima del momento "a-ha!".

(sul population count e un altro po' di algoritmi bitwise "magici" invece avevo trovato un po' di tempo fa questa gustosa paginetta, in cui c'è anche qualche spiegazione interessante; purtroppo non ho ancora avuto modo di applicarli direttamente)

[M.A.W. 1968]

(sul population count e un altro po' di algoritmi bitwise "magici" invece avevo trovato un po' di tempo fa questa gustosa paginetta, in cui c'è anche qualche spiegazione interessante; purtroppo non ho ancora avuto modo di applicarli direttamente)

Sugli algoritmi bitwise c'è una discreta mole di letteratura, soprattutto (com'è ovvio) in ambito embedded, dall'ormai introvabile Cavanagh degli anni Settanta (a cavallo tra implementazioni su silicio e algoritmica) a vari paragrafi del TAoCP di Knuth, dal divertente "Hacker's delight" a "Matters computational" con relativa libreria FXT, fino al folklore matematico diffuso su molti forum tipo AVRfreaks dove certi "trucchi" come trasformare a runtime un piccolo intero n in 2^n con una manciata di istruzioni Assembly RISC loopless sono davvero all'ordine del giorno. Anche perché, oltre ai vari idiomi, è davvero importante comprendere i meccanismi dell'algebra dei campi finiti di ordine due, che ha una ricca pletora di peculiarità irriproducibili in altri casi.

[fermat]

sto leggendo un articolo introduttivo su Julia.
da come viene descritto, e da quello che gli autori vorrebbero ottenere, sembra interessante.
qualcuno di voi lo conosce??

[Scara95]

sto leggendo un articolo introduttivo su Julia.
da come viene descritto, e da quello che gli autori vorrebbero ottenere, sembra interessante.
qualcuno di voi lo conosce??

Sei alla ricerca disperata del linguaggio ideale o ti stai solo guardando attorno? D:

Se cerchi il linguaggio ideale, buona fortuna

Se ti stai guardando attorno, fai bene

Tieni comunque conto che dopo esserti guardato attorno è meglio se apprendi per bene 2-3 linguaggi.