Fork me on GitHub
#clojure-italy
<
2019-02-01
>
manuel07:02:28

buondì. Domanda: qualcuno pensa di esserci a Heart of Clojure?

nilrecurring07:02:10

Buondì! Io si se mi pigliano un talk 😄

manuel07:02:17

Ah ecco. Non ho ancora ben capito il prezzo dei biglietti, ma stavo verificando voli e alloggi intanto. Se non è un salasso, conto di esserci.

helios09:02:18

idem 🙂 mi piacerebbe

reborg10:02:06

Buon Febbraio

Andrea Imparato10:02:46

TIL (partition-all n step) -> markov chains non sono state mai così semplici da costruire 😄

reborg11:02:36

Ah ah, facci vedere cosa genera… di solito vengono fuori robe simpatiche. Qual e’ la sorgente di testo che stai analizzando?

Andrea Imparato11:02:29

logs di whatsapp

Andrea Imparato11:02:43

logs di chat molto nsfw 😄

reborg11:02:44

oh beh, allora c’e’ da ridere…

Andrea Imparato11:02:41

sì in azienda tutti sono impazziti per i markov chains bots

Andrea Imparato11:02:03

e ce ne sono già 4 che hanno cominciato a parlare tra di loro su una chat privata sul nostro slack 😄

reborg11:02:22

dai posta snippet 🙂

Andrea Imparato11:02:04

Beemo APP [12:10 PM]
i do like @andrea more than @svenne


svenne APP [12:10 PM]
dick with @Tubey’s dick

Tubey APP [12:10 PM]
linus show is great, but sam somehow seems

Andrea Imparato11:02:32

tubey è trainato sui commenti di youtube

Andrea Imparato11:02:42

gli altri 2 sulle chat di slack

reborg11:02:03

carino 🙂

Andrea Imparato11:02:14

sisi divertente 😄

Andrea Imparato11:02:31

quasi tutti i dev hanno dato le dimissioni oramai

Andrea Imparato11:02:47

ci è rimasto questo per divertirci fino a quando ce ne saremo completamente andati 😄

reborg11:02:34

ustia, la prendete bene

Andrea Imparato11:02:58

eh meglio ridere che piangere no? 😄

mdallastella11:02:34

Avevo fatto un coso che (grazie alle Markov chain) buttava fuori testo, ho provato con la Divina Commedia

mdallastella11:02:05

Testi presi da LiberLiber

reborg15:02:56

Piccolo quiz del venerdi’. Ho f ed alcuni args [a1 a2 a3 a4]. Vorrei: (f (f (f a1 a2) a3) a4). Idee?

reborg15:02:51

spetta, o mi sono spiegato male oppure sono accecato

bronsa15:02:12

mi sa che ti sei spiegato male perche` quello che hai descritto e` esattamente reduce :)

mdallastella15:02:33

Non è una semplice ricorsione riproducibile con reduce, come detto da @bronsa?

reborg15:02:41

si ragazzi, avete ragione… non me ne sono reso conto dal posto da cui la vedevo! 🙂 Vi faccio vedere cosa avevo davanti:

(clp/bind
  (clp/bind
    (clp/bind
      (clp/bind a 
      s2)
    (cl/== q output)
  (cl/reifyg q))

reborg15:02:26

meglio cosi’, si vede che e’ venerdi

bronsa15:02:47

riconosco quella struttura :)

reborg15:02:12

ecco, ora devo emetterla a runtime… e vai con reduce

bronsa15:02:18

c'e` la parte di JIT che e` abbastanza innovativa

bronsa15:02:48

+ tim utilizza transducers invece dell'interleaving lazy stream monad (occhio che cosi` facendo cambia completamente le caratteristiche di search), che e` anche quella parte abbastanza interessante

reborg15:02:18

grazie mi segno il repo

bronsa15:02:49

e` piu` in stile datalog che in stile kanren, ma ci sono un bel po' di spunti interessanti

reborg15:02:00

sono piu’ interessato all’approccio descritto in PLAR (https://www.amazon.co.uk/Handbook-Practical-Logic-Automated-Reasoning/dp/0521899575) che *Kanren, soprattuto per l’aspetto di formal verification. Comunque, per ora uso core.logic, poi parto con roba custom

bronsa15:02:50

ah :) quando hai parlato di programmazione logica pensavo intendessi karnern/prolog

reborg15:02:19

non e’ sempre logic programming?

bronsa15:02:20

in un certo senso, ma tradizionalmente "logic programming" non vuol dire ATP

reborg15:02:20

ok, non sono ancora abbastanza esperto per vedere le sfumature.

Andrea Imparato16:02:01

domanda ignorante, posso usare stringhe come chiavi di una mappa o devo per forza usare solo keyword?

bronsa16:02:33

puoi usare quel che ti pare

bronsa16:02:52

per queste domande solitamente la strada piu` veloce e` aprire una repl e vedere cosa succede

bronsa16:02:12

user=> ({"" 1} "")
1

Andrea Imparato16:02:44

c'hai anche ragione 🙂

Andrea Imparato16:02:54

devo ancora abituarmi al repl effettivamente

andrea.crotti16:02:50

puoi usare qualsiasi cosa ma keywords sono meglio

andrea.crotti16:02:57

visto che le puoi usare come funzioni