#nixos-chat on 2019-04-07

2018-10-11 19:40 gchristensen changed the topic of #nixos-chat to: NixOS but much less topical || https://logs.nix.samueldr.com/nixos-chat

01:12 <ldlework> Risk of Rain 2 is madness.

01:12 <ldlework> balls to the walls madness

01:29 pie_ has joined #nixos-chat

01:47 lassulus has quit [Ping timeout: 258 seconds]

02:22 <drakonis> ldlework: its very good

02:32 buckley310 has quit [Quit: Lost terminal]

02:33 buckley310 has joined #nixos-chat

03:08 pie_ has quit [Ping timeout: 252 seconds]

04:25 lejonet has quit [Ping timeout: 268 seconds]

05:10 endformationage has quit [Quit: WeeChat 2.4]

05:29 <infinisil> Ah yes, dependent types.. https://www.reddit.com/r/dependent_types/comments/backhr/%E0%B0%B0%E0%B0%9C%E0%B0%97%E0%B0%B0_%E0%B0%85%E0%B0%A6%E0%B0%B2_%E0%B0%AA%E0%B0%AA%E0%B0%A1_%E0%B0%AA%E0%B0%95%E0%B0%B7_%E0%B0%95%E0%B0%A7_%E0%B0%AA%E0%B0%B0%E0%B0%AD%E0%B0%A4%E0%B0%B5%E0%B0%B2_%E0%B0%93%E0%B0%9F%E0%B0%B0%E0%B0%B2_%E0%B0%A1%E0%B0%AA%E0%B0%A8%E0%B0%B8_%E0%B0%AA%E0%B0%B0%E0%B0%B8%E0%B0%A8%E0%B0%B2%E0%B0%9F/

05:30 <infinisil> Oh wow, that link encoding is something

05:37 drakonis has quit [Quit: WeeChat 2.3]

06:07 <ldlework> drakonis_: wanna coop sometime?

07:22 <eyJhb> sphalerite: just moved the known_hosts

09:22 __monty__ has joined #nixos-chat

09:25 <andi-> ldlework: it is a great time sink.. If you two ever play in coop let me know :)

09:56 lopsided98_ has quit [Quit: No Ping reply in 180 seconds.]

09:58 lopsided98 has joined #nixos-chat

10:41 __monty__ has quit [Quit: leaving]

10:50 <MichaelRaskin> Step 1: Oh, sure, we have no idea how to build it except using Docker on a local Gitlab-CI. Step 2: cabal2nix _seems_ to work perfectly and faster than a CI build (that has to recompile all the Haskell dependencies). Step 3: now I need to find the catch, right?

11:05 pie_ has joined #nixos-chat

11:06 jasongrossman has quit [Ping timeout: 250 seconds]

11:29 Myhlamaeus has quit [Ping timeout: 252 seconds]

11:33 lassulus has joined #nixos-chat

11:34 lejonet has joined #nixos-chat

12:22 __monty__ has joined #nixos-chat

13:14 {^_^} has quit [Excess Flood]

13:14 {^_^} has joined #nixos-chat

13:27 jasongrossman has joined #nixos-chat

14:53 lassulus_ has joined #nixos-chat

14:53 lassulus_ has quit [Read error: Connection reset by peer]

15:00 endformationage has joined #nixos-chat

15:23 lopsided98 has quit [Quit: No Ping reply in 180 seconds.]

15:25 lopsided98 has joined #nixos-chat

15:53 jtojnar has quit [Quit: jtojnar]

16:08 <drakonis_> ldlework: surs

16:08 <drakonis_> sure thing

16:21 Myhlamaeus has joined #nixos-chat

16:47 lopsided98 has quit [Quit: No Ping reply in 180 seconds.]

16:48 lopsided98 has joined #nixos-chat

16:54 lopsided98 has quit [Quit: No Ping reply in 180 seconds.]

16:56 lopsided98 has joined #nixos-chat

16:58 drakonis has joined #nixos-chat

17:08 lopsided98 has quit [Remote host closed the connection]

17:09 lopsided98 has joined #nixos-chat

20:09 <MichaelRaskin> Dynamic release scheduling: if a release is late, next time branch-off with two weeks more time; if release comes out before 15th of the target month, next time take one week less of reserve…

20:19 <sphalerite> MichaelRaskin: I don't think an earlier branch-off would have helped here.

21:43 jasongrossman has quit [Ping timeout: 258 seconds]

21:57 drakonis has quit [Quit: WeeChat 2.3]

22:04 __monty__ has quit [Quit: leaving]

22:17 das_j has quit [Remote host closed the connection]

22:18 das_j has joined #nixos-chat

22:40 pie_ has quit [Ping timeout: 258 seconds]

22:47 MichaelRaskin has quit [Quit: MichaelRaskin]

22:53 drakonis has joined #nixos-chat

23:05 jasongrossman has joined #nixos-chat

23:08 <manveru> fpletz: you still using frab?

23:17 drakonis1 has joined #nixos-chat

23:20 drakonis_ has quit [Ping timeout: 258 seconds]

23:25 drakonis_ has joined #nixos-chat

23:29 drakonis1 has quit [Read error: Connection reset by peer]