IRCBrowse

2021/06/04

2021-06-04 00:02:03 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-06-04 00:24:59 +0200r0cket2510[m](~r0cket251@2001:470:69fc:105::e00)
2021-06-04 00:29:19 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2021-06-04 00:37:16 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 01:39:36 +0200themainman(~themainma@user/themainman) (Quit: WeeChat 3.1)
2021-06-04 01:50:39 +0200Roos[m](~roosember@2001:470:69fc:105::a56) (Quit: node-irc says goodbye)
2021-06-04 01:50:56 +0200Roos[m](~roosember@2001:470:69fc:105::a56)
2021-06-04 01:52:46 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-06-04 01:52:58 +0200Roos[m]Orbstheorem
2021-06-04 01:56:54 +0200Orbstheorem(~roosember@2001:470:69fc:105::a56) (Quit: node-irc says goodbye)
2021-06-04 01:57:10 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-06-04 02:00:46 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Client Quit)
2021-06-04 02:01:00 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-06-04 02:01:27 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Client Quit)
2021-06-04 02:01:43 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-06-04 02:17:35 +0200jg(~jrgiacone@47.149.222.98)
2021-06-04 02:17:49 +0200 <jg> how goes it :) how was y'alls day?
2021-06-04 02:19:28 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-06-04 02:19:42 +0200werneta(~werneta@128.149.243.107)
2021-06-04 02:24:30 +0200werneta(~werneta@128.149.243.107) (Ping timeout: 245 seconds)
2021-06-04 02:25:56 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 02:52:56 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Quit: Leaving)
2021-06-04 03:02:09 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-04 03:25:23 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
2021-06-04 04:05:52 +0200jg(~jrgiacone@47.149.222.98) (Ping timeout: 272 seconds)
2021-06-04 04:29:06 +0200td_(~td@muedsl-82-207-238-081.citykom.de) (Ping timeout: 264 seconds)
2021-06-04 04:30:36 +0200td_(~td@94.134.91.156)
2021-06-04 04:47:02 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-06-04 04:47:15 +0200werneta(~werneta@128.149.243.107)
2021-06-04 05:01:10 +0200jg(~jrgiacone@47.149.222.98)
2021-06-04 05:01:10 +0200 <jg> yo
2021-06-04 05:01:14 +0200 <jg> whats good
2021-06-04 05:01:23 +0200jg(~jrgiacone@47.149.222.98) (Client Quit)
2021-06-04 05:22:12 +0200 <electr0n> 'lo
2021-06-04 05:27:34 +0200werneta(~werneta@128.149.243.107) (Ping timeout: 272 seconds)
2021-06-04 05:29:16 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 06:32:40 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds)
2021-06-04 06:32:54 +0200werneta(~werneta@128.149.243.107)
2021-06-04 06:44:05 +0200werneta(~werneta@128.149.243.107) (Ping timeout: 245 seconds)
2021-06-04 06:46:14 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 07:03:40 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds)
2021-06-04 07:03:54 +0200werneta(~werneta@128.149.243.107)
2021-06-04 07:36:05 +0200werneta(~werneta@128.149.243.107) (Ping timeout: 252 seconds)
2021-06-04 07:37:57 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 07:39:48 +0200Solidis currently debating whether he should doxx himself in MAINTIANERS.md
2021-06-04 08:12:54 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-06-04 08:13:08 +0200werneta(~werneta@128.149.243.107)
2021-06-04 08:17:59 +0200werneta(~werneta@128.149.243.107) (Ping timeout: 272 seconds)
2021-06-04 08:19:24 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 08:33:50 +0200wonko(~wjc@62.115.229.50)
2021-06-04 08:56:04 +0200 <Solid> sigh, I think this Choose business is hopeless
2021-06-04 08:57:08 +0200 <Solid> the problem is that (|||)'s signature really is `forall l r a. l a -> r a -> Choose l r a` and so what we would acutally need to do for a `Gen (Choose l r a)` or similar is to generate an arbitrary type that we could feed to `generate`
2021-06-04 08:57:19 +0200 <Solid> which is a thing quickcheck can't do
2021-06-04 08:57:26 +0200 <Solid> :/
2021-06-04 09:07:26 +0200wonko(~wjc@62.115.229.50) (Changing host)
2021-06-04 09:07:26 +0200wonko(~wjc@user/wonko)
2021-06-04 09:34:19 +0200cfricke(~cfricke@user/cfricke)
2021-06-04 09:58:57 +0200 <liskin> You can just define a new type for binary trees and generate those and convert to Choose
2021-06-04 09:59:42 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-06-04 09:59:56 +0200werneta(~werneta@128.149.243.107)
2021-06-04 10:00:22 +0200 <liskin> There will be existential and/or dynamic types though
2021-06-04 10:00:35 +0200 <liskin> I didn't think of that before
2021-06-04 10:03:02 +0200 <Solid> yeah I think with a conversion function you run into the same issues
2021-06-04 10:05:53 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.1)
2021-06-04 10:13:16 +0200frosch03(~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b)
2021-06-04 10:21:59 +0200berberman(~berberman@user/berberman)
2021-06-04 10:22:57 +0200berberman_(~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-06-04 10:27:46 +0200wonko(~wjc@user/wonko) (Ping timeout: 272 seconds)
2021-06-04 10:36:35 +0200werneta(~werneta@128.149.243.107) (Ping timeout: 245 seconds)
2021-06-04 10:38:42 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 10:48:54 +0200Guest7213(~Guest7213@78.32.70.245)
2021-06-04 10:56:59 +0200mc47(~yecinem@89.246.239.190)
2021-06-04 11:16:22 +0200frosch03(~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b) (Ping timeout: 265 seconds)
2021-06-04 11:17:25 +0200cyr4x3(~cyr4x3@139.47.116.53)
2021-06-04 11:17:44 +0200cyr4x3(~cyr4x3@139.47.116.53) (Client Quit)
2021-06-04 11:19:09 +0200wonko(~wjc@62.115.229.50)
2021-06-04 11:59:01 +0200themainman(~themainma@user/themainman)
2021-06-04 13:49:40 +0200ft(~ft@shell.chaostreff-dortmund.de)
2021-06-04 13:52:19 +0200ft(~ft@shell.chaostreff-dortmund.de) (Client Quit)
2021-06-04 13:52:33 +0200ft(~ft@shell.chaostreff-dortmund.de)
2021-06-04 14:06:05 +0200ft(~ft@shell.chaostreff-dortmund.de) (Quit: leaving)
2021-06-04 14:06:14 +0200ft(~ft@shell.chaostreff-dortmund.de)
2021-06-04 14:12:23 +0200Industrial[m](~industria@2001:470:69fc:105::eb9)
2021-06-04 14:37:18 +0200ft(~ft@shell.chaostreff-dortmund.de) (Quit: leaving)
2021-06-04 14:37:36 +0200ft(~ft@shell.chaostreff-dortmund.de)
2021-06-04 14:39:50 +0200berberman(~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-06-04 14:40:09 +0200berberman(~berberman@user/berberman)
2021-06-04 15:26:29 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-04 16:40:11 +0200seschwar(~seschwar@user/seschwar)
2021-06-04 16:51:26 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-04 16:53:11 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 244 seconds)
2021-06-04 16:57:02 +0200allbery_bgeekosaur
2021-06-04 17:29:07 +0200Guest7213(~Guest7213@78.32.70.245) (Quit: Client closed)
2021-06-04 17:35:19 +0200benin03(~benin@183.82.207.15)
2021-06-04 17:47:22 +0200 <Solid> liskin: I'll squash the fixup commits in #281 for now; I don't see a way to nicely property test this with quickcheck :/
2021-06-04 17:47:52 +0200 <Solid> we could still add unit tests for the most obvious things (jumping to the same layout, having a non-trivial choose tree, etc.)
2021-06-04 17:55:01 +0200 <liskin> Solid: what do you mean by "for now"? are we going to try again later or shall we just merge it without tests?
2021-06-04 17:55:37 +0200 <liskin> I'm probably fine with merging it without tests now that I understand that we'd need something close to dependent types to write them
2021-06-04 17:55:49 +0200 <liskin> and I'm reasonably certain the code we ended up with works
2021-06-04 17:58:24 +0200benin03(~benin@183.82.207.15) (Remote host closed the connection)
2021-06-04 18:04:40 +0200 <Solid> liskin: by "for now" I mean I wasn't going to merge it or anything crazy in case we want to add tests
2021-06-04 18:04:49 +0200 <Solid> maybe I just wanted to use a filler word... :>
2021-06-04 18:07:18 +0200 <liskin> we might as well merge it though
2021-06-04 18:07:42 +0200 <liskin> if we want to add unit tests we'd need to do the same hspec refactor that was done in xmonad-contrib
2021-06-04 18:08:00 +0200 <Solid> oh right, that wasn't done for the core so far
2021-06-04 18:08:04 +0200 <liskin> which would be nice but it might take a couple hours
2021-06-04 18:08:26 +0200 <liskin> and I'm very very close to the EWMH thing
2021-06-04 18:08:40 +0200 <liskin> so I should really not come close to any of that :-)
2021-06-04 18:09:12 +0200 <liskin> (and also I'm very close to the weekend :-/)
2021-06-04 18:10:10 +0200 <Solid> I'll put it on my TODO list as well (but I'm quite busy with applications right now, so I can't really promise anyhting in the next few weeks either :/)
2021-06-04 18:10:35 +0200 <liskin> phd study applications?
2021-06-04 18:10:56 +0200 <Solid> yes
2021-06-04 18:11:06 +0200 <liskin> good luck with those then :-)
2021-06-04 18:11:12 +0200 <Solid> thanks! :)
2021-06-04 18:11:40 +0200 <Solid> so many statements to write why I positively, definitely want exactly that position
2021-06-04 18:11:53 +0200 <liskin> :-D
2021-06-04 18:12:16 +0200 <Solid> and of course everything has to be accompanied by a research _and_ teaching statement in which I just repeat things from the cover letter in more detail
2021-06-04 18:12:19 +0200 <Solid> lots of fun :P
2021-06-04 18:13:04 +0200 <Solid> anyways, if we want to merge #281 then we'll probably want to do the same for the associated contrib pr, otherwise there'll be lots of CI failures for new PRs
2021-06-04 18:13:29 +0200 <liskin> yep, I'll keep that in mind
2021-06-04 18:13:49 +0200 <liskin> my shiny new xmonad-testing Makefile will help me make sure that I don't fuck it up
2021-06-04 18:15:03 +0200 <liskin> (one would expect the CI to lend a hand, but https://github.com/haskell/cabal/issues/6888 makes it harder than expected)
2021-06-04 18:17:59 +0200 <liskin> I wonder why the academic world is still stuck in this weird power dynamic of having young ambitious people full of energy waste time on writing long bullshit letters
2021-06-04 18:18:37 +0200 <liskin> on the other hand, the commercial world of young ambitious women spamming people on linkedin isn't much better I guess
2021-06-04 18:22:04 +0200 <Solid> I think it's partly to keep up appearances tbh
2021-06-04 18:23:15 +0200 <Solid> I can't speak for other countries of course, but over here like 75% of all announcements for PhD positions are phony
2021-06-04 18:23:33 +0200 <Solid> in the sense that the prof already has a candidate, but these positions _have_ to be publicly announced in some way
2021-06-04 18:23:50 +0200 <Solid> so they make it ultra-specific such that exactly one person fits the description of what they're looking for
2021-06-04 18:27:22 +0200 <liskin> sounds like the best way to play that game is to also get to be friends with the prof first
2021-06-04 18:28:10 +0200 <liskin> (a bit harder now in the pandemic though)
2021-06-04 18:29:04 +0200 <Solid> ah, the probem is when the prof you really want to work with doesn't have any money right now
2021-06-04 18:29:23 +0200 <Solid> we're in the process of writing a grant together but I'm not sure if that'll be done and reviewed by the fall
2021-06-04 18:29:50 +0200 <liskin> oh, money :-/
2021-06-04 18:30:18 +0200 <Solid> especially during the pandemic people aren't keen to spend lots of money on theoretical endeavours :(
2021-06-04 18:30:45 +0200 <Solid> so I need to find some failsafe positions that I can still comfortably quit after half a year should we get the grant
2021-06-04 18:32:24 +0200 <liskin> not entirely sure how exactly it works in my country, but I think it's something like the university pays a stipend (which is very little, but enough to share a room and still have some for food and drinks) and then if the prof can get a grant, you get extra money, and if not, then not
2021-06-04 18:33:12 +0200 <liskin> my wife lived off the stipend alone for the first 4 years, and then off teaching at the centre for students with special ends for another 3 years
2021-06-04 18:34:28 +0200 <liskin> *student with special needs
2021-06-04 18:36:53 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Quit: node-irc says goodbye)
2021-06-04 18:36:53 +0200liskin[m](~liskinmat@2001:470:69fc:105::768) (Quit: node-irc says goodbye)
2021-06-04 18:36:53 +0200nihilipster[m](~nihilipst@2001:470:69fc:105::720) (Quit: node-irc says goodbye)
2021-06-04 18:36:53 +0200freopen(~freopenma@2001:470:69fc:105::256) (Quit: node-irc says goodbye)
2021-06-04 18:36:53 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (Quit: node-irc says goodbye)
2021-06-04 18:36:53 +0200aamermoquim[m](~aamermoqu@2001:470:69fc:105::a28) (Quit: node-irc says goodbye)
2021-06-04 18:36:53 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db) (Quit: node-irc says goodbye)
2021-06-04 18:36:53 +0200yuu[m](~yuumatrix@2001:470:69fc:105::8a6) (Quit: node-irc says goodbye)
2021-06-04 18:36:53 +0200unclechu(~unclechu@2001:470:69fc:105::354) (Quit: node-irc says goodbye)
2021-06-04 18:36:53 +0200hjulle[m](~hjullemat@2001:470:69fc:105::1dd) (Quit: node-irc says goodbye)
2021-06-04 18:36:53 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e) (Quit: node-irc says goodbye)
2021-06-04 18:36:53 +0200ElKowar[m](~elkowarma@2001:470:69fc:105::392) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200TomasJakl[m](~jaklttchn@2001:470:69fc:105::a42) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200Lehvak[m](~lehvakmat@2001:470:69fc:105::469) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200jgart[m](~jgartemat@2001:470:69fc:105::5c9) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200Daniel[m](~therealda@2001:470:69fc:105::740) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200lyiriyah[m](~lyiriyahm@2001:470:69fc:105::cc0) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200sibi(~psibimatr@2001:470:69fc:105::8ab) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200Jason[m](~jasonzemo@2001:470:69fc:105::a44) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200gate32[m](~gate32mat@2001:470:69fc:105::9e3) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200AunJaffery[m](~aunoxmatr@2001:470:69fc:105::a2d) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200CodeBitCookie[m](~code-bit-@2001:470:69fc:105::a2f) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200d9ny[m](~d9nymatri@2001:470:69fc:105::a30) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200dev[m](~devnetmat@2001:470:69fc:105::a33) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200dkasak[m](~dkasakter@2001:470:69fc:105::a34) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200dmytrokurch[m](~dmytrokur@2001:470:69fc:105::a35) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200egeas[m](~egeasasra@2001:470:69fc:105::a37) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200galambborong[m](~galambbor@2001:470:69fc:105::a39) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200gustavcedersjo[m(~gustavced@2001:470:69fc:105::a3b) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200jakub[m](~jakubfami@2001:470:69fc:105::a43) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200abhixec[m](~abhixecma@2001:470:69fc:105::a2a) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200AhmedAl-Hamed[m](~asalhamed@2001:470:69fc:105::a2c) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200antilambda[m](~antilambd@2001:470:69fc:105::a2b) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200By_JumperX4[m](~byjumperx@2001:470:69fc:105::a2e) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200Drishal[m](~drishalma@2001:470:69fc:105::a36) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200devnet[m](~devnet20m@2001:470:69fc:105::a32) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200EdwardTjrnhammar(~edwtjofai@2001:470:69fc:105::3cb) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200Dave[m](~davama1ma@2001:470:69fc:105::a31) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200fakecrafter[m](~fakecraft@2001:470:69fc:105::a38) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200hellquist[m](~hellquist@2001:470:69fc:105::a3c) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200globulis[m](~globulism@2001:470:69fc:105::a3a) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200iffsid[m](~iffsidmat@2001:470:69fc:105::a3e) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200kunrooted[m](~kunrooted@2001:470:69fc:105::a4a) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200indium[m](~indiummat@2001:470:69fc:105::a3f) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200instinctive[m](~instincti@2001:470:69fc:105::a40) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200jhuizy[m](~jhuizymat@2001:470:69fc:105::a45) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200josiah_sama[m](~josiahsam@2001:470:69fc:105::a46) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200justinrestivo[m](~justinres@2001:470:69fc:105::a47) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200krisfris[m](~krisfrism@2001:470:69fc:105::a49) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200lukebarnard[m](~lukebarna@2001:470:69fc:105::a4c) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200madjestic[m](~madjestic@2001:470:69fc:105::a4e) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200masse[m](~masserauh@2001:470:69fc:105::3bd) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200MerlinGttlinger[(~mgttlinge@2001:470:69fc:105::a4f) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200mishgun[m](~mishgunma@2001:470:69fc:105::a50) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200moyamo[m](~moyamomat@2001:470:69fc:105::a51) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200rosariopulella[m(~rosariopu@2001:470:69fc:105::a57) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200samhh[m](~samhhmatr@2001:470:69fc:105::a58) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200TheWizardTower[m(~thewizard@2001:470:69fc:105::a5b) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200triumphofdeath[m(~triumphof@2001:470:69fc:105::a5c) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200vyorkin[m](~vyorkinma@2001:470:69fc:105::a5e) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200YehoshuaPesachWa(~yehoshuap@2001:470:69fc:105::a5f) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200Liyang[m](~liyangmat@2001:470:69fc:105::a4b) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200Kidany[m](~kidanymat@2001:470:69fc:105::a48) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200pavelthebest[m](~paveltheb@2001:470:69fc:105::a52) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200maom[m](~lurpammat@2001:470:69fc:105::a4d) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200__[m](~quillaspm@2001:470:69fc:105::a55) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200Sam[m]1(~mmarvidfr@2001:470:69fc:105::3bf) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200pnotequalnp[m](~pnotequal@2001:470:69fc:105::a54) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200therivercass[m](~theriverc@2001:470:69fc:105::a5a) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200ph_0x17[m](~ph0x17mat@2001:470:69fc:105::a53) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200zpartacoos[m](~zpartacoo@2001:470:69fc:105::a60) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200sanuto[m](~sanutomat@2001:470:69fc:105::a59) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200mc47[m](~mc47matri@2001:470:69fc:105::733) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200issadarkthing[m](~issadarkt@2001:470:69fc:105::a41) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200ibizaman[m](~ibizamanm@2001:470:69fc:105::a3d) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200r0cket2510[m](~r0cket251@2001:470:69fc:105::e00) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Quit: node-irc says goodbye)
2021-06-04 18:36:54 +0200Industrial[m](~industria@2001:470:69fc:105::eb9) (Quit: node-irc says goodbye)
2021-06-04 18:37:16 +0200 <Solid> mh interesting
2021-06-04 18:37:48 +0200 <Solid> I think you have the option to start the phd completely pro bono and just pay for it yourself
2021-06-04 18:37:54 +0200 <Solid> (I don't have that money however)
2021-06-04 18:38:54 +0200freopen(~freopenma@2001:470:69fc:105::256)
2021-06-04 18:39:14 +0200 <Solid> for anything else though you either need a grant or your advisor needs to pay you with money that he gets for research assistants (though in my case he's already keeping two post-docs with that money)
2021-06-04 18:39:25 +0200r0cket2510[m](~r0cket251@2001:470:69fc:105::e00)
2021-06-04 18:39:26 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-06-04 18:39:26 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-06-04 18:39:37 +0200aamermoquim[m](~aamermoqu@2001:470:69fc:105::a28)
2021-06-04 18:39:38 +0200lyiriyah[m](~lyiriyahm@2001:470:69fc:105::cc0)
2021-06-04 18:39:49 +0200abhixec[m](~abhixecma@2001:470:69fc:105::a2a)
2021-06-04 18:39:50 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2021-06-04 18:40:01 +0200antilambda[m](~antilambd@2001:470:69fc:105::a2b)
2021-06-04 18:40:02 +0200sibi(~psibimatr@2001:470:69fc:105::8ab)
2021-06-04 18:40:13 +0200AhmedAl-Hamed[m](~asalhamed@2001:470:69fc:105::a2c)
2021-06-04 18:40:25 +0200AunJaffery[m](~aunoxmatr@2001:470:69fc:105::a2d)
2021-06-04 18:40:37 +0200By_JumperX4[m](~byjumperx@2001:470:69fc:105::a2e)
2021-06-04 18:40:49 +0200CodeBitCookie[m](~code-bit-@2001:470:69fc:105::a2f)
2021-06-04 18:41:01 +0200d9ny[m](~d9nymatri@2001:470:69fc:105::a30)
2021-06-04 18:41:13 +0200Dave[m](~davama1ma@2001:470:69fc:105::a31)
2021-06-04 18:41:25 +0200devnet[m](~devnet20m@2001:470:69fc:105::a32)
2021-06-04 18:41:37 +0200dev[m](~devnetmat@2001:470:69fc:105::a33)
2021-06-04 18:41:49 +0200dkasak[m](~dkasakter@2001:470:69fc:105::a34)
2021-06-04 18:42:01 +0200dmytrokurch[m](~dmytrokur@2001:470:69fc:105::a35)
2021-06-04 18:42:13 +0200Drishal[m](~drishalma@2001:470:69fc:105::a36)
2021-06-04 18:42:25 +0200EdwardTjrnhammar(~edwtjofai@2001:470:69fc:105::3cb)
2021-06-04 18:42:37 +0200egeas[m](~egeasasra@2001:470:69fc:105::a37)
2021-06-04 18:42:37 +0200ElKowar[m](~elkowarma@2001:470:69fc:105::392)
2021-06-04 18:42:37 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db)
2021-06-04 18:42:49 +0200fakecrafter[m](~fakecraft@2001:470:69fc:105::a38)
2021-06-04 18:43:02 +0200galambborong[m](~galambbor@2001:470:69fc:105::a39)
2021-06-04 18:43:14 +0200gate32[m](~gate32mat@2001:470:69fc:105::9e3)
2021-06-04 18:43:26 +0200globulis[m](~globulism@2001:470:69fc:105::a3a)
2021-06-04 18:43:38 +0200gustavcedersjo[m(~gustavced@2001:470:69fc:105::a3b)
2021-06-04 18:43:50 +0200hellquist[m](~hellquist@2001:470:69fc:105::a3c)
2021-06-04 18:43:50 +0200hjulle[m](~hjullemat@2001:470:69fc:105::1dd)
2021-06-04 18:44:03 +0200ibizaman[m](~ibizamanm@2001:470:69fc:105::a3d)
2021-06-04 18:44:15 +0200iffsid[m](~iffsidmat@2001:470:69fc:105::a3e)
2021-06-04 18:44:27 +0200TomasJakl[m](~jaklttchn@2001:470:69fc:105::a42)
2021-06-04 18:44:27 +0200Jason[m](~jasonzemo@2001:470:69fc:105::a44)
2021-06-04 18:44:27 +0200jgart[m](~jgartemat@2001:470:69fc:105::5c9)
2021-06-04 18:44:27 +0200indium[m](~indiummat@2001:470:69fc:105::a3f)
2021-06-04 18:44:28 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-06-04 18:44:28 +0200Lehvak[m](~lehvakmat@2001:470:69fc:105::469)
2021-06-04 18:44:28 +0200liskin[m](~liskinmat@2001:470:69fc:105::768)
2021-06-04 18:44:29 +0200nihilipster[m](~nihilipst@2001:470:69fc:105::720)
2021-06-04 18:44:30 +0200Daniel[m](~therealda@2001:470:69fc:105::740)
2021-06-04 18:44:30 +0200unclechu(~unclechu@2001:470:69fc:105::354)
2021-06-04 18:44:30 +0200yuu[m](~yuumatrix@2001:470:69fc:105::8a6)
2021-06-04 18:44:39 +0200jakub[m](~jakubfami@2001:470:69fc:105::a43)
2021-06-04 18:44:39 +0200instinctive[m](~instincti@2001:470:69fc:105::a40)
2021-06-04 18:44:39 +0200issadarkthing[m](~issadarkt@2001:470:69fc:105::a41)
2021-06-04 18:44:39 +0200jhuizy[m](~jhuizymat@2001:470:69fc:105::a45)
2021-06-04 18:44:39 +0200josiah_sama[m](~josiahsam@2001:470:69fc:105::a46)
2021-06-04 18:44:39 +0200justinrestivo[m](~justinres@2001:470:69fc:105::a47)
2021-06-04 18:44:39 +0200Kidany[m](~kidanymat@2001:470:69fc:105::a48)
2021-06-04 18:44:40 +0200Liyang[m](~liyangmat@2001:470:69fc:105::a4b)
2021-06-04 18:44:40 +0200lukebarnard[m](~lukebarna@2001:470:69fc:105::a4c)
2021-06-04 18:44:40 +0200madjestic[m](~madjestic@2001:470:69fc:105::a4e)
2021-06-04 18:44:40 +0200krisfris[m](~krisfrism@2001:470:69fc:105::a49)
2021-06-04 18:44:40 +0200kunrooted[m](~kunrooted@2001:470:69fc:105::a4a)
2021-06-04 18:44:40 +0200maom[m](~lurpammat@2001:470:69fc:105::a4d)
2021-06-04 18:44:40 +0200masse[m](~masserauh@2001:470:69fc:105::3bd)
2021-06-04 18:44:40 +0200MerlinGttlinger[(~mgttlinge@2001:470:69fc:105::a4f)
2021-06-04 18:44:40 +0200mishgun[m](~mishgunma@2001:470:69fc:105::a50)
2021-06-04 18:44:41 +0200moyamo[m](~moyamomat@2001:470:69fc:105::a51)
2021-06-04 18:44:41 +0200ph_0x17[m](~ph0x17mat@2001:470:69fc:105::a53)
2021-06-04 18:44:41 +0200pnotequalnp[m](~pnotequal@2001:470:69fc:105::a54)
2021-06-04 18:44:41 +0200rosariopulella[m(~rosariopu@2001:470:69fc:105::a57)
2021-06-04 18:44:41 +0200Sam[m]1(~mmarvidfr@2001:470:69fc:105::3bf)
2021-06-04 18:44:41 +0200pavelthebest[m](~paveltheb@2001:470:69fc:105::a52)
2021-06-04 18:44:41 +0200__[m](~quillaspm@2001:470:69fc:105::a55)
2021-06-04 18:44:41 +0200samhh[m](~samhhmatr@2001:470:69fc:105::a58)
2021-06-04 18:44:42 +0200sanuto[m](~sanutomat@2001:470:69fc:105::a59)
2021-06-04 18:44:42 +0200therivercass[m](~theriverc@2001:470:69fc:105::a5a)
2021-06-04 18:44:42 +0200triumphofdeath[m(~triumphof@2001:470:69fc:105::a5c)
2021-06-04 18:44:42 +0200mc47[m](~mc47matri@2001:470:69fc:105::733)
2021-06-04 18:44:42 +0200TheWizardTower[m(~thewizard@2001:470:69fc:105::a5b)
2021-06-04 18:44:42 +0200vyorkin[m](~vyorkinma@2001:470:69fc:105::a5e)
2021-06-04 18:44:42 +0200YehoshuaPesachWa(~yehoshuap@2001:470:69fc:105::a5f)
2021-06-04 18:44:42 +0200zpartacoos[m](~zpartacoo@2001:470:69fc:105::a60)
2021-06-04 18:44:42 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-06-04 18:44:43 +0200Industrial[m](~industria@2001:470:69fc:105::eb9)
2021-06-04 19:29:01 +0200 <liskin> shall I bump xmonad version to help people not get confused about compile errors when they only update xmonad-contrib but not xmonad?
2021-06-04 19:29:27 +0200 <liskin> and if yes, do we go the Don Knuth way of adding more decimal digits or just .1 at the end? :-)
2021-06-04 19:29:46 +0200 <liskin> the former might be fun
2021-06-04 19:34:12 +0200a6a45081-2b83(~aditya@106.212.70.132)
2021-06-04 19:57:16 +0200 <Solid> I think that would be nice yeah
2021-06-04 19:57:30 +0200 <Solid> there are a surprising number of people who are on the git version(s)
2021-06-04 19:58:45 +0200 <Solid> I don't really mind concerning the numbering
2021-06-04 19:58:48 +0200 <Solid> numbers are evil anyways :)
2021-06-04 19:59:09 +0200 <liskin> what do mathematicians use instead of numbers these days?
2021-06-04 19:59:33 +0200 <Solid> categories of course!
2021-06-04 20:00:16 +0200 <Solid> you can get through a graduate course in mathematics with just the numbers 1-10 ez :P
2021-06-04 20:01:17 +0200 <liskin> is that why Haskell PVP uses two components for the major version instead of just one like SemVer?
2021-06-04 20:03:40 +0200 <Solid> that would be pretty funny
2021-06-04 20:05:11 +0200frosch03(~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b)
2021-06-04 20:05:34 +0200 <liskin> okay so we're at four nines now
2021-06-04 20:05:58 +0200 <liskin> and the xmonad 0.17 board is looking really good
2021-06-04 20:06:05 +0200 <liskin> this was a good week :-)
2021-06-04 20:07:34 +0200 <Solid> oh wow
2021-06-04 20:07:37 +0200 <Solid> almost done! :)
2021-06-04 20:11:15 +0200 <liskin> yeah, just the EWMH stuff
2021-06-04 20:12:41 +0200 <liskin> and the various docs
2021-06-04 20:17:54 +0200 <liskin> oh, and deprecations!
2021-06-04 20:18:21 +0200 <liskin> I'd really like to make deprecation warnings visible before the release
2021-06-04 20:21:00 +0200 <Solid> oh right
2021-06-04 20:21:12 +0200 <Solid> we still need to decide what to do with that
2021-06-04 21:03:18 +0200frosch03(~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b) (Ping timeout: 264 seconds)
2021-06-04 21:16:51 +0200a6a45081-2b83(~aditya@106.212.70.132) (Quit: Konversation terminated!)
2021-06-04 21:51:09 +0200 <davve> shouldnt xmonad be bumped to 1.x? seems pretty stable to me :P
2021-06-04 23:20:13 +0200Guest39(~Guest39@124.40.244.150)
2021-06-04 23:24:17 +0200vrs(~vrs@user/vrs) (Ping timeout: 252 seconds)
2021-06-04 23:42:06 +0200Guest39(~Guest39@124.40.244.150) (Ping timeout: 250 seconds)
2021-06-04 23:50:50 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 272 seconds)