| *** Quits: scippio (~scippio@ip-89-102-200-9.net.upcbroadband.cz) (Ping timeout: 245 seconds) | 01:59 | |
| *** Joins: malajankaa (~malajanka@ip-62-245-76-136.net.upcbroadband.cz) | 08:43 | |
| *** ChanServ sets mode: +v malajankaa | 08:45 | |
| *** Joins: scippio (~scippio@ip-89-102-200-9.net.upcbroadband.cz) | 12:13 | |
| *** ChanServ sets mode: +v scippio | 12:15 | |
| *** Quits: malajankaa (~malajanka@ip-62-245-76-136.net.upcbroadband.cz) (Quit: Leaving.) | 18:01 | |
| *** Joins: malajankaa (~malajanka@static-84-42-222-22.net.upcbroadband.cz) | 18:49 | |
| *** ChanServ sets mode: +v malajankaa | 18:51 | |
| klip | scippio: tml je varianta datalogu - decidable subset prologu | 19:37 |
|---|---|---|
| klip | nemuze se zacyklit - nema halt problem - neni turing complete | 19:38 |
| klip | TML implementuje PFP logiku, ktera umoznuje delat negaci zpusobem, kterej v datalogu jeste nikdo nedelal (proto ma datalog dost omezeny pouziti) | 19:40 |
| klip | povazuje se za toy jazyk, ale posledni dobou se datalog pouziva k analyze source kodu nebo overovani modelu | 19:40 |
| klip | na prvni pohled to neni nic specialniho, ale bude pravdepodobne to nejexpresivnejsi decidable jazyk. Ohad tu decidabilitu potrebuje prave aby na tom mohl stavet pozdeji smart contracty | 19:42 |
| phyrexian | tak v smart contractoch by undecidability asi nemala byt problem, pretoze ti po case dojde gas. tam je vsetko konecne | 20:01 |
| klip | gas je eth picovina | 20:29 |
| klip | contract v loopu dojde gas a co dal? | 20:29 |
| klip | ;) | 20:30 |
| klip | kolik ETH aplikaci udelalo diru do sveta? | 20:30 |
| klip | eth je jenom marketing ;) | 20:31 |
| klip | po bitcoinu zatim zadnej coin neprinesl nic zajimavyho nebo prevratnyho | 20:32 |
| phyrexian | ked dojde gas, zastavi. easy | 20:38 |
| phyrexian | zexe je btw najlepsi system na smart contracty. rekurzivny zksnark, takze kazdy ho moze overit, ale nikto don nevidi | 20:38 |
| *** Quits: malajankaa (~malajanka@static-84-42-222-22.net.upcbroadband.cz) (Quit: Leaving.) | 21:23 | |
| klip | jj, zastavi a tys propalil gas a nemas result :) | 21:24 |
| klip | nevim no, smart contracty zalozeny na turing complete jazyce nemuzou seriozne fungovat... btc script neni turing complete - nemuze skoncit pri transakci v loopu by design. | 21:30 |
| *** Joins: malajankaa (~malajanka@ip-62-245-76-136.net.upcbroadband.cz) | 21:50 | |
| *** ChanServ sets mode: +v malajankaa | 21:52 | |
| *** Quits: malajankaa (~malajanka@ip-62-245-76-136.net.upcbroadband.cz) (Ping timeout: 255 seconds) | 23:10 | |
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!