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

Buon Febbraio

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

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

logs di whatsapp

logs di chat molto nsfw 😄

oh beh, allora c’e’ da ridere…

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

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

dai posta snippet 🙂

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

tubey è trainato sui commenti di youtube

gli altri 2 sulle chat di slack

carino 🙂

sisi divertente 😄

quasi tutti i dev hanno dato le dimissioni oramai

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

ustia, la prendete bene

eh meglio ridere che piangere no? 😄

si si

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

Testi presi da LiberLiber

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

reduce?

spetta, o mi sono spiegato male oppure sono accecato

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

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

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))

meglio cosi’, si vede che e’ venerdi

riconosco quella struttura :)

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

@reborg consiglio vivamente di seguire https://github.com/halgari/build-your-own-logic-engine/blob/master/src/build_your_own_logic_engine/core.clj

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

+ 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

grazie mi segno il repo

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

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

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

non e’ sempre logic programming?

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

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

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

puoi usare quel che ti pare

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

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

c'hai anche ragione 🙂

devo ancora abituarmi al repl effettivamente

puoi usare qualsiasi cosa ma keywords sono meglio

visto che le puoi usare come funzioni