Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-04-01

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
09:23 spito joined #divine
13:17 xstill můžete se podívat na novou specielní sbírku do návalu, pošlu vám odkaz mimo historii
13:45 spito "Abychom dokázali invariant, musíme dokázat invariant." :D
13:47 mornfall IB002 1st April Edition
13:48 xstill :-)
14:00 spito "Karlík varuje: Pokud je vaše kladivo C++, všechno vypadá jako palec."
14:08 xstill :-), myslím že on má nějakou představu o čem mluví
14:11 xstill některý ty poznámky jsou fakt vtipný
14:12 mornfall shakespeare je nej
14:12 mornfall ale většina těch vtipů je solidně vousatá ;-)
14:14 mornfall https://xkcd.com/1185/ taky
14:15 mornfall (ineffective navíc nejde přeložit jako neefektivní...)
14:17 xstill jo o tom vím
14:21 mornfall StackSort connects to StackOverflow, searches for 'sort a list', and downloads and runs code snippets until the list is sorted.
21:30 spito mornfall: bude někdy v dohledné době zprovozněná antea?
21:30 spito dohledná doba = než zapomenu, že v tabulce je ještě jedna malá, nevýznamná, ale přesto bug? (češtin být můj kobylek)
21:32 spito konkrétně prohodit řádky 304 a 305 v concurrentset.h
21:33 mornfall snad zítra
21:33 mornfall zeptej se stavařů co to mrví
21:37 spito ne, že než abych na to zapomněl, tak to můžeš upravit u sebe a pak to pushnout
21:37 spito mě to nejde, protože všechno mám na antee
21:37 mornfall nevim kam bych to tak zhruba mohl pushnout? :)
21:37 spito no aspoň budeš mít tu změnu u sebe uloženou
21:37 spito já ji nemám ani kam uložit
21:37 spito :D
21:37 mornfall už je uložená tady v logu ;-)
21:38 spito OK, jak chceš
21:39 spito (děkuji ti, ó mocný, že mi necháš jeden další patch, aby se mi aspoň trochu zvedly statistiky :D )
21:40 spito btw: na jednom táboře jsme měli téma faraoni a dětska musela oslovovat vedoucího jako "ó mocný faraone", což po 2 dnech začali komolit na "ovocný faraone" :D
21:40 spito to bylo tehdy naštípanýho dříví ..... za trest samozřejmě.....
21:40 mornfall dneska ti ten češtin fičí
21:40 mornfall dětska :-)
21:43 spito já si říkal, že to je nějaký divný to slovo
21:43 spito víš jak, rád bych dorovnal vláďu
21:44 mornfall doufám že v počtu patchů
21:44 spito hlavně v komolení češtiny, šéfe
21:53 spito co uděláme s tím, až propojí freenode s google? půjdeme jinam?
21:54 spito a nebo že by apríl? :D
21:55 mornfall joined #divine

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary