| *** Quits: atom_ (~atom@mail.2hheran.cz) (Ping timeout: 260 seconds) | 08:18 | |
| mmn_ | Jo mimochodem, 23.–26. jsem v ČR (24.–25. je zasedání RV v Lipnici), takže kdyby se nějaké 'afk setkání naplánovalo na tehdy, rád bych se zúčastnil. | 08:55 |
|---|---|---|
| mmn_ | (pro mne by asi byl ideální pátek večer, nebude-li mít let zpoždění) | 08:56 |
| *** Joins: malajankaaa (~irc@pirati.info) | 10:57 | |
| *** ChanServ sets mode: +v malajankaaa | 10:57 | |
| malajankaaa | mmn_: ten víkend mám možná už teambuilding Youth Rise | 10:58 |
| malajankaaa | (ale ještě nevim, jestli tam pojedu.. v téhle komunitě se rozhodně víc vyskytujou extroverti, než tady u nás, takže.. je to takové :D energeticky náročné pro mě) | 10:58 |
| *** Quits: Lightkey (~Darklock@p200300F693D1371222CF30FFFE083718.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) | 11:18 | |
| *** Joins: Lightkey (~Darklock@p200300F693D1373922CF30FFFE083718.dip0.t-ipconnect.de) | 11:31 | |
| *** ChanServ sets mode: +v Lightkey | 11:32 | |
| malajankaaa | po x letech změna pirátského fora | 11:32 |
| malajankaaa | je husté, jak si člověk na něco navykne a ani o tom neví :D | 11:32 |
| niekt0 | a cim si starsia, tym je to horsie | 11:53 |
| malajankaaa | jojo | 12:03 |
| malajankaaa | člověk si na to musí dávat čím dál větší pozor | 12:03 |
| malajankaaa | na zkostnatění | 12:03 |
| malajankaaa | senilitu | 12:03 |
| malajankaaa | a tak | 12:03 |
| niekt0 | a potom ti zrusia klavesu insert na novom notebooku!!! | 12:15 |
| malajankaaa | wut?! | 12:16 |
| malajankaaa | :D | 12:16 |
| malajankaaa | kdo něco takového udělal? | 12:16 |
| malajankaaa | (jakože firma) | 12:16 |
| niekt0 | dell | 12:18 |
| niekt0 | resp. aj ibm na niektorych modeloch | 12:18 |
| niekt0 | proste pokrok:) | 12:18 |
| malajankaaa | tyvole.. tak to se musim schválně podívat na svůj dell, jestli to tam taky neni :D | 12:20 |
| malajankaaa | ale to by mi už asi došlo..? | 12:20 |
| malajankaaa | ne, tak já ho tam mám | 12:20 |
| niekt0 | btw, chapete niekto toto? https://forum.pirati.cz/viewtopic.php?f=637&p=545762#p545762 | 12:21 |
| blondina | ČTK výběrové řízení - zveřejnění všech kandidátů - Fórum Pirátské strany | 12:21 |
| malajankaaa | jestli chápeme martínka, nebo záhoru? :D | 12:29 |
| niekt0 | malajankaaa: no skor asi toho martinka, ja nejak nechapem preco by nieco take ako zoznam kandidatov malo byt neverejne | 12:31 |
| niekt0 | akoze aby sa niekto spatne nepozrel na niekoho ineho, a nepovedal si ze je to karierista, co to skusa vsade mozne? | 12:32 |
| malajankaaa | máme tady totalitní vládu | 12:34 |
| malajankaaa | nevim | 12:34 |
| malajankaaa | asi předjímá | 12:34 |
| malajankaaa | že nějaké výběrko do rady ČTK za piráty má stejný potenciál na ohrožení života jako vyčmuchávání daňových podvodů vysokých politiků na slovensku | 12:34 |
| malajankaaa | :D | 12:34 |
| niekt0 | ako ze ked to skusil niekde za piratov, tak ho teraz uz nezvolia tam, kde ma kontrolu ano? | 12:36 |
| niekt0 | to by asi isty zmysel davalo, ale povedal by som ze zrovna ano bude mat solidny prehlad co sa u nas deje:) | 12:37 |
| malajankaaa | taky si myslim | 12:47 |
| malajankaaa | že si na to někoho platí :D | 12:47 |
| malajankaaa | to by bylo aby ne | 12:47 |
| klip | wtf, musim predelat scrapper | 13:18 |
| klip | :) | 13:18 |
| klip | :) https://i.redd.it/j0wyi4q3o3j01.jpg | 13:50 |
| niekt0 | klip: to scappujes z html? | 13:56 |
| klip | niekt0: jj, da se to scrapovat odjinud? :) | 13:56 |
| niekt0 | mno tak nejak som dufal ze to exportuje aj nejake xmlka, json, alebo tak nieco, no ale asi nie | 13:57 |
| klip | phpbb :) | 13:58 |
| klip | idealni by byl primej pristup do db, ale to bych musel implementovat i phpbb acl system a nikdo mi kod ke vsem datum v db fora nepusti :) | 13:58 |
| CcxWrk | Exportuje RSS když je to povolený. | 14:01 |
| klip | zda se, ze to umi... tady je treba podpalubi https://forum.pirati.cz/feed/forum/375 | 14:12 |
| blondina | Jebać https://forum.pirati.cf/feed/forum/375 - Forbidden | 14:12 |
| klip | kazdopadne content je stejne nutny vzit z citace post->SZ | 14:13 |
| klip | aby se ziskal phpbb source | 14:13 |
| klip | phpbbcode source* | 14:13 |
| klip | a v RSS chybi dost informaci | 14:13 |
| CcxWrk | jn, je to zlo. NNTP na vás. :D | 14:22 |
| malajankaaa | btw. budu si na vás muset vymyslet nějaký termín.. bo vy mi tu anketu stejně nevyplníte všichni :D abych věděla, kdy už bezohledně a autoritářsky rozhodnout datum podle těch, kteří se tam už stačili napsat | 14:55 |
| malajankaaa | balim to! byeo | 16:02 |
| niekt0 | byo-byo | 16:03 |
| *** Quits: malajankaaa (~irc@pirati.info) (Quit: The Lounge - https://thelounge.github.io) | 16:06 | |
| klip | https://www.reddit.com/r/btc/comments/4p0gq3/why_turingcomplete_smart_contracts_are_doomed/ | 17:53 |
| blondina | Why Turing-complete smart contracts are doomed: "Kurt Gödel and Alan Turing both posed the same question: 'Can we find a universal procedure to prove that a mathematical theory is true or false?' They each, in their own way, answered 'NO': there exist some mathematical truths that cannot be proven." : btc | 17:53 |
| niekt0 | klip: v tomto sa priznam ze sa neviem rozhodnut | 21:14 |
| niekt0 | ethereum u tragedi, a turing-complete sa tazko domysla do dosledkov, ale je to skutocne nutne zle? | 21:15 |
| klip | turing-complete maj halting problem, | 21:22 |
| klip | a spoustu bugu | 21:22 |
| niekt0 | klip: no halting problem maju, ale comu presne to vadi? | 21:26 |
| niekt0 | tie bugy su vacsinou inzinierske zalezitosti, z samotnej turingovske kompletnosti podla mna nevyplyvaju | 21:27 |
| niekt0 | ako je pravda, ze vies napisat kontrakty, ktore su prilis zlozite na formalnu verifikaciu | 21:27 |
| klip | the only way to determine the semantics / behavior of a "smart contract" is "after-the-fact" - ie, by actually running it on some machine (eg, the notorious EVM) - and waiting to see what happens (eg, waiting for a hacker to "steal" tens of millions of dollars - simply because he understood the semantics / behavior of the code better than the developers did. | 21:39 |
| niekt0 | no jasne, ale to mas tak nejak v celej Computer science | 21:43 |
| niekt0 | formalne verifikovatelne systemy su fakt male | 21:43 |
| niekt0 | na vacsinu smart contracts by to asi stacilo | 21:43 |
| niekt0 | na druhu stranu, mozes napisat smart contract tak, ze budes pouzivat iba bezpecny obmedzeny susbset ak chces | 21:44 |
| niekt0 | ale preco to zakazovat niekomu kto vie co robi? | 21:44 |
| niekt0 | (ano teraz zniem trochu ako ta banda z ioty, ale ...) | 21:44 |
| klip | ja nemluvim o zakazu :) spis o tom, ze to ma spoustu problemu. Tau nema byt turing-complete a bude mozny v nem psat verifikovatelny kontrakty :) | 22:00 |
| niekt0 | klip: psat pouze verifikovatelny kontrakty | 22:08 |
| niekt0 | verifikovatelne kontrakty mozes pisat aj v turingovsky kompletnom jazyku, ak dodrziavas disciplinu | 22:08 |
| niekt0 | ale sak ok, zrovna na tie kontrakty by to zmysel mat mohlo, z hlavy ma nenapada asi ziadny kontrakt, na ktory by si tu kompletnost naozaj potreboval | 22:09 |
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!
