Logs: liberachat/#xmonad
| 2021-06-04 12:12:23 | → | Industrial[m] joins (~industria@2001:470:69fc:105::eb9) |
| 2021-06-04 12:37:18 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (Quit: leaving) |
| 2021-06-04 12:37:36 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
| 2021-06-04 12:39:50 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 272 seconds) |
| 2021-06-04 12:40:09 | → | berberman joins (~berberman@user/berberman) |
| 2021-06-04 13:26:29 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-04 14:40:11 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-06-04 14:51:26 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-04 14:53:11 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 244 seconds) |
| 2021-06-04 14:57:02 | allbery_b | is now known as geekosaur |
| 2021-06-04 15:29:07 | × | Guest7213 quits (~Guest7213@78.32.70.245) (Quit: Client closed) |
| 2021-06-04 15:35:19 | → | benin03 joins (~benin@183.82.207.15) |
| 2021-06-04 15:47:22 | <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 | <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 | <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 | <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 | <liskin> | and I'm reasonably certain the code we ended up with works |
| 2021-06-04 15:58:24 | × | benin03 quits (~benin@183.82.207.15) (Remote host closed the connection) |
| 2021-06-04 16:04:40 | <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 | <Solid> | maybe I just wanted to use a filler word... :> |
| 2021-06-04 16:07:18 | <liskin> | we might as well merge it though |
| 2021-06-04 16:07:42 | <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 | <Solid> | oh right, that wasn't done for the core so far |
| 2021-06-04 16:08:04 | <liskin> | which would be nice but it might take a couple hours |
| 2021-06-04 16:08:26 | <liskin> | and I'm very very close to the EWMH thing |
| 2021-06-04 16:08:40 | <liskin> | so I should really not come close to any of that :-) |
| 2021-06-04 16:09:12 | <liskin> | (and also I'm very close to the weekend :-/) |
| 2021-06-04 16:10:10 | <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 | <liskin> | phd study applications? |
| 2021-06-04 16:10:56 | <Solid> | yes |
| 2021-06-04 16:11:06 | <liskin> | good luck with those then :-) |
| 2021-06-04 16:11:12 | <Solid> | thanks! :) |
| 2021-06-04 16:11:40 | <Solid> | so many statements to write why I positively, definitely want exactly that position |
| 2021-06-04 16:11:53 | <liskin> | :-D |
| 2021-06-04 16:12:16 | <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 | <Solid> | lots of fun :P |
| 2021-06-04 16:13:04 | <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 | <liskin> | yep, I'll keep that in mind |
| 2021-06-04 16:13:49 | <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 | <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 | <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 | <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 | <Solid> | I think it's partly to keep up appearances tbh |
| 2021-06-04 16:23:15 | <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 | <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 | <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 | <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 | <liskin> | (a bit harder now in the pandemic though) |
| 2021-06-04 16:29:04 | <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 | <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 | <liskin> | oh, money :-/ |
| 2021-06-04 16:30:18 | <Solid> | especially during the pandemic people aren't keen to spend lots of money on theoretical endeavours :( |
| 2021-06-04 16:30:45 | <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 | <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 | <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 | <liskin> | *student with special needs |
| 2021-06-04 16:36:53 | × | MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:53 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:53 | × | nihilipster[m] quits (~nihilipst@2001:470:69fc:105::720) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:53 | × | freopen quits (~freopenma@2001:470:69fc:105::256) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:53 | × | ServerStatsDisco quits (~serversta@2001:470:69fc:105::1a) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:53 | × | aamermoquim[m] quits (~aamermoqu@2001:470:69fc:105::a28) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:53 | × | fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:53 | × | yuu[m] quits (~yuumatrix@2001:470:69fc:105::8a6) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:53 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:53 | × | hjulle[m] quits (~hjullemat@2001:470:69fc:105::1dd) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:53 | × | Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:53 | × | ElKowar[m] quits (~elkowarma@2001:470:69fc:105::392) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | TomasJakl[m] quits (~jaklttchn@2001:470:69fc:105::a42) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | Lehvak[m] quits (~lehvakmat@2001:470:69fc:105::469) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | jgart[m] quits (~jgartemat@2001:470:69fc:105::5c9) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | Daniel[m] quits (~therealda@2001:470:69fc:105::740) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | lyiriyah[m] quits (~lyiriyahm@2001:470:69fc:105::cc0) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | VarikValefor[m] quits (~varikvale@2001:470:69fc:105::a5d) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | sibi quits (~psibimatr@2001:470:69fc:105::8ab) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | Jason[m] quits (~jasonzemo@2001:470:69fc:105::a44) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | gate32[m] quits (~gate32mat@2001:470:69fc:105::9e3) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | AunJaffery[m] quits (~aunoxmatr@2001:470:69fc:105::a2d) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | CodeBitCookie[m] quits (~code-bit-@2001:470:69fc:105::a2f) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | d9ny[m] quits (~d9nymatri@2001:470:69fc:105::a30) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | dev[m] quits (~devnetmat@2001:470:69fc:105::a33) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | dkasak[m] quits (~dkasakter@2001:470:69fc:105::a34) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | dmytrokurch[m] quits (~dmytrokur@2001:470:69fc:105::a35) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | egeas[m] quits (~egeasasra@2001:470:69fc:105::a37) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | galambborong[m] quits (~galambbor@2001:470:69fc:105::a39) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | gustavcedersjo[m quits (~gustavced@2001:470:69fc:105::a3b) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | jakub[m] quits (~jakubfami@2001:470:69fc:105::a43) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | abhixec[m] quits (~abhixecma@2001:470:69fc:105::a2a) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | AhmedAl-Hamed[m] quits (~asalhamed@2001:470:69fc:105::a2c) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | antilambda[m] quits (~antilambd@2001:470:69fc:105::a2b) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | By_JumperX4[m] quits (~byjumperx@2001:470:69fc:105::a2e) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | Drishal[m] quits (~drishalma@2001:470:69fc:105::a36) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | devnet[m] quits (~devnet20m@2001:470:69fc:105::a32) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | EdwardTjrnhammar quits (~edwtjofai@2001:470:69fc:105::3cb) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | Dave[m] quits (~davama1ma@2001:470:69fc:105::a31) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | fakecrafter[m] quits (~fakecraft@2001:470:69fc:105::a38) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | hellquist[m] quits (~hellquist@2001:470:69fc:105::a3c) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | globulis[m] quits (~globulism@2001:470:69fc:105::a3a) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | iffsid[m] quits (~iffsidmat@2001:470:69fc:105::a3e) (Quit: node-irc says goodbye) |
| 2021-06-04 16:36:54 | × | kunrooted[m] quits (~kunrooted@2001:470:69fc:105::a4a) (Quit: node-irc says goodbye) |
All times are in UTC.