Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-19

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

All times shown according to UTC.

Time Nick Message
09:59 xstill mornfall: dorazíš dneska?
11:08 mornfall asi ne :-) měl jsem?
11:57 xstill mornfall: hm, a tento týden?
14:55 mornfall xstill: v pátek?
14:59 xstill hm, to není úplně dobré na článek… nemáš čas někdy dřív?
15:02 mornfall ani moc ne, jedině ve čtvrtek ráno se otočit cestou do blavy
15:03 mornfall hm, do svnky přibyl main.tex
15:03 xstill sem ho tam dal, ale moc tam toho není
15:04 mornfall proč je text celej červenej? :D
15:05 xstill protože je to text z memicsu
15:06 xstill jako moc nevím od čeho začít, asi nejdřív popíšu co vlastně děláme a pak se dodělá úvod
15:06 xstill (název je taky dost pracovní)
15:06 mornfall jaký to má mít rozsah?
15:07 mornfall já bych fakt ten divine vynechal a zmínil jen že ho používáme k evaluaci
15:07 xstill když ono je to dost napojený, muselo by se to změnit (userspace)
15:07 mornfall jak je to napojený?
15:07 xstill 15 stránek
15:08 xstill tak, __divine_new_thread, __divine_heap_object_size, __divine_free (to je aj v transformaci)
15:09 mornfall no, předpokládat existenci zrovna těchto funkcí je asi nejmíň ne?
15:09 mornfall prostě se popíše že to používá funkce x, y a z s takovouto sémantikou
15:09 mornfall to by nemuselo být moc rozsáhlý, max půl strany?
15:09 mornfall možná strana, Interfacing with the Model Checker
15:10 xstill to by asi šlo

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