Home liberachat/#xmonad: Logs Calendar

Logs: liberachat/#xmonad

←Prev  Next→
Page 1 .. 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 .. 1850
— 184,928 events total
2023-07-17 09:25:06 × ft quits (~ft@p508dbe50.dip0.t-ipconnect.de) (Quit: leaving)
2023-07-17 09:52:18 × Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2023-07-17 10:09:11 × redgloboli quits (~redglobol@user/redgloboli) (Quit: ...enter the matrix...)
2023-07-17 10:10:26 → redgloboli joins (~redglobol@user/redgloboli)
2023-07-17 11:03:06 → _qw joins (~eqw@31.134.178.99)
2023-07-17 13:03:40 → telser joins (~quassel@user/telser)
2023-07-17 13:17:00 <thyriaen> ah i found my issue
2023-07-17 13:17:14 → liskin[m] joins (~liskinmat@2001:470:69fc:105::768)
2023-07-17 13:17:26 <thyriaen> let's say my workspaces are in myWS as an array with 6 entries
2023-07-17 13:17:41 <thyriaen> i want to do a doShift "2"
2023-07-17 13:17:57 <thyriaen> but when i try to do doShift myWS[2] i get a type error
2023-07-17 13:18:00 → unclechu joins (~unclechu@2001:470:69fc:105::354)
2023-07-17 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?
2023-07-17 13:19:59 <thyriaen> what does !! do ?
2023-07-17 13:20:08 <geekosaur> :t (!!)
2023-07-17 13:20:09 <lambdabot> [a] -> Int -> a
2023-07-17 13:20:09 <thyriaen> pop an element twice ?
2023-07-17 13:20:33 <geekosaur> no
2023-07-17 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
2023-07-17 13:22:11 <geekosaur> we also have vectors which are in between
2023-07-17 13:23:15 <thyriaen> ok thanks
2023-07-17 13:23:44 <thyriaen> i really need to understand haskell properly
2023-07-17 13:23:56 <thyriaen> because at the moment i am just winging it and don't really
2023-07-17 13:24:00 <geekosaur> @where wikibook
2023-07-17 13:24:00 <lambdabot> http://en.wikibooks.org/wiki/Haskell
2023-07-17 13:24:05 <geekosaur> @where cis194
2023-07-17 13:24:05 <lambdabot> <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html>
2023-07-17 13:24:43 <geekosaur> and #haskell at your service on your journey 🙂
2023-07-17 13:26:12 <thyriaen> geekosaur, i did this cis course until 2 or 3
2023-07-17 13:26:18 <thyriaen> then life got in the way
2023-07-17 13:26:27 <thyriaen> thanks for reminding me -- gonna pick it up again
2023-07-17 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 🙂
2023-07-17 13:27:43 <thyriaen> i wish there were
2023-07-17 13:27:54 <thyriaen> my university doesn't have a haskell course unfortunately
2023-07-17 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
2023-07-17 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)
2023-07-17 13:33:05 <geekosaur> (I'm firmly on the side of "chuck it all and add row polymorphism")
2023-07-17 13:34:53 <thyriaen> what are records ?
2023-07-17 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
2023-07-17 13:38:31 <thyriaen> is a linked list a structure ?
2023-07-17 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)
2023-07-17 13:39:38 <geekosaur> in some sense, but not the sense usually intended here; it's a bunch of structures pointing to each other
2023-07-17 13:39:46 <thyriaen> geekosaur, i don't understand - i think we should continue this after i did the tutorial :p
2023-07-17 13:39:54 <thyriaen> ah ok
2023-07-17 13:40:30 <geekosaur> the core structure of a linked list is (:)
2023-07-17 13:40:48 <geekosaur> there's an item on one side and another linked list on the other
2023-07-17 13:40:58 <thyriaen> geekosaur, that one i know :p
2023-07-17 13:41:54 <geekosaur> right, that's part of why I started with it.
2023-07-17 13:42:00 <thyriaen> perfect
2023-07-17 13:42:07 <geekosaur> anyway it's a structure that holds two values
2023-07-17 13:42:15 <geekosaur> records hold multiple values
2023-07-17 13:42:36 <thyriaen> kinda like a struct in C ?
2023-07-17 13:45:34 <thyriaen> https://www.youtube.com/watch?v=OFzXaFbxDcM
2023-07-17 13:45:53 → Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2023-07-17 13:46:29 <geekosaur> almost exactly like a struct in C
2023-07-17 13:46:34 <thyriaen> ok
2023-07-17 13:46:35 <thyriaen> neat
2023-07-17 13:47:24 <geekosaur> we have 19 things in our config record, but you use the default (`def`) for most of them
2023-07-17 13:47:52 <thyriaen> yes i guess i use the default and then change certain entries
2023-07-17 13:49:58 <geekosaur> ("record update syntax")
2023-07-17 13:51:39 <thyriaen> ok
2023-07-17 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
2023-07-17 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
2023-07-17 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
2023-07-17 14:55:11 × _qw quits (~eqw@31.134.178.99) (Ping timeout: 264 seconds)
2023-07-17 14:56:49 → _qw joins (~eqw@31.134.178.99)
2023-07-17 16:27:20 × liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Remote host closed the connection)
2023-07-17 16:27:21 × unclechu quits (~unclechu@2001:470:69fc:105::354) (Remote host closed the connection)
2023-07-17 17:28:23 × thyriaen quits (~thyriaen@2a01:aea0:dd4:6659:6245:cbff:fe9f:48b1) (Quit: Leaving)
2023-07-17 18:29:17 × rundown quits (~defjam@90.211.252.220) (Ping timeout: 246 seconds)
2023-07-17 18:48:14 → rundown joins (~defjam@2a02:c7e:2807:b900:40dc:8f12:e31c:79a6)
2023-07-17 19:48:40 → ft joins (~ft@p508dbe50.dip0.t-ipconnect.de)
2023-07-17 21:02:55 <jabuxas> does anyone here use plasma with xmonad? i cant seem to enter edit mode
2023-07-17 21:03:10 → liskin[m] joins (~liskinmat@2001:470:69fc:105::768)
2023-07-17 21:03:25 → unclechu joins (~unclechu@2001:470:69fc:105::354)
2023-07-17 21:03:48 <geekosaur> is this https://github.com/xmonad/xmonad/issues/174 ?
2023-07-17 21:04:00 <geekosaur> or a different plasma?
2023-07-17 22:05:52 × hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 245 seconds)
2023-07-17 22:07:53 → hrberg joins (~quassel@171.79-160-161.customer.lyse.net)
2023-07-17 22:14:14 <jabuxas> that is exactly it
2023-07-17 22:14:22 <jabuxas> i'm trying to see how to apply the patch
2023-07-17 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
2023-07-17 22:17:08 <geekosaur> if you can't find an appropriate version, try pinging @hashborgir on the issue
2023-07-17 22:31:53 <jabuxas> managed to apply the patch, still cant enter edit mode, but the windows now work
2023-07-17 22:51:11 <geekosaur> 😞
2023-07-17 22:51:17 <geekosaur> wonder if they broke something else
2023-07-17 23:00:32 × mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 240 seconds)
2023-07-18 01:08:56 <jabuxas> to explain a bit better the issue, when I click edit, it does go into edit mode, but as soon as my cursor touches the bar, it kicks me out of edit mode
2023-07-18 01:32:56 × ft quits (~ft@p508dbe50.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-07-18 01:34:58 → ft joins (~ft@p3e9bc856.dip0.t-ipconnect.de)
2023-07-18 02:28:38 × td_ quits (~td@i53870921.versanet.de) (Ping timeout: 272 seconds)
2023-07-18 02:30:02 → td_ joins (~td@i53870919.versanet.de)
2023-07-18 03:02:53 × vetu_ quits (~vetu@91-156-31-97.elisa-laajakaista.fi) (Read error: Connection reset by peer)
2023-07-18 03:02:58 → vetu joins (~vetu@91-156-31-97.elisa-laajakaista.fi)
2023-07-18 05:47:10 → mncheck joins (~mncheck@193.224.205.254)
2023-07-18 07:36:16 <xmonadtrack> xmonad-contrib Tony Zorman * v0.17.1-161-g5b5a5178: ci/stack: Add lts-21 resolver (2 days ago, 1 file, 3+ 1-) https://github.com/xmonad/xmonad-contrib/commit/5b5a51787ce8
2023-07-18 07:36:17 <xmonadtrack> xmonad-contrib Tony Zorman * v0.17.1-162-g34b544b7: ci/cabal: Bump GHC versions (2 days ago, 2 files, 13+ 13-) https://github.com/xmonad/xmonad-contrib/commit/34b544b7a17b
2023-07-18 07:36:25 <xmonadtrack> xmonad-contrib Tony Zorman {GitHub} * v0.17.1-165-g7062b75e: Merge pull request #819 from slotThe/ci/bump (29 seconds ago, 0 files, 0+ 0-) https://github.com/xmonad/xmonad-contrib/commit/7062b75ea993
2023-07-18 07:41:21 <xmonadtrack> xmonad Tony Zorman * v0.17.2-61-g9138046: ci/stack: Add lts-21 resolver (2 days ago, 1 file, 1+ 0-) https://github.com/xmonad/xmonad/commit/9138046ec515
2023-07-18 07:41:22 <xmonadtrack> xmonad Tony Zorman * v0.17.2-62-g0932779: ci/cabal: Bump GHC versions (2 days ago, 2 files, 13+ 13-) https://github.com/xmonad/xmonad/commit/0932779f15c7
←Prev  Next→
Page 1 .. 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 .. 1850

All times are in UTC.