Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-12-01

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

All times shown according to UTC.

Time Nick Message
10:48 xstill hm, zdá se že nám nejede arke a nemůžu se domluvit ani s arke-ipmi
10:49 xstill přesto že obojí pingá
11:52 mornfall koukám no... hm
11:54 mornfall ale ne, ipmi funguje
11:56 mornfall jen chce aj -U ADMIN
11:56 mornfall ale asi teda reboot, protože na serial port to nepíše nic, ani nereaguje
11:57 mornfall otázka je jestli to zabil spito nebo badblocks
11:57 mornfall nebo ještě něco jinýho...
11:57 mornfall (jak ho znám tak se neobtěžoval nastavit max memory :-P)
12:00 mornfall hm, a journald smazalo všechny logy
12:07 xstill no ještě se včera měnila UPSka na FI
12:07 mornfall no, antea má uptime 18 dní
12:07 xstill (nevím jestli v naší serverovně)
12:08 xstill arke je v jiné zásuvce
12:14 mornfall jen mi není jasné jak by výpadek elektriky mohl mít na svědomí že ten stroj nabootoval do pingajíciho stavu
12:14 mornfall a další reboot zase do normálního
12:14 xstill hm, to je asi blbost
12:15 xstill ale badblocks by to schodit neměl ne? Na těch diskách nic neběželo
12:15 mornfall schodit určitě ne, a shodit taky ne :)
12:15 mornfall spíš si myslim že došla paměť
12:17 xstill hm, Jirka tu tabulku opravil, co?
12:17 xstill třeba se tím ten model moc zvětšil
12:17 mornfall on se nemusel vůbec zvětšit
12:17 mornfall předtím to našlo protipříklad, to mohlo být klidně v prvních 10 % stavovýho prostoru
12:18 xstill jo no to jsem myslel
12:20 mornfall blbý je že logind neumí nastavit omezení na session
12:22 mornfall hm, ale groupy tam jsou
12:22 mornfall aj v cpu aj v memory
12:22 mornfall jen nemaj nastavený limity
12:27 xstill hm, docela by mě zajímalo jak se mohli ztratit logy od 21.11.
12:27 mornfall zeptej se Lennarta :-)
12:27 xstill to je kdo?
12:28 mornfall ten co píše systemd
12:28 xstill aha
12:28 xstill super
12:28 xstill a remote arke posílá?
12:29 mornfall asi, ale nevím jestli to unix@fi nezahazuje
12:29 xstill psali že budou zahazovat z pheme
12:34 mornfall hm, je to sice hrozně nechutný, ale napsat skript kterej každých 30s přepíše /sys/fs/cgroup/memory/user/*.user/*.session/memory.limit_in_bytes na nějakou konstantu asi bude fungovat docela dobře...
12:35 mornfall nebo vlastně bez tý .session dokonce
12:35 mornfall to je asi i lepší :)
12:35 mornfall jen se musí zapnout use_hierarchy
12:35 xstill to je dost nechutný :-D, otázka je co by měla být ta konstanta
12:35 mornfall tak, řekl bych RAM/2
12:36 mornfall je pravda že když se spojí 3 lidi tak tu mašinu zabijou
12:36 mornfall ale to už je osud
12:36 xstill hm, a nebylo by lepší použít overcommit?
12:37 mornfall no, to má problém že to vůbec neřeší fairness
12:37 mornfall sice to nezabije stroj ale nepůjde to ani používat
12:38 xstill hm
12:38 xstill nebo tam můžeme vrazit dsched, ale ten zase možná zbytečně omezuje
12:38 mornfall jakože když ti login bash umírá na chybu alokace tak toho moc neuděláš
12:38 xstill to jo no
12:39 mornfall no, dsched jsem taky zvažoval, ale...
12:39 mornfall přijde mi že to je zase moc přísný
12:39 xstill asi jo
13:03 xstill studenti jsou nějak moc kteativní
14:12 mornfall jakto?
16:22 xstill jsou schopní vymyslet docela dost způsobů jak udělat PDA pro jeden konkrétní jazyk
16:22 xstill a není úplně snadné dekódovat co tím mysleli
16:32 Erbureth joined #divine
16:32 xstill btw. je jazyková ekvivalence pro (nedeterministické) PDA rozhodnutelná?
16:45 xstill wikipedia tvrdí, že ne
17:38 xstill oni se diví, že to udělatjí špatně když si stav, kde mají počet b mod 3 = 2 označí q_3
17:42 mornfall :-)
18:25 xstill hm, aby mi student odevzdal řešení na příklad který byl před rokem to se mi fakt ještě nestalo
18:30 mornfall achjo to gdb je tak hrozný
19:07 SirGlorg joined #divine

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