Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-04

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

All times shown according to UTC.

Time Nick Message
06:41 spito joined #divine
09:13 xstill je někde popsaná syntax ltl co divine sparsuje?
09:14 xstill aha tak jsem něco našel
09:21 xstill to že v AP nejde použít velká písmena je dost neintuitivní, zvlášt když to řekne jen syntax error
09:23 mornfall nj, ten parser je celej divnej
09:23 mornfall to je snad z devadesátých let nebo něco :-P
09:39 mornfall a koncepty nebudou ani v C++14
09:39 mornfall a možná nikdy
09:40 xstill jakto?
09:40 xstill nějaké nové informace?
09:40 mornfall ani ne
09:40 mornfall spíš jsem tak projel ty starý
09:40 xstill aha
09:40 xstill já to moc nezkoumal
09:42 mornfall ale tak aspoň budou auto funkce a auto parametry v lambdách
09:42 xstill jako funkce s auto návratovou hodnotou?
09:43 mornfall j
09:44 xstill sakra jak může divine po projetí 1 stavu prohlásit, že LTL vlastnost platí?
09:46 xstill zdá se že alespoň ty nejjednodušší příklady z rers challenge zvládneme, Jiřík bude mít radost
09:47 mornfall to nevim, ale mohl by třeba nemít žádný následníky :)
09:47 mornfall pokud je tam použitej until s ne-true premisou tak to tak dopadne
09:47 mornfall nebo globally jakýkoliv
09:48 mornfall (globally ap, GF funguje samozřejmě)
09:48 xstill no deadlock tam není, ale možná že je divná ta LTL formule, analizovat se mi ji nechce, je moc dlouhá
10:39 mornfall tak jo, v pondělí divine meeting
10:40 xstill tohle pondělí už?
10:41 xstill což mi připomíný
10:41 mornfall jj
10:41 xstill spito: máš zapsané automaty II?
10:42 xstill mornfall: ok, tohle pondělí je v pohodě, ale v semestru mám přednášku z automatů II, tuším 16-18
10:44 xstill hm, jsem se divil, že divine dlouho načítá model, ale on ten .bc má 36MB :-D
10:44 mornfall je možný že já taky v pondělí nebudu moct :)
10:44 mornfall :-)
10:44 mornfall to není úplně málo, cos to zase proved?
10:44 xstill problém je spíš v tom, že já nemůžu moc ani jindy :-(
10:44 xstill rers
10:45 mornfall už jsou rozvrhy?
10:45 xstill pro vyvolené (čti učitele a cvičící)
10:45 mornfall :-)
10:45 mornfall a je nějaký pravděpodobný místo aspoň?
10:46 mornfall kam by se ten divine vešel?
10:46 mornfall nebo nevim, když fungujeme na IRCu tak to není až tak nevyhnutný, ale stejně mi to přišlo docela dobrý
10:47 xstill hm, úterý od rána do 16:00
10:48 mornfall to nezní zas tak špatně :)
10:48 xstill uvidíme co na to řekne Spito
10:48 mornfall a jelikož tam nebude strašit seminář po kterým maj všichni zase hned hlad
10:48 mornfall spito: žiješ? :)
10:48 spito žiju
10:48 spito mmt
10:49 xstill :-D
10:49 spito jsem byl na nákupu
10:49 spito xstill: mám IA006
10:49 spito to by snad mohlo stačit
10:49 xstill to jsem myslel
10:51 xstill spito: mohli bysme si dát cvičení s Jiříkem, ve čtvrtek 10-12
10:52 spito jasný, nikam jinam ani nemůžu
10:52 spito (není kdy :D)
10:52 spito má cenu si dávat úvod do validace a verifikace?
10:52 spito :)
10:53 mornfall spito: radši nám řekni jak vypadá tvoje úterý
10:53 mornfall ty validace
10:54 mornfall webchat.freenode.net je 5. nejvyšší referrer pro divine.fi.muni.cz :D
10:55 spito http://anna.fi.muni.cz/~xweiser1/rozvrh.pdf
10:55 spito mám tam vypsaný všechny předměty, který mám...i se cvičeníma
10:55 mornfall spito: to je vtip nebo rozvrh?
10:55 spito rozvrh
10:56 spito jo, ale některý předměty i učim :-D
10:56 spito to aby sis nemyslel...jenom je tam potřebuju taky mít vypsaný
10:56 mornfall v úterý nevidim nic co bys učil přímo, jen stejnej předmět jiný lidi
10:56 mornfall nebo tu PB161/12 máš ty?
10:57 mornfall to by nám dávalo divine na 10am což je asi rozumný ;-)
10:57 mornfall s tím že Jiřík bude moct až uteče z validace, potažmo oběda
10:58 mornfall spito: o učení skupin co nejsou vypsaný jména bude ještě boj?
10:58 spito no, já mám právě zapsanou i tu validaci
10:59 spito mornfall: no, klikali jsme si preference Švendovi
10:59 spito ale úterý bych měl mít volný
10:59 xstill já nevím jestli ta validace má pro tebe smysl, co je LTL a model-checking už víš
11:00 spito no, právě si myslim, že to tak úplně nevim, co
11:00 mornfall může si to dát jako zkoušku nebo jak se to ukončuje, bez účasti
11:00 spito ale což, to je jedno
11:00 spito jo ale já tam zapomněl dát graph theory
11:01 spito ale ty s tím nic neudělají
11:01 spito takže jo, úterý mám volný
11:01 mornfall gud
11:01 mornfall úterý vítězí
11:02 xstill hm, já mám teď na většinu věcí výběr ze dvou cvičení -- obě ve stejný čas :-D
11:03 xstill spito: máš ještě něco co máme společně (IA040 Modální a temporální logiky, MA007 Matematická logika, PV079 Applied Cryptography, PA159 Počítačové sítě a aplikace)?
11:04 spito pa159
11:04 spito krypto ani omylem, to si dávat nebudu
11:05 spito ia040 už podle kódu zní moc teoreticky
11:05 spito ma007 zní...divně
11:05 spito ty máš jenom 4 předměty?
11:05 spito :)
11:06 xstill + automaty, XS020 Inspiratorium pro učitele a projekt z paralelních aplikací, ale tam nevím jestli se mi bude chtít, je to moc pozdě
11:06 spito xs020?
11:06 spito co to je zač?
11:07 xstill ani nevím, ale mohlo by to být zajímavé
11:07 xstill Martinovi to někdo doporučoval
11:07 xstill je to na přf
11:08 spito už se na to koukám
11:08 spito no...nevim
11:08 spito myslíš?
11:08 spito ale tak mohl bych...
11:09 xstill nevím co z toho bude, uvidím na začátku semestru
11:09 xstill třeba nám řeknou jak donutit studenty k práci
11:09 xstill ale o tom pochybuju
11:09 xstill jinak máme XS020/04 ve středu 12-14
11:10 xstill já tam budu běhat z cvičení funcka, to bude docela veselé...
11:15 spito hmmm, středa bude o bagetě
11:15 spito a bez večeře...
11:15 spito naštěstí snídani asi stihnu
11:16 xstill hm, já možná večeři stihnu, ale zase začínám v 8
11:16 spito :D
11:16 xstill nebo se dá jíst místo sítí...
11:16 spito já pak jedu dvouhodinovku úvodu do programování
11:16 spito místo sítí budu mít asi cviko MA010
11:17 xstill aha
11:17 spito nebo bych ho mohl mít v úterý 14-16
11:17 spito nebo čt 16-18
11:18 spito ale to jenom, pokud by mi švenda nedal na tu dobu cviko
11:18 spito takže.....děj se vůle Švendova
11:18 spito :D
11:18 xstill no úterý bysme měli nechat na divine, jinak se nesejdeme
11:19 spito však s tím počítám
11:19 spito ve středu budu mít hlad
11:19 mornfall :D
11:20 spito musim po dovolené zhubnout
11:20 spito :P
11:20 xstill "You should not, under any circumstances, contact The Students Welfare Organization (SiT) about housing..." :-D tenhle začátek věty vypadá fakt dobře
11:23 xstill mě se fakt nechce si teď vybírat předměty které budu studovat za půl roku...
11:24 spito hehe, to já si už vybral
11:24 spito budu mít celkem 3 předměty
11:25 xstill :-D
11:25 spito ale mě se zase nechce psát motivační dopis
11:25 spito na 300 slov
11:25 spito mám 200 a už fakt netuším, co tam napsat
11:25 xstill já musím začít vybírat, je potřeba jim to poslat do 1. října
11:25 * spito jde vařit, očekávaný ping: 2 hodiny
11:25 xstill :-D
11:26 xstill tohle je taky super
11:26 xstill Sep 04 13:25:59 x220 openvpn[1502]: rWRwrWRwrWRwrWRwrWRwrWRwrWRwrWRwrWRwrWRwrWRwrWRwrWRwrWRwrWRwrWRwrWR...wrWRw
13:52 mornfall Abdul útočí.
14:09 spito no tak to bacha, oni bývají dost.....religiózně labilní, tak aby se ho nikdo nedotknul :D
14:28 xstill už jsem se lekl že je to zase ten s tím GNU 4.1...
14:30 xstill tenhle se alespoň dostal k verifikaci, byť se starým divine...
14:32 mornfall tak, taky s tím bojuje už tak rok :-)
14:44 mornfall xstill: Asi se ti nechce napsat test na to AP? :)
14:45 xstill to by asi bylo dost bash-magie
14:45 xstill ani se mi moc nechce
14:45 xstill zrovna jsem objevil další segv
14:46 mornfall no, jeden grep :-)
14:46 xstill hm, to by asi stačilo
14:46 mornfall když se to AP bude jmenovat quuxfoobar tak to buď vygrepuješ nebo ne
14:47 xstill no tak já to asi dneska napíšu, někdy k večeru...
14:49 xstill hm, na NTNU Trondheim učí Fortran...
14:51 xstill assert na divine/llvm/program.cpp:363
14:57 mornfall to je docela zajímavý :)
15:01 xstill no já vůbec nevím co se v těch místech děje...
15:01 xstill ale dostal jsem na auře segv a tohle u sebe v debugu
15:04 mornfall to vypadá že dva různý basicblocky dostanou stejný číslo
15:04 mornfall a moc nechápu jak se to může stát
15:04 mornfall z čeho je ten bitcode?
15:04 mornfall teda jaký clang
15:04 mornfall já mam jen llvm 3.2 takže z 3.3 ho asi nenačtu
15:08 xstill je z 3.3
15:08 xstill a je asi dost velký
15:09 xstill mohl bych ti ho někam nahrát disasemblovaný, ale to bc má 17MB takže nevím jestli to má smysl...
15:09 xstill nebo to chceš debugovat?
15:09 mornfall hm, asi ne hned
15:09 mornfall co se stane když dáš llvm-dis toho do tracu? :)
15:10 mornfall snad to nepošle 50M soubor...
15:10 xstill jako mailem? To snad ne...
15:11 xstill ale on ten .ll má 128MB
15:11 mornfall tak 128... do postgresu se to vejde ne? :-P
15:12 mornfall určitě by bylo lepší mít něco menšího, ale lepší mít něco než nic
15:12 xstill asi jo
15:12 mornfall kdyžtak z toho udělej ll.xz
15:12 mornfall to nebude tak velký
15:12 mornfall trac by měl umět binární přílohy
15:15 xstill hm, že bych se v norsku naučil jak psát kompilátor :-)
15:28 xstill hm, trac má "size limit 256.0 KB"
15:32 mornfall trapně
15:33 mornfall nastavím
15:33 mornfall kolik to má?
15:37 xstill 7.2 MB po kompresi
15:37 xstill nic strašného
15:37 mornfall tak jsem tam nastavil 16M
15:37 mornfall teď by to mohlo projít
15:42 xstill mít na univerzitě kurz "Fish Salting" :-D ...
15:53 spito left #divine
16:19 spito joined #divine
18:41 xstill ach jo, až budu zase někdy nadávat na git přípomeňte mi, že ještě existuje svn
19:07 xstill škoda že darcs neumí push přes http(s)
22:28 spito left #divine

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