| klip | https://en.wikipedia.org/wiki/Gender_reform_in_Esperanto :) | 00:08 |
|---|---|---|
| blondina | Gender reform in Esperanto - Wikipedia | 00:08 |
| klip | Tau je prozatim state of art reasoner (nestratifikovany datalog, tj. bez omezeni negace v rekurzi, a ma byt self defined!) a context-free-grammar (cfg) parser (early parser, futamura projection, partialy fixed point). To teprve bude Esperanto :) | 00:16 |
| klip | Tauchain je vicemene o tom, ze mas svoji vlastni knowledgebase, kam si davas statementy a mas streamy statementu, ktery sledujes a davas k nim SOUHLASIM (prida se do tvoji KB, ze s tim statementem souhlasis) / NESOUHLASIM (prida se do tvoji KB, ze s tim statementem nesouhlasis). nad vyslednyma datama se daj delat velice presny query, pokud vsechny informace napiseme v jazyce, kteremu bude pocitac jednoznacne | 00:19 |
| klip | rozumet | 00:19 |
| klip | = jazyk, definovany v TML = Tau Meta Language. Coz je ten neomezenej datalog | 00:19 |
| klip | http://wiki.matfyz.cz/wiki/Form%C3%A1ln%C3%AD_z%C3%A1klady_datab%C3%A1zov%C3%A9_technologie/Datalog | 00:20 |
| blondina | Formální základy databázové technologie/Datalog – ωικι.matfyz.cz | 00:20 |
| klip | Pisou tam, ze datalog neumime s negaci v rekurzi | 00:21 |
| klip | oblibena otazka u zkousky | 00:21 |
| klip | mimochodem, nedavno me zaujal pohled na blockchain, ze je to svym zpusobem jen technologie, ktera poskytuje decentralizovane hodiny - lze tak s urcitou mirou jistoty tvrdit, co se stalo driv a co se stalo pozdeji. | 00:27 |
| olidstva_ | co si predstavujes pod syntakticka jednozacnost? | 00:27 |
| olidstva_ | jakoze neexistujou honomyma a synonyma? | 00:27 |
| olidstva_ | jsem si rikala ze datalog znam :D | 00:39 |
| olidstva_ | vsak je to normalni pouzivani prologu :D | 00:40 |
| olidstva_ | neco podobnyho je vlastne i tohle https://en.wikipedia.org/wiki/Expert_system | 00:40 |
| blondina | Expert system - Wikipedia | 00:40 |
| olidstva_ | prolog ultimate kod :D jeden z prvnich co jsem napsal :D | 00:44 |
| olidstva_ | prepis([],_,[]). | 00:44 |
| olidstva_ | prepis([H|X],A,[G|Z]) :- ( (H < 65 , G is H); | 00:44 |
| olidstva_ | (H < 91 , G is ( ( ( H - 65 + A ) mod 26 ) + 65 ) ); | 00:44 |
| olidstva_ | (H < 97 , G is H); | 00:44 |
| olidstva_ | (H < 123 ,G is ( ( ( H - 97 + A ) mod 26 ) + 97 ) ); | 00:44 |
| olidstva_ | (H > 122 ,G is H ) ), | 00:44 |
| olidstva_ | prepis(X,A,Z). | 00:44 |
| olidstva_ | preloz:-write('Zadejte větu kterou, chcete přeložit ohraničenou těmito uvozovkami "Věta". Například větu tvaru We are justice. jako tenhle příklad "We are justice." poté zmáčkni ENTER a napiš číslo o jaké má být Ceasarova šifra provedena.'),read(X),read(Y),prepis(X,Y,Z),name(D,Z),write(D). | 00:44 |
| klip | jj. datalog je subset prologu. proc? protoze... Datalog queries on finite sets are always terminated. | 00:53 |
| klip | teda ne prave proto, ale proc je Tau datalog. | 00:53 |
| klip | lol. too late. brou noc :) | 00:54 |
| olidstva_ | ale to je zajimavy tim padem je to predikatova logika ale ne, ja myslel ze to chtel puvodne delat na vyrokovy instucionisticky | 00:55 |
| klip | o tom se tusim nevyjadruje moc pozitivne :)) no. ono to je tak, ze ten datalog bude urcenej hlavne pro definovani jazyka, v kterym se teprve bude clovek vyjadrovat a Tauchain to ma prekladat napric vsemi jazyky, ktere jdou definovane v tom datalogu (TML) | 01:00 |
| klip | mluvi casto o konverzi do MSO | 01:01 |
| olidstva_ | definice jazyka je to nejhorsi na tom obvious, jakoze existujou pokrorcile techniky na zpracovani prirozeneho jazyka, ale imho furt takovej kalkulus nikdo nenasel abych fungoval u vseho | 01:02 |
| olidstva_ | ona v cechach na nece podobny uz dela jedna profesorka | 01:03 |
| olidstva_ | http://www.cs.vsb.cz/duzi/TIL.html | 01:03 |
| blondina | Zpracování přirozeného jazyka (TIL) | 01:03 |
| klip | tohle je zda se interni reprezentace KB Tau. biregular graph a hypergraph https://github.com/IDNI/tau/blob/master/algo.md | 01:03 |
| blondina | tau/algo.md at master · IDNI/tau · GitHub | 01:03 |
| klip | to prave neni prirozeny jazyk | 01:03 |
| klip | TML je datalog... datalog neni prirozeny jazyk | 01:03 |
| klip | TML umozni nadefinovat bohatsi datalog, ale porad jenom datalog :) | 01:04 |
| klip | tak to teda chapu ja | 01:04 |
| ccx | btw existuje konverze (podmnoziny) Lojbanu do Prologu. Ono gramatika Lojbanu je z vetsi casti o tom jak ty predikat vyslovit a nezamotat se v zavorkach. | 01:04 |
| klip | a vsechny statementy v Tau KB budou prelozeny do jazyka definovaneho pomoci jayzka TML - human to machine. Tau je neutral-point-of-view middleman zprostredkujici human to machine to human komunikaci :) | 01:05 |
| ccx | olidstva_: Ten tvuj ultimate prolog by sel napsat logicky a ne imperativne pomerne snadno - pokud dana implementace ma finite domain constrainty, coz prakticky vsechny velky jmena maji. | 01:09 |
| olidstva_ | Jako ze bys tam definoval vsechny ty predikaty? | 01:11 |
| olidstva_ | na atomicky urovni | 01:11 |
| ccx | viz http://www.pathwayslms.com/swipltuts/clpfd/clpfd.html | 01:24 |
| blondina | CLP(FD) Constraint Logic Programming over Finite Domains | 01:24 |
| ccx | bez is/2 a if-then konstruktu takze tim neomezis modalitu a funguje to i "pozpatku" | 01:26 |
| *** Quits: malajanka (~malajanka@pirati.info) (Quit: Ping timeout (120 seconds)) | 02:15 | |
| *** Joins: malajanka (~malajanka@pirati.info) | 02:15 | |
| *** ChanServ sets mode: +v malajanka | 02:16 | |
| olidstva_ | je prdel ze jsem se koukal na stranky ty firmy co nam ma dodat do ucetnictvi | 02:18 |
| olidstva_ | nejvetsi prdel ze ten web jejich sam o sobe je jen wordpress | 02:18 |
| olidstva_ | a jeste asi evidentne s deravym pluginem | 02:18 |
| olidstva_ | to diru jsem nezkusil | 02:18 |
| olidstva_ | ale je tam plugin revslider, kterej ma attack vector i v metasploitu | 02:19 |
| *** Quits: olidstva_ (~olidstva@31.7.247.17) (Ping timeout: 256 seconds) | 02:52 | |
| *** Joins: malajankaa (~malajanka@ip-89-177-107-249.net.upcbroadband.cz) | 07:30 | |
| *** ChanServ sets mode: +v malajankaa | 07:31 | |
| malajankaa | "Ahoj Martine, jsi úplně mimo." | 07:51 |
| malajankaa | <3 | 07:51 |
| malajankaa | jakoubek jak ho známe a máme rádi | 07:51 |
| malajankaa | btw. mmn_ směřování jabloneckých pirátů je fakt třešínka na dortu | 08:11 |
| malajankaa | :D | 08:11 |
| *** Quits: malajankaa (~malajanka@ip-89-177-107-249.net.upcbroadband.cz) (Quit: Leaving.) | 09:32 | |
| *** Joins: olidstva_ (~olidstva@31.7.247.17) | 09:36 | |
| *** ChanServ sets mode: +v olidstva_ | 09:36 | |
| niekt0 | zdar, sorry, uplne som vcera zabudol co mam za program, a bol som offline:/ | 09:57 |
| olidstva_ | hoj | 09:59 |
| olidstva_ | s tebou bych si vlastne chtel o necem popovidat :D | 09:59 |
| niekt0 | blondina: Ano na první pohled je to jako stát, ale s tím rozdílem, že je to ukázka toho jak se to má dělat. | 10:17 |
| blondina | niekt0: Člověk pak ztrácí přehled, kdežto do Sněmovny a ještě je to napsáno tak jak se povinné dvouleté vojně vyhnout, ale nejen kvůli pacifismu, ale i KDO to má dělat a udělá to". | 10:17 |
| mmn_ | blondina: | 10:29 |
| mmn_ | blondina: Uvedené hlasování je zbytečné a v rozporu s dobrými mravy. | 10:30 |
| blondina | mmn_: Ale stejně je to přísloví? Aha: "Cesta do pekla je dlážděna dobrými úmysly." :twisted: | 10:30 |
| *** Quits: klip (tomas@klapka.cz) (Ping timeout: 240 seconds) | 11:09 | |
| *** Quits: Lightkey (~Darklock@p200300F693C1DA6222CF30FFFE083718.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) | 11:16 | |
| *** Joins: scippio (542aa68d@gateway/web/freenode/ip.84.42.166.141) | 11:22 | |
| *** ChanServ sets mode: +v scippio | 11:23 | |
| *** Joins: Lightkey (~Darklock@p200300F693C1DA3422CF30FFFE083718.dip0.t-ipconnect.de) | 11:29 | |
| *** ChanServ sets mode: +v Lightkey | 11:30 | |
| *** Quits: olidstva_ (~olidstva@31.7.247.17) (Ping timeout: 264 seconds) | 12:00 | |
| *** Joins: atom_ (~atom@mail.2hheran.cz) | 12:08 | |
| *** ChanServ sets mode: +v atom_ | 12:09 | |
| *** Joins: klip (tomas@klapka.cz) | 12:14 | |
| *** ChanServ sets mode: +v klip | 12:15 | |
| *** Joins: olidstva_ (~olidstva@static-84-42-155-222.net.upcbroadband.cz) | 13:48 | |
| *** ChanServ sets mode: +v olidstva_ | 13:49 | |
| *** Quits: olidstva_ (~olidstva@static-84-42-155-222.net.upcbroadband.cz) (Ping timeout: 256 seconds) | 14:10 | |
| *** Joins: olidstva_ (~olidstva@static-84-42-155-222.net.upcbroadband.cz) | 15:11 | |
| *** ChanServ sets mode: +v olidstva_ | 15:12 | |
| niekt0 | blondina: Dozvěděl jsem se o tom tak, že jsem měl svou emailovou schránku zcela zavalenou spamem a nenávistnými vzkazy | 15:29 |
| blondina | niekt0: Někdo si u toho memho mam napsano "Power on/off", ale je to jedno, vy jste redakce, ale ja bych se primlouval zodpovedet nejprve Rojovu otazku. | 15:29 |
| scippio | blondina: ...premiéři V4 by s výsledky stejně nesouhlasili. | 16:09 |
| blondina | scippio: Copak hranice chudoby, ale "týdenní počet hodin fyzické práce a až poslední krok, stejně jako křesťané věří v Boha a Vesmírní lidé v (poradních) referendech. | 16:09 |
| *** Quits: olidstva_ (~olidstva@static-84-42-155-222.net.upcbroadband.cz) (Ping timeout: 256 seconds) | 16:55 | |
| *** Joins: olidstva_ (~olidstva@static-84-42-155-222.net.upcbroadband.cz) | 17:01 | |
| *** ChanServ sets mode: +v olidstva_ | 17:02 | |
| *** Quits: olidstva_ (~olidstva@static-84-42-155-222.net.upcbroadband.cz) (Ping timeout: 276 seconds) | 17:37 | |
| *** Joins: olidstva_ (~olidstva@static-84-42-155-222.net.upcbroadband.cz) | 17:38 | |
| *** ChanServ sets mode: +v olidstva_ | 17:39 | |
| lnovy | blondina: ty vole. | 17:41 |
| blondina | lnovy: Proplaceno, zamykám. | 17:41 |
| lnovy | :D | 17:41 |
| scippio | +1 | 17:59 |
| *** Quits: scippio (542aa68d@gateway/web/freenode/ip.84.42.166.141) (Ping timeout: 260 seconds) | 18:04 | |
| *** Joins: malajankaa (~malajanka@ip-89-177-107-249.net.upcbroadband.cz) | 19:21 | |
| *** ChanServ sets mode: +v malajankaa | 19:21 | |
| *** Quits: olidstva_ (~olidstva@static-84-42-155-222.net.upcbroadband.cz) (Ping timeout: 256 seconds) | 20:13 | |
| klip | :D | 21:51 |
| *** Joins: olidstva_ (~olidstva@31.7.247.17) | 22:54 | |
| *** ChanServ sets mode: +v olidstva_ | 22:55 | |
| *** Quits: malajankaa (~malajanka@ip-89-177-107-249.net.upcbroadband.cz) (Quit: Leaving.) | 23:35 | |
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!