Logs on 2023-07-17 (liberachat/#xmonad)
| 00:21:36 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:6659:269:41a:675c:ada3) (Remote host closed the connection) |
| 00:40:25 | × | rundown quits (~defjam@2a02:c7e:2807:b900:90c2:f728:4677:1e92) (Ping timeout: 240 seconds) |
| 00:42:02 | → | rundown joins (~defjam@90.211.252.220) |
| 01:48:22 | → | zawaken- joins (~zawaken@user/zawaken) |
| 01:49:11 | × | zawaken quits (~zawaken@user/zawaken) (Ping timeout: 260 seconds) |
| 01:51:33 | × | mudri quits (uid317655@id-317655.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:52:23 | → | zawaken joins (~zawaken@user/zawaken) |
| 01:52:58 | × | zawaken- quits (~zawaken@user/zawaken) (Ping timeout: 272 seconds) |
| 02:29:42 | × | td_ quits (~td@i53870936.versanet.de) (Ping timeout: 272 seconds) |
| 02:31:19 | → | td_ joins (~td@i53870921.versanet.de) |
| 03:08:58 | × | ft quits (~ft@p508db47d.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 03:10:34 | → | ft joins (~ft@p508dbe50.dip0.t-ipconnect.de) |
| 04:47:18 | <galactic_starfis> | <thyriaen> "i am confused, how so ?" <- I made a custom version of fullscreen that would in theory work for you |
| 04:47:36 | <galactic_starfis> | it should probably be updated to use the new emwh hookable stuff liskin worked on |
| 04:47:43 | <galactic_starfis> | but I made it before that was a thing |
| 04:48:01 | <galactic_starfis> | <galactic_starfis> "A while ago I setup a custom..." <- it's here, if you're interested |
| 04:48:17 | <galactic_starfis> | looking at the diff, it seems to be pretty similar code, so |
| 04:48:20 | <galactic_starfis> | ¯\_(ツ)_/¯ |
| 06:01:37 | → | mncheck joins (~mncheck@193.224.205.254) |
| 06:55:04 | <Solid> | ?tell thyriaen X.U.Hacks has some lowering functionality that you might find interesting |
| 06:55:05 | <lambdabot> | Consider it noted. |
| 07:23:06 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:6659:6245:cbff:fe9f:48b1) |
| 07:24:26 | <thyriaen> | for some reason automatic shifting of my windows stopped today |
| 07:25:43 | <thyriaen> | https://hastebin.de/edazamakum.lua |
| 08:14:04 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:6659:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 08:14:16 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:6659:6245:cbff:fe9f:48b1) |
| 08:31:55 | × | _qw_ quits (~eqw@31.134.178.99) (Ping timeout: 240 seconds) |
| 09:05:20 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Remote host closed the connection) |
| 09:08:00 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Remote host closed the connection) |
| 09:25:06 | × | ft quits (~ft@p508dbe50.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:52:18 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 10:09:11 | × | redgloboli quits (~redglobol@user/redgloboli) (Quit: ...enter the matrix...) |
| 10:10:26 | → | redgloboli joins (~redglobol@user/redgloboli) |
| 11:03:06 | → | _qw joins (~eqw@31.134.178.99) |
| 13:03:40 | → | telser joins (~quassel@user/telser) |
| 13:17:00 | <thyriaen> | ah i found my issue |
| 13:17:14 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 13:17:26 | <thyriaen> | let's say my workspaces are in myWS as an array with 6 entries |
| 13:17:41 | <thyriaen> | i want to do a doShift "2" |
| 13:17:57 | <thyriaen> | but when i try to do doShift myWS[2] i get a type error |
| 13:18:00 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 13:19:04 | <geekosaur> | (a) it's not an array, it's a linked list (b) that's not Haskell syntax, it's `(myWs !! 2)` (c) and wouldn't that be an off-by-one error since indexes start at 0, not 1? |
| 13:19:59 | <thyriaen> | what does !! do ? |
| 13:20:08 | <geekosaur> | :t (!!) |
| 13:20:09 | <lambdabot> | [a] -> Int -> a |
| 13:20:09 | <thyriaen> | pop an element twice ? |
| 13:20:33 | <geekosaur> | no |
| 13:21:59 | <geekosaur> | !! is list indexing, ! is array indexing. arrays are not lists, they're actually a somewhat specialized type; you probably don't want them unless you have fairly large arrays |
| 13:22:11 | <geekosaur> | we also have vectors which are in between |
| 13:23:15 | <thyriaen> | ok thanks |
| 13:23:44 | <thyriaen> | i really need to understand haskell properly |
| 13:23:56 | <thyriaen> | because at the moment i am just winging it and don't really |
| 13:24:00 | <geekosaur> | @where wikibook |
| 13:24:00 | <lambdabot> | http://en.wikibooks.org/wiki/Haskell |
| 13:24:05 | <geekosaur> | @where cis194 |
| 13:24:05 | <lambdabot> | <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html> |
| 13:24:43 | <geekosaur> | and #haskell at your service on your journey 🙂 |
| 13:26:12 | <thyriaen> | geekosaur, i did this cis course until 2 or 3 |
| 13:26:18 | <thyriaen> | then life got in the way |
| 13:26:27 | <thyriaen> | thanks for reminding me -- gonna pick it up again |
| 13:27:02 | <geekosaur> | there's no hurry, it's not like a prof is hovering over you grading your work with the final looming 🙂 |
| 13:27:43 | <thyriaen> | i wish there were |
| 13:27:54 | <thyriaen> | my university doesn't have a haskell course unfortunately |
| 13:28:29 | <thyriaen> | i love haskell because i am a pretty foundational person -- the reasoning behind everything has to be well reasoned that is the most important for me |
| 13:32:43 | <geekosaur> | I think core Haskell is mostly well reasoned (I have some issues with records) but the various extensions can be less so (including, sadly, most of the attempts to patch up records) |
| 13:33:05 | <geekosaur> | (I'm firmly on the side of "chuck it all and add row polymorphism") |
| 13:34:53 | <thyriaen> | what are records ? |
| 13:38:06 | <geekosaur> | structures containing values. you're using one when you configure xmonad, and they're good enough for that but not for serious data processing. https://github.com/xmonad/xmonad/blob/master/src/XMonad/Core.hs#L113-L142 |
| 13:38:31 | <thyriaen> | is a linked list a structure ? |
| 13:39:03 | <geekosaur> | row polymorphism lets you do things like build records incrementally without hacks like "higher kinded data" (which requires a type family or a lot of extra noise) |
| 13:39:38 | <geekosaur> | in some sense, but not the sense usually intended here; it's a bunch of structures pointing to each other |
| 13:39:46 | <thyriaen> | geekosaur, i don't understand - i think we should continue this after i did the tutorial :p |
| 13:39:54 | <thyriaen> | ah ok |
| 13:40:30 | <geekosaur> | the core structure of a linked list is (:) |
| 13:40:48 | <geekosaur> | there's an item on one side and another linked list on the other |
| 13:40:58 | <thyriaen> | geekosaur, that one i know :p |
| 13:41:54 | <geekosaur> | right, that's part of why I started with it. |
| 13:42:00 | <thyriaen> | perfect |
| 13:42:07 | <geekosaur> | anyway it's a structure that holds two values |
| 13:42:15 | <geekosaur> | records hold multiple values |
| 13:42:36 | <thyriaen> | kinda like a struct in C ? |
| 13:45:34 | <thyriaen> | https://www.youtube.com/watch?v=OFzXaFbxDcM |
| 13:45:53 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 13:46:29 | <geekosaur> | almost exactly like a struct in C |
| 13:46:34 | <thyriaen> | ok |
| 13:46:35 | <thyriaen> | neat |
| 13:47:24 | <geekosaur> | we have 19 things in our config record, but you use the default (`def`) for most of them |
| 13:47:52 | <thyriaen> | yes i guess i use the default and then change certain entries |
| 13:49:58 | <geekosaur> | ("record update syntax") |
| 13:51:39 | <thyriaen> | ok |
| 14:17:10 | <immibis> | Most Haskell types are like structs in C. Records are unique because the items have names, not just an order. That's what makes them |
| 14:18:04 | <immibis> | and therefore when you define a record it also makes functions with names that access each part of the record, and the names can't overlap between two records, and that's the stupid part of records and what they keep trying to fix |
| 14:21:53 | <immibis> | normal haskell structs just have an order, like how the linked list struct is a:b, a and b don't actually have names, it's something:something, and the way to get the first something is pattern matching along the lines of (variable:_) <- list |
| 14:55:11 | × | _qw quits (~eqw@31.134.178.99) (Ping timeout: 264 seconds) |
| 14:56:49 | → | _qw joins (~eqw@31.134.178.99) |
| 16:27:20 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Remote host closed the connection) |
| 16:27:21 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Remote host closed the connection) |
| 17:28:23 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:6659:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 18:29:17 | × | rundown quits (~defjam@90.211.252.220) (Ping timeout: 246 seconds) |
| 18:48:14 | → | rundown joins (~defjam@2a02:c7e:2807:b900:40dc:8f12:e31c:79a6) |
| 19:48:40 | → | ft joins (~ft@p508dbe50.dip0.t-ipconnect.de) |
| 21:02:55 | <jabuxas> | does anyone here use plasma with xmonad? i cant seem to enter edit mode |
| 21:03:10 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 21:03:25 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 21:03:48 | <geekosaur> | is this https://github.com/xmonad/xmonad/issues/174 ? |
| 21:04:00 | <geekosaur> | or a different plasma? |
| 22:05:52 | × | hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 245 seconds) |
| 22:07:53 | → | hrberg joins (~quassel@171.79-160-161.customer.lyse.net) |
| 22:14:14 | <jabuxas> | that is exactly it |
| 22:14:22 | <jabuxas> | i'm trying to see how to apply the patch |
| 22:15:25 | <geekosaur> | it's a patch to plasma, you need to retrieve the source package for plasma for your OS and apply the version of the patch corresponding to it |
| 22:17:08 | <geekosaur> | if you can't find an appropriate version, try pinging @hashborgir on the issue |
| 22:31:53 | <jabuxas> | managed to apply the patch, still cant enter edit mode, but the windows now work |
| 22:51:11 | <geekosaur> | 😞 |
| 22:51:17 | <geekosaur> | wonder if they broke something else |
| 23:00:32 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
All times are in UTC on 2023-07-17.