Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-02-12

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

All times shown according to UTC.

Time Nick Message
15:24 spito joined #divine
15:24 spito xstill: taky ti IS připomíná, že si máš zapsat předměty?
15:24 xstill spito: jo
15:35 xstill hm, tak jsem anketu ještě těsně stihl :-)
15:38 xstill a už se mi zase nic nechce, ach jo
15:49 mornfall o tom mi něco povídej
15:49 mornfall ty aspoň nemáš zejtra meeting ve Vídni :P
15:54 xstill :-D to naštěstí ne. Ale mám "meeting" s norama ohledně projektu v archetekturách výpočetních systémů nebo jak se to jmenuje.
15:54 mornfall to je s tím simulátorem?
15:54 xstill jo
15:56 xstill jak ty to máš s tou Vídní, to už začalo?
15:57 mornfall tak napůl
15:57 mornfall resp. zítra bude něco-jako kickoff asi
16:00 xstill aha
16:04 mornfall btw. zkoušel sis Union::match? ;-)
16:05 xstill já si pořád nejsem jistej že chápu jak to funguje
16:06 mornfall jako implementačně, nebo uživatelsky?
16:07 mornfall silk-eval.h má nějaký příklady použití
16:09 xstill obojí, ale ještě jsem na to nekoukal tak podrobně
16:09 xstill asi to začínám chápat
16:10 mornfall jako case ... of to není, ale o moc lepší to v C++ asi nebude
16:12 xstill všechny ty funkce musí vracet stejný typ, že?
16:13 xstill je to docela drsná magie
16:13 mornfall musí, jinak tě vyfakuje typechecker
16:14 mornfall udělat to tak abys dostal civilizovanou chybu se mi úplně nepovedlo
16:16 xstill no ty typový chyby budou hádám obvzlášť chutný
16:19 mornfall tak, klasický C++ ... někde v tom stacku ten řádek s chybou bude :D
16:21 xstill :-D
16:23 xstill otázka je jestli člověk z té chyby zjistí co je špatně :-P
16:24 xstill tuhle jsem zvovna řešil nějakou záhadu
16:25 xstill btw. http://pastebin.dqd.cz/yFDj/ víte co to vypíše? Taková záludná otázka do úvodu do c by to skoro mohla být.
16:28 mornfall já teda promotion pravidla v hlavě fakt nenosim :D
16:28 mornfall ale typicky vyhrává delší typ, myslim
16:29 xstill právě, ani já ne
16:29 xstill hlavně ta poslední trojice je veselá
16:29 mornfall dvojice?
16:29 xstill ne ta trojice před tím
16:30 xstill ale i ta vlastně to je totéž
16:30 mornfall je veselejší než to předtím?
16:30 mornfall ale jo, je to na palici :-)
16:30 xstill vzhledem k tomu jak často porovnáváme int s size_t...
16:30 mornfall (a taky jeden z důvodů proč nemam rád unsigned typy)
16:31 mornfall no, protože nějakej magor si vymyslel že všechny size() a length() budou vracet unsigned (long)
16:32 mornfall nebo unsigned long long občas možná
16:32 mornfall (co je long na x86_64? a je to to stejný jako na mipsu? :P)
16:32 xstill size_t většinou, což bývá long kromě windows 64bit
16:32 xstill long je závislej na tom co máš za OS
16:33 mornfall a za procesor a za překladač
16:33 mornfall a nevim jestli je někde napsaný že size_t je dlouhej jako pointr
16:33 xstill (na x86_64)
16:33 xstill kupodivu MinGW gcc má 32 bitovej long
16:33 xstill ale ono to dává smysl občas chceš volat věci který nejsou zkompilovaný mingw
16:34 mornfall na windows asi dost často, třeba syscally :-)
16:34 mornfall ne že by nešlo programovat bez nich, ale je to dost otrava
16:36 xstill (std::size_t can store the maximum size of a theoretically possible object of any type (including array). On many platforms (an exception are systems with segmented addressing) std::size_t can safely store the value of any non-member pointer, in which case it is synonymous with std::uintptr_t. -- cppreference.com)
16:37 xstill to s tou segmentací teda úplně nechápu. Ale plyne z toho že to nemusí být velký jak pointer.
16:37 mornfall Segmented addressing, to ještě existuje?
16:37 mornfall No, na klasickým x86 nešlo mít segment větší než 64K.
16:38 mornfall Takže nedávalo úplně smysl mít offsety víc než 16b.
16:38 mornfall A size_t teda nejspíš taky.
16:38 xstill :-D, tak určitě existuje třeba u někoho ve sklepě
16:38 mornfall Abys mohl indexovat větší pole třeba, musel sis hrát s DS/ES/...
16:38 mornfall Ono segmentace je aj v protected mode teda.
16:39 mornfall Ale většinu času to nikdo příčetnej nepoužívá.
16:39 mornfall A teda protected-mode segmenty maj 32b offsety, takže to nedělá rozdíl.
16:40 mornfall dos4gw ftw
16:41 xstill ?
16:42 mornfall to byl takovej krám co v DOSu přepnul procesor do protected mode aby šlo použít víc než 20b pointry
16:45 xstill aha
16:45 mornfall http://en.wikipedia.org/wiki/DOS_extender tady to je docela dobře popsaný
16:49 mornfall http://en.wikipedia.org/wiki/Paged_real_mode hustý ...
16:57 xstill wtf
17:02 mornfall nebudeš mi věřit, ale kdysi se mi do rukou dostala Brandejsova knížka Mikroprocesory Intel 8086 - 80486 a znal jsem ji víceméně zpaměti. :P
17:02 mornfall on to teda Brandejs asi spíš přeložil než napsal
17:03 mornfall to by mě zajímalo kde to skončilo
17:03 mornfall tady ji nemam, snad někde u rodičů v krabici
17:03 mornfall budu ji muset najít :D
17:04 mornfall (každopádně to bylo dávno předtím, než jsem vůbec tušil co budu na VŠ studovat, ne to ještě že to bude na FI nebo že s ní Brandejs má něco společnýho...)
17:21 xstill :-D
20:12 spito xstill: zapsal sis nějaký předmět na muni?
20:32 xstill spito: ne, nemám čas dělat ještě nějakej další předmět
20:32 xstill a nevím jestli se fakt vrátím hned na začátku června
20:32 xstill takže by to stejně nesmělo být nic se zkouškou
20:34 xstill myslím že do půlky dubna tu mám dost co dělat do týhle školy
20:34 xstill pak jsem zjistil že začíná měsíční předzkouškové volno :-D
20:39 xstill spito: ty sis něco zapsal?
20:59 spito ne
20:59 spito chvilku jsem o tom uvažoval, ale pak jsem si řekl, že mi to flákání asi vyhovuje
21:00 spito jinak DIKU (obdoba FI, akorát to není fakulty, ale jenom katedra) je na dost hrozný úrovni
21:04 xstill jakto?
21:05 xstill btw. první 2 tejdny jsem si myslel že se tu budu flákat. nebudu.
21:09 mornfall joined #divine
21:17 spito left #divine
21:36 spito joined #divine
21:36 spito no nevim
21:36 spito je to tady takový divný
21:37 spito všechno se dělá skupinově (což hodnotím pozitivně, nemusím se v tom plácat sám, plácáme se všichni)
21:37 mornfall to je za trest? :P
21:38 mornfall asi aby se toho někdo náhodou nenaučil moc ...
21:38 spito zase nemáš moc předmětů, těch pár (2 na 1 blok) by mělo jít víc do hlouky, ale nemám pocit, že by se tak dělo
21:39 spito jako příklad můžu uvést simulace - hrajeme si s matlabem
21:40 spito je kolem docela dost matiky a fyziky (integrály, derivace a hlavně kopec odvozování)
21:41 spito ale když máš něco upatlat v matlabu, tak dostaneš skoro hotový kód a tu trochu, kterou máš dodělat, akorát opráskneš ze slajdů, téměř copy&paste
21:42 spito a teď pozor - ano, matiku, která za tím vším je, dávám tak nějak mlhavě, fyziku nedávám vůbec a matlab jsem viděl poprvé, a přesto nemám pocit, že se v tom plácám o hodně víc než ostatní, jsou tu případy, který jsou úplně v pytli
21:43 mornfall that's life for you
21:43 spito mám takový pocit, že kdyby tohle bylo u nás, tak mě aspoň někdo donutí pochopit diferenciální rovnice a maticový operace + odvození, který za tím jsou
21:44 mornfall přesto všichni na československý školství remcaj co to dá
21:45 spito a ten druhý předmět (Developement Studio) - no tak vezmi mlýnek na maso a postupně do toho naházej: Ananas, Softwérový Inženýrství 2, Projekt Java 1 a 2, zamel, a vyleze ti to, co tu máme
21:46 xstill hm, to nezní moc pozitivně
21:46 spito jediný, co je  "cool" je, že dÄ›láme na reálným projektu - webová stránka, máme se sami vést SCRUMem
21:46 spito reálný projekt = děláme to pro jeden startup
21:46 spito a pokud bude výsledek, nabídli nám akcie
21:47 xstill já jsem měl dneska radost z toho že jsem ovládal výtah. Skutečný hardware. Ale jinak z toho tady až tak nadšenej nejsem.
21:47 mornfall to si ten startup moc nevěří teda :D
21:47 mornfall xstill: to můžeš aj u Radka Pelánka :P
21:47 mornfall i když bude teda z lega
21:48 spito jako není to tak hrozný....jen si nedovedu představit, že bych tady regulérně studoval
21:48 mornfall hm, ale někdo by se mohl hecnout a na FI udělat arduino předmět
21:48 spito co lze hodnotit pozitivně, že všichni, co prolezou, tak aspoň něco umí, což o FI říct nejde - lze prolízt aniž bys něco uměl
21:49 spito ale když chceš, tak se na FI dozvíš víc než na DIKU
21:49 spito jo a nemaj ani jednu laboratoÅ™
21:49 spito :D
21:49 mornfall spito: myslíš vremcat se do správnýho týmu? :P
21:49 xstill mornfall: tak ten výtah taky není skutečnej výtah pro lidi
21:50 spito mornfall: no to ne, co máme skupinovou práci, tak máš každý týden jiný složení skupiny
21:51 xstill já ti nevím jestli tady nějaký laby mají. Asi jo ale asi neberou nedoktorský studenty.
21:51 mornfall my si třeba postavili jezdící katapult
21:51 spito ale textovou práci píše každý sám
21:51 mornfall tak, bakalářku na fi si taky píše každý sám
21:52 mornfall a domácí úkoly z matiky a tak
21:52 mornfall cojávim
21:52 xstill jinak mě tento týden docala zklamala přednášející na kompilátorech, když začala mluvit o typových systémech tak vypadala, že moc neví co mluví
21:52 xstill mornfall: u těch úkolů bych si jistej nebyl
21:52 xstill a teda kompilátor píšeme takovu metodou devadesátých let řekl bych
21:53 mornfall xstill: jednoprůchodovej s backpatchingem? ;) atributový gramatiky?
21:53 xstill ne, je to v cčku a parser je generovaný bisonem
21:53 xstill atributový gramatiky nevím ještě co jsou
21:54 mornfall bison :D
21:54 xstill ačkoli to v sylabu někde měla
21:54 mornfall (jsau atributový gramatiky... resp. nějaká jejich inkarnace)
21:54 xstill co?
21:54 spito a kde se dá naučit moderní klony od tohohle, co se učí?
21:55 mornfall spito: v SVNku od LLVM
21:55 spito :D
21:55 spito a že by nějaký kurz.....to ne
21:55 mornfall tak někdo někde asi něco učí
21:56 mornfall třeba Tony nám v projektu dokonce něco málo řekl
21:56 mornfall ale fakt jen něco málo
21:56 spito jasně, někde taky blijou Dání....
22:04 mornfall hm, koukám že v projektu z překladačů mám vlastní IdentityT ... 2008
22:06 xstill jako Identity monad transformer? To jsi to psal v Haskellu?
22:06 mornfall jistě, v čem jiným :-)
22:06 xstill :-D
22:08 mornfall http://paradise.fi.muni.cz/~xrockai/compiler/ (je to normální darcs repo)
22:12 xstill :-), to bylo do toho projektu?
22:12 mornfall j
22:12 xstill to bych si mohl zkusit zapsat až se vrátím
22:14 mornfall myslim že zadání bylo vygenerovat funkční x86 assembler pro nějakej jazyk s aritmetikou a rekurzí
22:15 mornfall nevim jak moc povinný bylo volání z/do C
22:19 xstill co jsi dělal za jazyk? To tam máš i volání z/do C?
22:20 mornfall mám, jazyk má ale jen integery a toplevel funkce
22:21 mornfall vygeneruje to normální .o který gcc-čkem slinkuješ na binárku (_start přijde z crt)
22:21 mornfall (teda on vygeneruje .S, assembler si musíš zavolat sám :)
22:21 xstill :-)
22:22 xstill my tu moderně od letaška budeme psát ARM codegen
22:22 mornfall :) veselý
22:22 xstill což teda nevím jak budeme zkoušet
22:22 mornfall ne že by to dělalo nějakej rozdíl
22:22 mornfall na telefonech :D
22:22 xstill myslím že můj to neumí :-D
22:24 xstill když jsme u toho, co jolla? Už jsi tam nainstaloval nixos :-P?
22:25 mornfall jolla docela funguje :-)
22:26 mornfall s nixosem dej pokoj, budu rád když upgraduju paradise ještě někdy
22:28 xstill jakto?
22:28 mornfall no už na tom občasně dělám skoro měsíc :-)
22:29 mornfall zdá se že už nejde přeložit jen jeden balík, qca-ossl
22:29 xstill co to je?
22:29 mornfall nějakej kryptokrám pro qt, psi to potřebuje
22:31 xstill no radost
22:35 spito mám si dát jídlo nebo jít spát...toť otázka...
22:36 xstill můžeš si dát snídani a pak jít spát
22:42 spito ?
22:42 spito snídaně se neorientuje podle absolutního času, ale podle relativního
22:43 spito snídaně je ráno
22:43 spito a ráno je, když se probudíš
22:43 spito :P
22:45 xstill no právě, bude to nestandartní snídaně :-D
22:48 xstill půjdu spát jinak se ještě stihnu rozčílit na ten projekt zase
22:49 mornfall to bys neudělal
22:50 spito vláďo, ty byl vždycky klidnej
22:52 mornfall já to vidim na sprchu a asoiaf
22:53 mornfall a budu doufat že se libreoffice do rána přeloží :-P

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