Fork me on GitHub
#clojure-italy
<
2018-03-26
>
manuel07:03:14

buon inizio settimana a tutti

gabriele08:03:40

brutto inizio, il cambio all'ora legale l'ho sentito tutto

reborg08:03:22

anche qua 😴

bronsa08:03:29

io invece sono in ferie 😬

bronsa08:03:36

a proposito

bronsa08:03:50

sono a Padova fino al 5 aprile se qualcuno e` in zona

mdallastella09:03:31

@bronsa se ti va di fare una salto verso Vicenza, Mercoledì 28 potremmo berci una birra io, te e @manuel

bronsa09:03:11

hai beccato l'unica sera di questa settimana che ho gia` un impegno

😢 4
mdallastella09:03:42

[OT] noto solo ora che ci sono più emoticons di quante emozioni io possa provare... strano

bronsa10:03:42

in realta` potrei essermi appena liberato per mercoledi`

bronsa10:03:45

ti faccio sapere

parrot 4
reborg10:03:36

potete fare un video della birrata e postarlo per quelli che non possono venire? 😁

bronsa10:03:55

famo un live stream a sto punto

reborg10:03:31

live stream di una birrata suona giusto!

mdallastella10:03:20

Live stream su Twitch con Patreon live

manuel10:03:38

solo se il mio volto è oscurato, s'intende.

mdallastella10:03:56

@manuel facciamo che fai tu le riprese

manuel10:03:02

e quando bevo?

😄 4
bronsa12:03:42

@manuel @mdallastella niente per mercoledì.. volendo domani o giovedì io son libero

mdallastella12:03:38

Domani ho una cena... Non so @manuel per Giovedì.

manuel12:03:59

vedo cosa riesco a fare

Luis13:03:36

@reborg Comunque quel gist (sondaggio) mi sta aiutando a capire... "in che guaio mi sto cacciando 🙂 "

reborg13:03:32

@luigi.candita non gestico io il sito, forse puoi mettere un warning in #clojure che qualcuno gli fa un restart

Luis13:03:52

Immaginavo. Mi riferivo al fatto che proprio una risorsa così "importante" (immagino) necessita supporto, proprio come dicevi tu.

reborg13:03:46

E per il gist, sorry! 🙂 Comunque da prendere con un minimo di molle, perche' quelle critiche sono sempre esistite e 10 anni dopo siamo ancora qui

Luis13:03:40

Ma nel web? E' davvero necessario avere un framework? O si può pensare seriamente ad applicazioni web framework-less?

reborg13:03:28

ti riferisci ad un punto in particolare? (che me lo rileggo)

Luis13:03:29

Sono un principiante in Clojure.. ma la sensazione che ho è che potrei dire addio a tutto quel bloatware che mi circonda ogniqualvolta sviluppo una webapplication. Confido nel fatto che con un linguaggio funzionale (una volta presa padronanza) possa davvero riutilizzare il codice. O mi sbaglio?

Luis13:03:51

No de-facto web framework - Pedestal is in dire need of documentation - Schema is deprecated and Spec isn't ready - all tooling for Schema will have to be ported for Spec - New CLI tools in Clojure 9 competing with Leiningen/Boot All of these complaints have something in common - looks like the Clojure core team is actively hostile towards the larger community. All community-built tools/libraries are open to attack and replacement by the core team and there's always fear of a major destabilizing revolution everyday.

reborg13:03:04

@luigi.candita C'e' sicuramente una certa espressivita' funzionale che tende ad essere piu' concisa del relativo codice OO (se ti riferisci a Grails/Rails e similari). Anche il bloating tende ad essere contenuto con Clojure per creare webapps. Un buon compromesso sembra essere offerto da Reframe (SPAs) e Luminus (per REST frameworks con generazione di HTML).

manuel13:03:07

al momento: re-frame + compojure/compojure-api + http-kit (più dipendenze varie...) mi stanno bastando per web app. Io partii con Luminus qualche anno fa, ma sono passato a mettere pezzo per pezzo imparando molto di più di come funzionano e si legano tra loro le parti di un progetto CLJ+CLJS.

Luis13:03:34

Io penso che mi orienterò su Luminus. Di solito sviluppo backend+rest e ui in Vue.js

Luis13:03:48

infatti a breve farò un prototipo.. per vedere cosa ne esce fuori

Luis13:03:44

ma ho visto un paio di video su frameworkless web-app che mi stanno invogliando...

manuel15:03:21

Luminus è valido, ma come tutti i tool preconfezionati spetta a te capire dove finisce il framework e dove inizi tu.

bronsa16:03:35

>>>I'll tell you a true story about this in the development of Qi. Long ago I was teaching an early version of my work which used a different type system and included a rule which I felt doubts over. Despite my misgivings I could not find a counterinstance. At the time I was dating a healer who used dowsing and I jokingly said 'Can you dowse for the correctness of an axiom set?'and she said'I'll have a go'. She did and said 'It's wrong'. So I fell to thinking and deep in thought crossing the park, spotted the counterinstance and entered it into the computer- sure enough it malfunctioned. I felt a sort of triumph. I replaced the faulty rule by the current one. It was at this point I recognised the importance of formal proof and began to sketch out the correctness proof of the system - the proof that you can find in TBoS. But uncertain of making a mistake, I wrote to Barendregt in Holland, perhaps the leading theorist in lambda calculus, on this very point. He did not deliver a judgement, but instead referred me to a senior figure at Imperial College who had done the most work in that area. This senior figure was a professor (I omit his name) and I wrote to him, sketching my problem and offering the solution I had formulated. He wrote back to me saying that my solution was still wrong and he had the only definitive solution worked out in the early '90s which was in a published paper. I was pleased and asked for his formulation. And lo! He sent me my original faulty axiom. I then sent him the counterinstance. He struggled with it and went completely silent. Finally after a few days,he wrote back,a rather disjointed letter admitting his version was wrong and effectively bidding me good luck. It was then that I returned to my own work and completed the correctness proof and that system now powers Shen. I think the story is a good example of why it is important to be cautious and humble in this sort of work. The God of mathematics punishes hubris and carelessness of all kinds. I don't know whether the professor retracted his paper or went back over his theorems to see if they still followed from the revised version. It is quite possible that there is now a body of work out there based on a false axiom system. I kept his name private and was not interested in making capital from his mistake - which was mine at one point.

reborg16:03:29

appoggio in coda lettura serale.

bronsa16:03:51

la parte interessante ` solo quel post che ho citato :)

reborg16:03:19

ottimo, ma come dire, la densita' semantica potrebbe richiedermi un po' di contesto ::)

reborg16:03:56

quindi non e' uno scherzo che ha usato un rabdomante per contraddire un assioma con successo?

bronsa16:03:26

stando a come dice tarver e` una storia vera

reborg16:03:00

e tutto questo in un thread riguardo b-tree... beh allora