| *** Quits: scippio (~scippio@ip-89-102-200-9.net.upcbroadband.cz) (Ping timeout: 250 seconds) | 02:04 | |
| niekt0 | blondina: Začtvrté, přijde mi protiústavní nutit mě používat jedno médium, jeden kanál. | 09:06 |
|---|---|---|
| blondina | niekt0: Domnívám se, že jsou častěji v médiích. | 09:06 |
| *** Joins: scippio (~scippio@84.246.161.67) | 10:07 | |
| *** ChanServ sets mode: +v scippio | 10:09 | |
| niekt0 | blondina: Každý tvůj post vyjde daňové poplatníky tak na pětikilo | 10:34 |
| blondina | niekt0: Dokud se nenaučíš editovat původní příspěvek, když během 5 minut starou odpověď na 10 let starým "hloupým" telefonem, co umí odškrtávat, sčítat na kalkulačce a zkontrolovat občanku. | 10:34 |
| *** Quits: scippio (~scippio@84.246.161.67) (Ping timeout: 250 seconds) | 17:57 | |
| *** Joins: scippio (~scippio@ip-89-102-200-9.net.upcbroadband.cz) | 18:42 | |
| *** ChanServ sets mode: +v scippio | 18:44 | |
| *** Quits: scippio (~scippio@ip-89-102-200-9.net.upcbroadband.cz) (Ping timeout: 250 seconds) | 19:11 | |
| *** Joins: scippio (~scippio@ip-89-102-200-9.net.upcbroadband.cz) | 19:13 | |
| *** ChanServ sets mode: +v scippio | 19:15 | |
| *** Joins: malajankaaa (5d99012a@gateway/web/cgi-irc/kiwiirc.com/ip.93.153.1.42) | 19:38 | |
| *** ChanServ sets mode: +v malajankaaa | 19:39 | |
| malajankaaa | bafiky baf | 19:40 |
| malajankaaa | sorry, byla jsem nemocná | 19:41 |
| malajankaaa | nicméně, staly se dvě změny na redminu. před pár dny se změnil stav na "Diskutuje se" a dneska se tam objevilo "podání bylo prokonzultováno na dnešním RP, záležitost bude jménem RP řešit Ivan B., který se s tebou spojí ohledně detailů. " | 19:42 |
| malajankaaa | https://redmine.pirati.cz/issues/17418#change-64168 | 19:42 |
| malajankaaa | scippio klip | 19:57 |
| scippio | malajankaaa: vim | 20:18 |
| klip | :) | 20:23 |
| lnovy | blondina; CVE-2019-7167... pokud na to s pandou mame, do tydne jsme dolarovy milionari.... | 22:02 |
| malajankaaa | ikdyž zaplatíš za rekonstrukci Palcátu?! | 22:04 |
| malajankaaa | :D | 22:04 |
| klip | ccx^xmpp: lnovy: https://tml.klapka.cz/ zatim jeste chybi negace | 22:05 |
| blondina | Tauchain's TML playground | 22:05 |
| CcxWrk | klip: To nemá compound terms? | 22:10 |
| klip | PFP/Datalog. dela minimalni verzi ve ktery bude schopen napsat sebe samu, aby mel self definition. pak bude pridavat dalsi jazykovy featury | 22:13 |
| klip | Ohad Asor dela... | 22:13 |
| klip | potrebuje decidability, self definition a negation (deletion) | 22:14 |
| klip | pak na tom bude dal stavet | 22:15 |
| klip | je to SAT solver. ja tomu zas tolik nerozumim. snazim se to pochopit, tak jsem to prelozil z C++ do JS a napsal k tomu playground | 22:16 |
| klip | takze vim, co to dela, ale nevim uplne proc to dela :) | 22:18 |
| klip | pisu k tomu unit testy, tak to me donuti to pochopit... ale detaily mi jdou fakt pomalul | 22:18 |
| CcxWrk | Co koukám na ty odkazy tak tam compound terms, nebo aspoň závorky, mají. | 22:19 |
| klip | Datalog je nema a soucasna verze je taky urcite nema nikde podporovany v kodu. | 22:21 |
| klip | TML ma slouzit pro vytvareni kompilatoru pres 2. futamurovu projekci a pres CFG gramatiky. Chce tim ziskat schopnost prekladat automaticky z jednoho jazyka do druhyho. | 22:22 |
| klip | A mezi prvnima chce udelat nejaky jazyky pro KR&R | 22:23 |
| klip | takze tohle je jenom takovej meta jazyk zastresujici translation mezi specializovanejma jazykama | 22:23 |
| lnovy | https://www.youtube.com/watch?v=nk0jpn2ejG4 | 22:25 |
| blondina | Breaking Zcash Episode 01: Counterfeiting Vulnerability [CVE-2019-7167] - YouTube | 22:25 |
| CcxWrk | Huh? Já jsem viděl Datalog definovanej vždycky jako syntaktickou podmnožinu Prologu. | 22:25 |
| CcxWrk | Ale samozřejmě to jde napsat jinak. Jen mě zajímalo jak to ve výsledku vypadá. | 22:26 |
| CcxWrk | Jo jsem tupej, Datalog fakt compound terms nemá, disregard. | 22:27 |
| CcxWrk | klip: very mildly related https://arxiv.org/abs/1102.1889 | 22:43 |
| blondina | [1102.1889] Ologs: a categorical framework for knowledge representation | 22:43 |
| CcxWrk | Jinak sémanticky mi to připomíná spíš mini/microKanren a Dee, jestli neznáš tak stojí za zkouknutí. | 22:45 |
| *** Quits: scippio (~scippio@ip-89-102-200-9.net.upcbroadband.cz) (Quit: .) | 23:48 | |
| *** Quits: malajankaaa (5d99012a@gateway/web/cgi-irc/kiwiirc.com/ip.93.153.1.42) (Ping timeout: 268 seconds) | 23:50 | |
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!