IRCBrowse

2021/06/04

2021-06-04 00:00:46 +0000Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Client Quit)
2021-06-04 00:01:00 +0000Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-06-04 00:01:27 +0000Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Client Quit)
2021-06-04 00:01:43 +0000Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-06-04 00:17:35 +0000jg(~jrgiacone@47.149.222.98)
2021-06-04 00:17:49 +0000 <jg> how goes it :) how was y'alls day?
2021-06-04 00:19:28 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-06-04 00:19:42 +0000werneta(~werneta@128.149.243.107)
2021-06-04 00:24:30 +0000werneta(~werneta@128.149.243.107) (Ping timeout: 245 seconds)
2021-06-04 00:25:56 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 00:52:56 +0000geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Quit: Leaving)
2021-06-04 01:02:09 +0000geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-04 01:25:23 +0000geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
2021-06-04 02:05:52 +0000jg(~jrgiacone@47.149.222.98) (Ping timeout: 272 seconds)
2021-06-04 02:29:06 +0000td_(~td@muedsl-82-207-238-081.citykom.de) (Ping timeout: 264 seconds)
2021-06-04 02:30:36 +0000td_(~td@94.134.91.156)
2021-06-04 02:47:02 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-06-04 02:47:15 +0000werneta(~werneta@128.149.243.107)
2021-06-04 03:01:10 +0000jg(~jrgiacone@47.149.222.98)
2021-06-04 03:01:10 +0000 <jg> yo
2021-06-04 03:01:14 +0000 <jg> whats good
2021-06-04 03:01:23 +0000jg(~jrgiacone@47.149.222.98) (Client Quit)
2021-06-04 03:22:12 +0000 <electr0n> 'lo
2021-06-04 03:27:34 +0000werneta(~werneta@128.149.243.107) (Ping timeout: 272 seconds)
2021-06-04 03:29:16 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 04:32:40 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds)
2021-06-04 04:32:54 +0000werneta(~werneta@128.149.243.107)
2021-06-04 04:44:05 +0000werneta(~werneta@128.149.243.107) (Ping timeout: 245 seconds)
2021-06-04 04:46:14 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 05:03:40 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds)
2021-06-04 05:03:54 +0000werneta(~werneta@128.149.243.107)
2021-06-04 05:36:05 +0000werneta(~werneta@128.149.243.107) (Ping timeout: 252 seconds)
2021-06-04 05:37:57 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 05:39:48 +0000Solidis currently debating whether he should doxx himself in MAINTIANERS.md
2021-06-04 06:12:54 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-06-04 06:13:08 +0000werneta(~werneta@128.149.243.107)
2021-06-04 06:17:59 +0000werneta(~werneta@128.149.243.107) (Ping timeout: 272 seconds)
2021-06-04 06:19:24 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 06:33:50 +0000wonko(~wjc@62.115.229.50)
2021-06-04 06:56:04 +0000 <Solid> sigh, I think this Choose business is hopeless
2021-06-04 06:57:08 +0000 <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 06:57:19 +0000 <Solid> which is a thing quickcheck can't do
2021-06-04 06:57:26 +0000 <Solid> :/
2021-06-04 07:07:26 +0000wonko(~wjc@62.115.229.50) (Changing host)
2021-06-04 07:07:26 +0000wonko(~wjc@user/wonko)
2021-06-04 07:34:19 +0000cfricke(~cfricke@user/cfricke)
2021-06-04 07:58:57 +0000 <liskin> You can just define a new type for binary trees and generate those and convert to Choose
2021-06-04 07:59:42 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-06-04 07:59:56 +0000werneta(~werneta@128.149.243.107)
2021-06-04 08:00:22 +0000 <liskin> There will be existential and/or dynamic types though
2021-06-04 08:00:35 +0000 <liskin> I didn't think of that before
2021-06-04 08:03:02 +0000 <Solid> yeah I think with a conversion function you run into the same issues
2021-06-04 08:05:53 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.1)
2021-06-04 08:13:16 +0000frosch03(~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b)
2021-06-04 08:21:59 +0000berberman(~berberman@user/berberman)
2021-06-04 08:22:57 +0000berberman_(~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-06-04 08:27:46 +0000wonko(~wjc@user/wonko) (Ping timeout: 272 seconds)
2021-06-04 08:36:35 +0000werneta(~werneta@128.149.243.107) (Ping timeout: 245 seconds)
2021-06-04 08:38:42 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-04 08:48:54 +0000Guest7213(~Guest7213@78.32.70.245)
2021-06-04 08:56:59 +0000mc47(~yecinem@89.246.239.190)
2021-06-04 09:16:22 +0000frosch03(~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b) (Ping timeout: 265 seconds)
2021-06-04 09:17:25 +0000cyr4x3(~cyr4x3@139.47.116.53)
2021-06-04 09:17:44 +0000cyr4x3(~cyr4x3@139.47.116.53) (Client Quit)
2021-06-04 09:19:09 +0000wonko(~wjc@62.115.229.50)
2021-06-04 09:59:01 +0000themainman(~themainma@user/themainman)
2021-06-04 11:49:40 +0000ft(~ft@shell.chaostreff-dortmund.de)
2021-06-04 11:52:19 +0000ft(~ft@shell.chaostreff-dortmund.de) (Client Quit)
2021-06-04 11:52:33 +0000ft(~ft@shell.chaostreff-dortmund.de)
2021-06-04 12:06:05 +0000ft(~ft@shell.chaostreff-dortmund.de) (Quit: leaving)
2021-06-04 12:06:14 +0000ft(~ft@shell.chaostreff-dortmund.de)
2021-06-04 12:12:23 +0000Industrial[m](~industria@2001:470:69fc:105::eb9)
2021-06-04 12:37:18 +0000ft(~ft@shell.chaostreff-dortmund.de) (Quit: leaving)
2021-06-04 12:37:36 +0000ft(~ft@shell.chaostreff-dortmund.de)
2021-06-04 12:39:50 +0000berberman(~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-06-04 12:40:09 +0000berberman(~berberman@user/berberman)
2021-06-04 13:26:29 +0000geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-04 14:40:11 +0000seschwar(~seschwar@user/seschwar)
2021-06-04 14:51:26 +0000allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-04 14:53:11 +0000geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 244 seconds)
2021-06-04 14:57:02 +0000allbery_bgeekosaur
2021-06-04 15:29:07 +0000Guest7213(~Guest7213@78.32.70.245) (Quit: Client closed)
2021-06-04 15:35:19 +0000benin03(~benin@183.82.207.15)
2021-06-04 15:47:22 +0000 <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 15:47:52 +0000 <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 15:55:01 +0000 <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 15:55:37 +0000 <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 15:55:49 +0000 <liskin> and I'm reasonably certain the code we ended up with works
2021-06-04 15:58:24 +0000benin03(~benin@183.82.207.15) (Remote host closed the connection)
2021-06-04 16:04:40 +0000 <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 16:04:49 +0000 <Solid> maybe I just wanted to use a filler word... :>
2021-06-04 16:07:18 +0000 <liskin> we might as well merge it though
2021-06-04 16:07:42 +0000 <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 16:08:00 +0000 <Solid> oh right, that wasn't done for the core so far
2021-06-04 16:08:04 +0000 <liskin> which would be nice but it might take a couple hours
2021-06-04 16:08:26 +0000 <liskin> and I'm very very close to the EWMH thing
2021-06-04 16:08:40 +0000 <liskin> so I should really not come close to any of that :-)
2021-06-04 16:09:12 +0000 <liskin> (and also I'm very close to the weekend :-/)
2021-06-04 16:10:10 +0000 <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 16:10:35 +0000 <liskin> phd study applications?
2021-06-04 16:10:56 +0000 <Solid> yes
2021-06-04 16:11:06 +0000 <liskin> good luck with those then :-)
2021-06-04 16:11:12 +0000 <Solid> thanks! :)
2021-06-04 16:11:40 +0000 <Solid> so many statements to write why I positively, definitely want exactly that position
2021-06-04 16:11:53 +0000 <liskin> :-D
2021-06-04 16:12:16 +0000 <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 16:12:19 +0000 <Solid> lots of fun :P
2021-06-04 16:13:04 +0000 <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 16:13:29 +0000 <liskin> yep, I'll keep that in mind
2021-06-04 16:13:49 +0000 <liskin> my shiny new xmonad-testing Makefile will help me make sure that I don't fuck it up
2021-06-04 16:15:03 +0000 <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 16:17:59 +0000 <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 16:18:37 +0000 <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 16:22:04 +0000 <Solid> I think it's partly to keep up appearances tbh
2021-06-04 16:23:15 +0000 <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 16:23:33 +0000 <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 16:23:50 +0000 <Solid> so they make it ultra-specific such that exactly one person fits the description of what they're looking for
2021-06-04 16:27:22 +0000 <liskin> sounds like the best way to play that game is to also get to be friends with the prof first
2021-06-04 16:28:10 +0000 <liskin> (a bit harder now in the pandemic though)
2021-06-04 16:29:04 +0000 <Solid> ah, the probem is when the prof you really want to work with doesn't have any money right now
2021-06-04 16:29:23 +0000 <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 16:29:50 +0000 <liskin> oh, money :-/
2021-06-04 16:30:18 +0000 <Solid> especially during the pandemic people aren't keen to spend lots of money on theoretical endeavours :(
2021-06-04 16:30:45 +0000 <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 16:32:24 +0000 <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 16:33:12 +0000 <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 16:34:28 +0000 <liskin> *student with special needs
2021-06-04 16:36:53 +0000MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Quit: node-irc says goodbye)
2021-06-04 16:36:53 +0000liskin[m](~liskinmat@2001:470:69fc:105::768) (Quit: node-irc says goodbye)
2021-06-04 16:36:53 +0000nihilipster[m](~nihilipst@2001:470:69fc:105::720) (Quit: node-irc says goodbye)
2021-06-04 16:36:53 +0000freopen(~freopenma@2001:470:69fc:105::256) (Quit: node-irc says goodbye)
2021-06-04 16:36:53 +0000ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (Quit: node-irc says goodbye)
2021-06-04 16:36:53 +0000aamermoquim[m](~aamermoqu@2001:470:69fc:105::a28) (Quit: node-irc says goodbye)
2021-06-04 16:36:53 +0000fabfianda[m](~fabfianda@2001:470:69fc:105::6db) (Quit: node-irc says goodbye)
2021-06-04 16:36:53 +0000yuu[m](~yuumatrix@2001:470:69fc:105::8a6) (Quit: node-irc says goodbye)
2021-06-04 16:36:53 +0000unclechu(~unclechu@2001:470:69fc:105::354) (Quit: node-irc says goodbye)
2021-06-04 16:36:53 +0000hjulle[m](~hjullemat@2001:470:69fc:105::1dd) (Quit: node-irc says goodbye)
2021-06-04 16:36:53 +0000Las[m](~lasmatrix@2001:470:69fc:105::74e) (Quit: node-irc says goodbye)
2021-06-04 16:36:53 +0000ElKowar[m](~elkowarma@2001:470:69fc:105::392) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000TomasJakl[m](~jaklttchn@2001:470:69fc:105::a42) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000Lehvak[m](~lehvakmat@2001:470:69fc:105::469) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000jgart[m](~jgartemat@2001:470:69fc:105::5c9) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000Daniel[m](~therealda@2001:470:69fc:105::740) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000lyiriyah[m](~lyiriyahm@2001:470:69fc:105::cc0) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000sibi(~psibimatr@2001:470:69fc:105::8ab) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000Jason[m](~jasonzemo@2001:470:69fc:105::a44) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000gate32[m](~gate32mat@2001:470:69fc:105::9e3) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000AunJaffery[m](~aunoxmatr@2001:470:69fc:105::a2d) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000CodeBitCookie[m](~code-bit-@2001:470:69fc:105::a2f) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000d9ny[m](~d9nymatri@2001:470:69fc:105::a30) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000dev[m](~devnetmat@2001:470:69fc:105::a33) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000dkasak[m](~dkasakter@2001:470:69fc:105::a34) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000dmytrokurch[m](~dmytrokur@2001:470:69fc:105::a35) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000egeas[m](~egeasasra@2001:470:69fc:105::a37) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000galambborong[m](~galambbor@2001:470:69fc:105::a39) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000gustavcedersjo[m(~gustavced@2001:470:69fc:105::a3b) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000jakub[m](~jakubfami@2001:470:69fc:105::a43) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000abhixec[m](~abhixecma@2001:470:69fc:105::a2a) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000AhmedAl-Hamed[m](~asalhamed@2001:470:69fc:105::a2c) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000antilambda[m](~antilambd@2001:470:69fc:105::a2b) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000By_JumperX4[m](~byjumperx@2001:470:69fc:105::a2e) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000Drishal[m](~drishalma@2001:470:69fc:105::a36) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000devnet[m](~devnet20m@2001:470:69fc:105::a32) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000EdwardTjrnhammar(~edwtjofai@2001:470:69fc:105::3cb) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000Dave[m](~davama1ma@2001:470:69fc:105::a31) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000fakecrafter[m](~fakecraft@2001:470:69fc:105::a38) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000hellquist[m](~hellquist@2001:470:69fc:105::a3c) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000globulis[m](~globulism@2001:470:69fc:105::a3a) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000iffsid[m](~iffsidmat@2001:470:69fc:105::a3e) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000kunrooted[m](~kunrooted@2001:470:69fc:105::a4a) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000indium[m](~indiummat@2001:470:69fc:105::a3f) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000instinctive[m](~instincti@2001:470:69fc:105::a40) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000jhuizy[m](~jhuizymat@2001:470:69fc:105::a45) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000josiah_sama[m](~josiahsam@2001:470:69fc:105::a46) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000justinrestivo[m](~justinres@2001:470:69fc:105::a47) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000krisfris[m](~krisfrism@2001:470:69fc:105::a49) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000lukebarnard[m](~lukebarna@2001:470:69fc:105::a4c) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000madjestic[m](~madjestic@2001:470:69fc:105::a4e) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000masse[m](~masserauh@2001:470:69fc:105::3bd) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000MerlinGttlinger[(~mgttlinge@2001:470:69fc:105::a4f) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000mishgun[m](~mishgunma@2001:470:69fc:105::a50) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000moyamo[m](~moyamomat@2001:470:69fc:105::a51) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000rosariopulella[m(~rosariopu@2001:470:69fc:105::a57) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000samhh[m](~samhhmatr@2001:470:69fc:105::a58) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000TheWizardTower[m(~thewizard@2001:470:69fc:105::a5b) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000triumphofdeath[m(~triumphof@2001:470:69fc:105::a5c) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000vyorkin[m](~vyorkinma@2001:470:69fc:105::a5e) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000YehoshuaPesachWa(~yehoshuap@2001:470:69fc:105::a5f) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000Liyang[m](~liyangmat@2001:470:69fc:105::a4b) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000Kidany[m](~kidanymat@2001:470:69fc:105::a48) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000pavelthebest[m](~paveltheb@2001:470:69fc:105::a52) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000maom[m](~lurpammat@2001:470:69fc:105::a4d) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000__[m](~quillaspm@2001:470:69fc:105::a55) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000Sam[m]1(~mmarvidfr@2001:470:69fc:105::3bf) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000pnotequalnp[m](~pnotequal@2001:470:69fc:105::a54) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000therivercass[m](~theriverc@2001:470:69fc:105::a5a) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000ph_0x17[m](~ph0x17mat@2001:470:69fc:105::a53) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000zpartacoos[m](~zpartacoo@2001:470:69fc:105::a60) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000sanuto[m](~sanutomat@2001:470:69fc:105::a59) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000mc47[m](~mc47matri@2001:470:69fc:105::733) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000issadarkthing[m](~issadarkt@2001:470:69fc:105::a41) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000ibizaman[m](~ibizamanm@2001:470:69fc:105::a3d) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000r0cket2510[m](~r0cket251@2001:470:69fc:105::e00) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Quit: node-irc says goodbye)
2021-06-04 16:36:54 +0000Industrial[m](~industria@2001:470:69fc:105::eb9) (Quit: node-irc says goodbye)
2021-06-04 16:37:16 +0000 <Solid> mh interesting
2021-06-04 16:37:48 +0000 <Solid> I think you have the option to start the phd completely pro bono and just pay for it yourself
2021-06-04 16:37:54 +0000 <Solid> (I don't have that money however)
2021-06-04 16:38:54 +0000freopen(~freopenma@2001:470:69fc:105::256)
2021-06-04 16:39:14 +0000 <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 16:39:25 +0000r0cket2510[m](~r0cket251@2001:470:69fc:105::e00)
2021-06-04 16:39:26 +0000ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-06-04 16:39:26 +0000MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-06-04 16:39:37 +0000aamermoquim[m](~aamermoqu@2001:470:69fc:105::a28)
2021-06-04 16:39:38 +0000lyiriyah[m](~lyiriyahm@2001:470:69fc:105::cc0)
2021-06-04 16:39:49 +0000abhixec[m](~abhixecma@2001:470:69fc:105::a2a)
2021-06-04 16:39:50 +0000VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2021-06-04 16:40:01 +0000antilambda[m](~antilambd@2001:470:69fc:105::a2b)
2021-06-04 16:40:02 +0000sibi(~psibimatr@2001:470:69fc:105::8ab)
2021-06-04 16:40:13 +0000AhmedAl-Hamed[m](~asalhamed@2001:470:69fc:105::a2c)
2021-06-04 16:40:25 +0000AunJaffery[m](~aunoxmatr@2001:470:69fc:105::a2d)
2021-06-04 16:40:37 +0000By_JumperX4[m](~byjumperx@2001:470:69fc:105::a2e)
2021-06-04 16:40:49 +0000CodeBitCookie[m](~code-bit-@2001:470:69fc:105::a2f)
2021-06-04 16:41:01 +0000d9ny[m](~d9nymatri@2001:470:69fc:105::a30)
2021-06-04 16:41:13 +0000Dave[m](~davama1ma@2001:470:69fc:105::a31)
2021-06-04 16:41:25 +0000devnet[m](~devnet20m@2001:470:69fc:105::a32)
2021-06-04 16:41:37 +0000dev[m](~devnetmat@2001:470:69fc:105::a33)
2021-06-04 16:41:49 +0000dkasak[m](~dkasakter@2001:470:69fc:105::a34)
2021-06-04 16:42:01 +0000dmytrokurch[m](~dmytrokur@2001:470:69fc:105::a35)
2021-06-04 16:42:13 +0000Drishal[m](~drishalma@2001:470:69fc:105::a36)
2021-06-04 16:42:25 +0000EdwardTjrnhammar(~edwtjofai@2001:470:69fc:105::3cb)
2021-06-04 16:42:37 +0000egeas[m](~egeasasra@2001:470:69fc:105::a37)
2021-06-04 16:42:37 +0000ElKowar[m](~elkowarma@2001:470:69fc:105::392)
2021-06-04 16:42:37 +0000fabfianda[m](~fabfianda@2001:470:69fc:105::6db)
2021-06-04 16:42:49 +0000fakecrafter[m](~fakecraft@2001:470:69fc:105::a38)
2021-06-04 16:43:02 +0000galambborong[m](~galambbor@2001:470:69fc:105::a39)
2021-06-04 16:43:14 +0000gate32[m](~gate32mat@2001:470:69fc:105::9e3)
2021-06-04 16:43:26 +0000globulis[m](~globulism@2001:470:69fc:105::a3a)
2021-06-04 16:43:38 +0000gustavcedersjo[m(~gustavced@2001:470:69fc:105::a3b)
2021-06-04 16:43:50 +0000hellquist[m](~hellquist@2001:470:69fc:105::a3c)
2021-06-04 16:43:50 +0000hjulle[m](~hjullemat@2001:470:69fc:105::1dd)
2021-06-04 16:44:03 +0000ibizaman[m](~ibizamanm@2001:470:69fc:105::a3d)
2021-06-04 16:44:15 +0000iffsid[m](~iffsidmat@2001:470:69fc:105::a3e)
2021-06-04 16:44:27 +0000TomasJakl[m](~jaklttchn@2001:470:69fc:105::a42)
2021-06-04 16:44:27 +0000Jason[m](~jasonzemo@2001:470:69fc:105::a44)
2021-06-04 16:44:27 +0000jgart[m](~jgartemat@2001:470:69fc:105::5c9)
2021-06-04 16:44:27 +0000indium[m](~indiummat@2001:470:69fc:105::a3f)
2021-06-04 16:44:28 +0000Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-06-04 16:44:28 +0000Lehvak[m](~lehvakmat@2001:470:69fc:105::469)
2021-06-04 16:44:28 +0000liskin[m](~liskinmat@2001:470:69fc:105::768)
2021-06-04 16:44:29 +0000nihilipster[m](~nihilipst@2001:470:69fc:105::720)
2021-06-04 16:44:30 +0000Daniel[m](~therealda@2001:470:69fc:105::740)
2021-06-04 16:44:30 +0000unclechu(~unclechu@2001:470:69fc:105::354)
2021-06-04 16:44:30 +0000yuu[m](~yuumatrix@2001:470:69fc:105::8a6)
2021-06-04 16:44:39 +0000jakub[m](~jakubfami@2001:470:69fc:105::a43)
2021-06-04 16:44:39 +0000instinctive[m](~instincti@2001:470:69fc:105::a40)
2021-06-04 16:44:39 +0000issadarkthing[m](~issadarkt@2001:470:69fc:105::a41)
2021-06-04 16:44:39 +0000jhuizy[m](~jhuizymat@2001:470:69fc:105::a45)
2021-06-04 16:44:39 +0000josiah_sama[m](~josiahsam@2001:470:69fc:105::a46)
2021-06-04 16:44:39 +0000justinrestivo[m](~justinres@2001:470:69fc:105::a47)
2021-06-04 16:44:39 +0000Kidany[m](~kidanymat@2001:470:69fc:105::a48)
2021-06-04 16:44:40 +0000Liyang[m](~liyangmat@2001:470:69fc:105::a4b)
2021-06-04 16:44:40 +0000lukebarnard[m](~lukebarna@2001:470:69fc:105::a4c)
2021-06-04 16:44:40 +0000madjestic[m](~madjestic@2001:470:69fc:105::a4e)
2021-06-04 16:44:40 +0000krisfris[m](~krisfrism@2001:470:69fc:105::a49)
2021-06-04 16:44:40 +0000kunrooted[m](~kunrooted@2001:470:69fc:105::a4a)
2021-06-04 16:44:40 +0000maom[m](~lurpammat@2001:470:69fc:105::a4d)
2021-06-04 16:44:40 +0000masse[m](~masserauh@2001:470:69fc:105::3bd)
2021-06-04 16:44:40 +0000MerlinGttlinger[(~mgttlinge@2001:470:69fc:105::a4f)
2021-06-04 16:44:40 +0000mishgun[m](~mishgunma@2001:470:69fc:105::a50)
2021-06-04 16:44:41 +0000moyamo[m](~moyamomat@2001:470:69fc:105::a51)
2021-06-04 16:44:41 +0000ph_0x17[m](~ph0x17mat@2001:470:69fc:105::a53)
2021-06-04 16:44:41 +0000pnotequalnp[m](~pnotequal@2001:470:69fc:105::a54)
2021-06-04 16:44:41 +0000rosariopulella[m(~rosariopu@2001:470:69fc:105::a57)
2021-06-04 16:44:41 +0000Sam[m]1(~mmarvidfr@2001:470:69fc:105::3bf)
2021-06-04 16:44:41 +0000pavelthebest[m](~paveltheb@2001:470:69fc:105::a52)
2021-06-04 16:44:41 +0000__[m](~quillaspm@2001:470:69fc:105::a55)
2021-06-04 16:44:41 +0000samhh[m](~samhhmatr@2001:470:69fc:105::a58)
2021-06-04 16:44:42 +0000sanuto[m](~sanutomat@2001:470:69fc:105::a59)
2021-06-04 16:44:42 +0000therivercass[m](~theriverc@2001:470:69fc:105::a5a)
2021-06-04 16:44:42 +0000triumphofdeath[m(~triumphof@2001:470:69fc:105::a5c)
2021-06-04 16:44:42 +0000mc47[m](~mc47matri@2001:470:69fc:105::733)
2021-06-04 16:44:42 +0000TheWizardTower[m(~thewizard@2001:470:69fc:105::a5b)
2021-06-04 16:44:42 +0000vyorkin[m](~vyorkinma@2001:470:69fc:105::a5e)
2021-06-04 16:44:42 +0000YehoshuaPesachWa(~yehoshuap@2001:470:69fc:105::a5f)
2021-06-04 16:44:42 +0000zpartacoos[m](~zpartacoo@2001:470:69fc:105::a60)
2021-06-04 16:44:42 +0000Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-06-04 16:44:43 +0000Industrial[m](~industria@2001:470:69fc:105::eb9)
2021-06-04 17:29:01 +0000 <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 17:29:27 +0000 <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 17:29:46 +0000 <liskin> the former might be fun
2021-06-04 17:34:12 +0000a6a45081-2b83(~aditya@106.212.70.132)
2021-06-04 17:57:16 +0000 <Solid> I think that would be nice yeah
2021-06-04 17:57:30 +0000 <Solid> there are a surprising number of people who are on the git version(s)
2021-06-04 17:58:45 +0000 <Solid> I don't really mind concerning the numbering
2021-06-04 17:58:48 +0000 <Solid> numbers are evil anyways :)
2021-06-04 17:59:09 +0000 <liskin> what do mathematicians use instead of numbers these days?
2021-06-04 17:59:33 +0000 <Solid> categories of course!
2021-06-04 18:00:16 +0000 <Solid> you can get through a graduate course in mathematics with just the numbers 1-10 ez :P
2021-06-04 18:01:17 +0000 <liskin> is that why Haskell PVP uses two components for the major version instead of just one like SemVer?
2021-06-04 18:03:40 +0000 <Solid> that would be pretty funny
2021-06-04 18:05:11 +0000frosch03(~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b)
2021-06-04 18:05:34 +0000 <liskin> okay so we're at four nines now
2021-06-04 18:05:58 +0000 <liskin> and the xmonad 0.17 board is looking really good
2021-06-04 18:06:05 +0000 <liskin> this was a good week :-)
2021-06-04 18:07:34 +0000 <Solid> oh wow
2021-06-04 18:07:37 +0000 <Solid> almost done! :)
2021-06-04 18:11:15 +0000 <liskin> yeah, just the EWMH stuff
2021-06-04 18:12:41 +0000 <liskin> and the various docs
2021-06-04 18:17:54 +0000 <liskin> oh, and deprecations!
2021-06-04 18:18:21 +0000 <liskin> I'd really like to make deprecation warnings visible before the release
2021-06-04 18:21:00 +0000 <Solid> oh right
2021-06-04 18:21:12 +0000 <Solid> we still need to decide what to do with that
2021-06-04 19:03:18 +0000frosch03(~user@2a02:8070:7ab:1b00:397e:4353:be62:b47b) (Ping timeout: 264 seconds)
2021-06-04 19:16:51 +0000a6a45081-2b83(~aditya@106.212.70.132) (Quit: Konversation terminated!)
2021-06-04 19:51:09 +0000 <davve> shouldnt xmonad be bumped to 1.x? seems pretty stable to me :P
2021-06-04 21:20:13 +0000Guest39(~Guest39@124.40.244.150)
2021-06-04 21:24:17 +0000vrs(~vrs@user/vrs) (Ping timeout: 252 seconds)
2021-06-04 21:42:06 +0000Guest39(~Guest39@124.40.244.150) (Ping timeout: 250 seconds)
2021-06-04 21:50:50 +0000wonko(~wjc@62.115.229.50) (Ping timeout: 272 seconds)
2021-06-04 22:03:53 +0000 <liskin> mc47: I've made the leap to dynamicSBs https://github.com/liskin/dotfiles/commit/168775b0fcfb6f8d1c2191e7b868e5b636988401?w=1 :-)
2021-06-04 22:05:15 +0000 <liskin> mc47: if you ever see xmobar not getting killed, try this: https://github.com/liskin/xmonad-contrib/commit/80918a1488a3323cb54e1853c0030eec347c16d6
2021-06-04 22:05:41 +0000 <liskin> I don't really know why it happens, but it used to happen here like once a week or something :-/
2021-06-04 22:11:34 +0000geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2021-06-04 22:12:24 +0000geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-04 22:16:13 +0000 <mc47> liskin that's awesome \o/
2021-06-04 22:16:21 +0000 <mc47> It has been a pretty good week tbh, kudos
2021-06-04 22:17:13 +0000 <mc47> I never had the xmobar problem though, it's pretty odd that you have it
2021-06-04 22:17:43 +0000 <liskin> it is indeed
2021-06-04 22:18:03 +0000 <liskin> more so that I didn't have it for like 5 years
2021-06-04 22:18:14 +0000 <liskin> or I don't know how long I had those dynamic bars
2021-06-04 22:18:29 +0000 <liskin> and then suddenly one week it started happening
2021-06-04 22:24:03 +0000 <mc47> at least it's cool that you can hide the patch inside X.H.StatusBar
2021-06-04 22:25:12 +0000 <mc47> and I have to agree with davve, why didn't a 1.x version ever see the light?
2021-06-04 22:25:18 +0000 <mc47> is there even a versioning policy?
2021-06-04 22:28:53 +0000seschwar(~seschwar@user/seschwar) (Quit: :wq)
2021-06-04 22:29:00 +0000allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-04 22:29:04 +0000 <allbery_b> habit, I think. we could have gone 1.0 with the 0.9 release
2021-06-04 22:29:08 +0000 <liskin> xmonad governance in general is quite chaotic, so no, there's absolutely no versioning policy
2021-06-04 22:30:20 +0000geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 245 seconds)
2021-06-04 22:30:27 +0000 <liskin> I wonder why no one ever complained that the X11 library doesn't follow PVP
2021-06-04 22:30:39 +0000 <mc47> yeah, it's not like it's a pressing matter
2021-06-04 22:38:15 +0000allbery_bgeekosaur
2021-06-04 22:38:27 +0000 <geekosaur> I think there's like only one other consumer of X11
2021-06-04 22:42:43 +0000 <geekosaur> enh, packdeps/reverse claims there's a few more that aren't xmonad/xmobar-related
2021-06-04 23:01:13 +0000 <liskin> quite a few
2021-06-04 23:12:12 +0000 <geekosaur> many of the packages it brings up are things like X11-xft which then only have a few deps. and half the others are dead anyway (who uses bluetile?)
2021-06-04 23:17:33 +0000 <liskin> I used it last week :-)
2021-06-04 23:41:34 +0000mc47(~yecinem@89.246.239.190) (Remote host closed the connection)