| 2021-06-27 00:24:32 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-27 00:25:56 +0200 | a6a45081-2b83 | (~aditya@106.214.225.112) (Quit: Konversation terminated!) |
| 2021-06-27 00:27:46 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-06-27 00:42:44 +0200 | seschwar | (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-06-27 01:46:12 +0200 | Sebz | (~austin@cpe-173-88-17-234.columbus.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-06-27 01:48:10 +0200 | Sebz | (~austin@cpe-173-88-17-234.columbus.res.rr.com) |
| 2021-06-27 03:50:43 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 246 seconds) |
| 2021-06-27 03:51:48 +0200 | berberman | (~berberman@user/berberman) |
| 2021-06-27 04:03:45 +0200 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 244 seconds) |
| 2021-06-27 04:22:14 +0200 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2021-06-27 04:50:46 +0200 | td_ | (~td@muedsl-82-207-238-164.citykom.de) (Ping timeout: 244 seconds) |
| 2021-06-27 04:52:41 +0200 | td_ | (~td@94.134.91.75) |
| 2021-06-27 04:57:34 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-27 04:57:44 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-06-27 05:03:30 +0200 | coldpress | (~coldpress@128.9.105.34.bc.googleusercontent.com) (Ping timeout: 240 seconds) |
| 2021-06-27 05:12:06 +0200 | coldpress | (~coldpress@128.9.105.34.bc.googleusercontent.com) |
| 2021-06-27 06:17:59 +0200 | Sebz | (~austin@cpe-173-88-17-234.columbus.res.rr.com) (Quit: Lost terminal) |
| 2021-06-27 07:27:22 +0200 | thunderrd | (~thunderrd@183.182.114.206) (Read error: Connection reset by peer) |
| 2021-06-27 07:27:53 +0200 | thunderrd | (~thunderrd@183.182.114.206) |
| 2021-06-27 09:35:25 +0200 | a6a45081-2b83 | (~aditya@122.163.205.132) |
| 2021-06-27 09:40:42 +0200 | a6a45081-2b83 | (~aditya@122.163.205.132) (Quit: Konversation terminated!) |
| 2021-06-27 10:17:52 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-06-27 10:17:54 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-06-27 10:48:53 +0200 | dmwit | (~dmwit@pool-96-255-233-247.washdc.fios.verizon.net) (*.net *.split) |
| 2021-06-27 10:48:53 +0200 | Eoco | (~ian@x-160-94-179-157.acm.umn.edu) (*.net *.split) |
| 2021-06-27 10:49:04 +0200 | dmwit | (~dmwit@pool-96-255-233-247.washdc.fios.verizon.net) |
| 2021-06-27 10:49:31 +0200 | Eoco | (~ian@x-160-94-179-157.acm.umn.edu) |
| 2021-06-27 11:14:18 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-06-27 11:18:12 +0200 | thunderrd | (~thunderrd@183.182.114.206) (Ping timeout: 252 seconds) |
| 2021-06-27 11:43:52 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 252 seconds) |
| 2021-06-27 11:53:32 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-27 11:53:52 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-06-27 12:10:59 +0200 | seschwar | (~seschwar@user/seschwar) |
| 2021-06-27 13:28:32 +0200 | <Solid> | these responses from the gnome-panel maintainer rub me the wrong way somehow |
| 2021-06-27 13:35:42 +0200 | <liskin> | that's kind of expected, no? |
| 2021-06-27 13:36:42 +0200 | <liskin> | at least they're not telling us that we're utter fools who should've stopped supporting X11 years ago and joined their cult of forcing wayland upon users |
| 2021-06-27 13:37:42 +0200 | <liskin> | (which other gnome folks like Bastien would probably do if we were foolish enough to highlight them) |
| 2021-06-27 13:40:58 +0200 | <liskin> | anyway, the important thing is that we still have no idea what's the root cause, and if setting struts is not it, any further discussion about what struts gnome-panel sets is probably going to be unproductive |
| 2021-06-27 13:44:58 +0200 | <Solid> | Well, this is my first direct interaction with a gnome dev, so it's surprising to me :) |
| 2021-06-27 13:55:52 +0200 | tremon | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-06-27 14:06:47 +0200 | <liskin> | Oh :-) |
| 2021-06-27 14:17:31 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2021-06-27 14:44:53 +0200 | thunderrd | (~thunderrd@183.182.114.206) |
| 2021-06-27 15:00:10 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-06-27 15:32:54 +0200 | PotatoGim_ | (sid99505@id-99505.tooting.irccloud.com) () |
| 2021-06-27 15:33:33 +0200 | PotatoGim | (sid99505@id-99505.tooting.irccloud.com) |
| 2021-06-27 16:55:44 +0200 | backleet | (~backleet@user/backleet) |
| 2021-06-27 17:02:16 +0200 | nomadx | (~lanomadx@208.91.67.103) |
| 2021-06-27 17:05:12 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) |
| 2021-06-27 17:07:17 +0200 | Guest50 | (~Guest50@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) |
| 2021-06-27 17:09:38 +0200 | <kenny1> | Hi everybody! This is uh my first time on the #xmonad IRC channel, but the rest of the comunity has been pretty pleasant so I thought I'd give it a go |
| 2021-06-27 17:10:19 +0200 | Guest50 | (~Guest50@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (Client Quit) |
| 2021-06-27 17:10:37 +0200 | <Solid> | hi :) |
| 2021-06-27 17:11:17 +0200 | <kenny1> | how long have you been on xmonad? |
| 2021-06-27 17:12:05 +0200 | <Solid> | my config says "First Edit: 28jun2019" and git history only goes back that far, so around that time I think |
| 2021-06-27 17:12:59 +0200 | <kenny1> | Oh wow that's uhhhhhh I can't math, but at least a little while |
| 2021-06-27 17:13:13 +0200 | <nomadx> | god those were the days |
| 2021-06-27 17:13:16 +0200 | <nomadx> | pre covid |
| 2021-06-27 17:13:20 +0200 | <nomadx> | wife still loved me etc |
| 2021-06-27 17:13:36 +0200 | <Solid> | well in comparison to other devs it's not a long time at all :P |
| 2021-06-27 17:13:48 +0200 | <kenny1> | maybe she still does? |
| 2021-06-27 17:13:53 +0200 | <Solid> | some people around here have been using xmonad for over 10 years or so |
| 2021-06-27 17:14:03 +0200 | <kenny1> | oh lord that's a long time |
| 2021-06-27 17:14:19 +0200 | <kenny1> | Is it ever possible to truly learn haskell? |
| 2021-06-27 17:14:26 +0200 | <kenny1> | I feel like they might know |
| 2021-06-27 17:14:51 +0200 | <Solid> | hah, sure |
| 2021-06-27 17:15:01 +0200 | <Solid> | haskell is not as foreign as some people make it out to be (at least imo) |
| 2021-06-27 17:15:32 +0200 | <kenny1> | I mean I'm starting to wrap my mind around it |
| 2021-06-27 17:16:14 +0200 | <kenny1> | just what is it really used for? I heard facebook's spam filter uses it |
| 2021-06-27 17:18:06 +0200 | <Solid> | Lots of companies use it; I think the original creators of xmonad got swallowed by banks |
| 2021-06-27 17:18:37 +0200 | <kenny1> | What do you mean? |
| 2021-06-27 17:18:40 +0200 | <kenny1> | by the bank thing |
| 2021-06-27 17:19:42 +0200 | <geekosaur> | haskell is heavily used in finance. but anyone who gets hired by a bank to do haskell ends up signing an nda that effectively prohibits their working with it outside the bank |
| 2021-06-27 17:20:01 +0200 | <Solid> | ^ |
| 2021-06-27 17:20:38 +0200 | <kenny1> | woah alright |
| 2021-06-27 17:20:53 +0200 | <kenny1> | you learn something new every day huh |
| 2021-06-27 17:21:11 +0200 | nomadx | (~lanomadx@208.91.67.103) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-27 17:21:26 +0200 | nomadxx3 | (~lanomadx@208.91.67.103) |
| 2021-06-27 17:21:52 +0200 | nomadxx3 | nomadx |
| 2021-06-27 17:24:14 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (Quit: WeeChat 3.2) |
| 2021-06-27 17:26:04 +0200 | liskin | thinks he'll never truly learn Haskell :-/ |
| 2021-06-27 17:26:49 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) |
| 2021-06-27 17:27:07 +0200 | <liskin> | ekmett's packages full of category theory stuff may just be beyond the capabilities of my brain |
| 2021-06-27 17:27:35 +0200 | <Solid> | that's probably mostly you not having the category theory background |
| 2021-06-27 17:27:53 +0200 | <Solid> | (and the fact that these have almost no docs :>) |
| 2021-06-27 17:28:22 +0200 | <liskin> | well I did try to get one :-) |
| 2021-06-27 17:30:08 +0200 | <liskin> | might have tried harder, perhaps made the mistake of not getting a background in set theory first, but it did feel more complex than all the other stuff at uni |
| 2021-06-27 17:30:56 +0200 | <Solid> | it does help to have a mathematics background in general |
| 2021-06-27 17:31:10 +0200 | <Solid> | because like all of the examples come from the rest of mathematics |
| 2021-06-27 17:31:53 +0200 | <Solid> | not necessarily set theory, just like a basic course in abstract algebra would probably help immensely |
| 2021-06-27 17:32:31 +0200 | <liskin> | I definitely did have algebra before that |
| 2021-06-27 17:33:28 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (Quit: WeeChat 3.2) |
| 2021-06-27 17:33:52 +0200 | <liskin> | actually ended up using lattices a lot at work |
| 2021-06-27 17:35:10 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) |
| 2021-06-27 17:35:14 +0200 | <Solid> | oh that's pretty cool |
| 2021-06-27 17:35:41 +0200 | <Solid> | I'm trying to remember what I knew back when I took my first category theory course |
| 2021-06-27 17:36:09 +0200 | <Solid> | but I think it was just a bit of group and ring theory, plus some differential geometry |
| 2021-06-27 17:36:25 +0200 | <Solid> | I had not taken a proper set theory/mathematical logic course at that point |
| 2021-06-27 17:37:36 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2021-06-27 17:38:41 +0200 | <liskin> | (we were building a language for analytical queries over databases so that people wouldn't need to care about the structure of tables and joins, the data model was a partial order/DAG, and then the lattice of antichains in that partial order was used for the types of query results) |
| 2021-06-27 17:39:35 +0200 | <liskin> | those were fun times |
| 2021-06-27 17:39:48 +0200 | <Solid> | kind of a bummer that lattices have fallen out of fashion nowadays |
| 2021-06-27 17:39:52 +0200 | <Solid> | not many people studying them anymore |
| 2021-06-27 17:40:25 +0200 | <liskin> | we had a prototype impl in Haskell that I somehow managed to compile for arm and run on the Nokia N900 |
| 2021-06-27 17:40:40 +0200 | <Solid> | what? :D |
| 2021-06-27 17:40:56 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (WeeChat 3.2) |
| 2021-06-27 17:41:03 +0200 | <liskin> | that thing had a 256M RAM and 768M swap |
| 2021-06-27 17:41:19 +0200 | <liskin> | but I think the build involved qemu and a lot more swap :-) |
| 2021-06-27 17:41:41 +0200 | <liskin> | that running on phone thing was done just for shit and giggles |
| 2021-06-27 17:41:50 +0200 | <Solid> | that is absolutely amazing |
| 2021-06-27 17:42:21 +0200 | <liskin> | and to show everyone that a simple implementation can run faster than the old production code with mysql that we were replacing |
| 2021-06-27 17:43:38 +0200 | <liskin> | the prototype ended up being useful for testing as well |
| 2021-06-27 17:44:14 +0200 | <liskin> | I had a quickcheck property that would generate a random query and compute it once using the prototype, and once using a shell script that invoked the prod impl in perl/erlang and run the queries on postgres |
| 2021-06-27 17:44:33 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) |
| 2021-06-27 17:44:34 +0200 | <liskin> | it was slow but it would catch most of the corner cases in hours |
| 2021-06-27 17:45:13 +0200 | <liskin> | (the new prod impl, the old one was perl only and we didn't really attempt a bug-for-bug rewrite) |
| 2021-06-27 18:03:02 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-06-27 18:03:38 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Client Quit) |
| 2021-06-27 18:09:07 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (Ping timeout: 268 seconds) |
| 2021-06-27 18:17:49 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-06-27 18:18:32 +0200 | nomadx | (~lanomadx@208.91.67.103) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-27 18:19:55 +0200 | nomadxx3 | (~lanomadx@208.91.67.103) |
| 2021-06-27 18:22:01 +0200 | nomadxx3 | nomadx |
| 2021-06-27 18:38:56 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) |
| 2021-06-27 18:58:21 +0200 | backleet | (~backleet@user/backleet) (Ping timeout: 265 seconds) |
| 2021-06-27 19:05:03 +0200 | backleet | (~backleet@user/backleet) |
| 2021-06-27 19:46:53 +0200 | <k8[m]> | <liskin "ekmett's packages full of catego"> who is ekmettš¤ |
| 2021-06-27 19:49:45 +0200 | <Solid> | the guy who wrote half of hackage's libraries :) |
| 2021-06-27 19:54:56 +0200 | <k8[m]> | hahah I was about to say I looked the hackage page in awe: https://hackage.haskell.org/user/EdwardKmett |
| 2021-06-27 20:01:25 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (Ping timeout: 250 seconds) |
| 2021-06-27 20:23:47 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) |
| 2021-06-27 20:31:05 +0200 | backleet | (~backleet@user/backleet) (Ping timeout: 258 seconds) |
| 2021-06-27 20:39:32 +0200 | meowray | (~MaskRay@user/meowray) |
| 2021-06-27 20:40:13 +0200 | <meowray> | weird, no layout works. all windows occupy the whole screen space. the same config works fine on another machine |
| 2021-06-27 20:43:49 +0200 | kenny1 | (~kenny@2604:2d80:de02:ee00:80b7:368b:47e:a5ff) (Quit: WeeChat 3.2) |
| 2021-06-27 20:53:50 +0200 | <geekosaur> | @where paste |
| 2021-06-27 20:53:51 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-06-27 20:54:35 +0200 | <meowray> | i even tried a minimal config. no layout - every window occupies the whole space. i even copied the good "xmonad" executable from that working machine - no luck |
| 2021-06-27 20:57:34 +0200 | <geekosaur> | that's odd. any messages in the session error log? (usually something like ~/.xsession-errors, or for startx it'll be the original vt) |
| 2021-06-27 20:58:24 +0200 | <geekosaur> | going Full like that usually mean an exception occurred while processing the layout, but that usually requires something like a font-using layout and the default config doesn't use one |
| 2021-06-27 20:59:57 +0200 | <meowray> | no ~/.xsession-errors ; my xmonad.hs has xmobar and xmobar displays, but all windows occupy the full space thus shadow the xmobar at the bottom. |
| 2021-06-27 21:00:25 +0200 | <meowray> | "mean an exception occurred while processing the layout" - i guess this is what happened to me... |
| 2021-06-27 21:04:22 +0200 | <geekosaur> | default config will do that, and if there's only one window a layout will often behave like Full anyway. you need `docks` from xmonad-config for docks to show |
| 2021-06-27 21:27:03 +0200 | a6a45081-2b83 | (~aditya@122.163.205.132) |
| 2021-06-27 21:31:03 +0200 | sagax | (~sagax@213.138.71.146) (Remote host closed the connection) |
| 2021-06-27 21:40:39 +0200 | amir | (sid22336@user/amir) |
| 2021-06-27 21:57:33 +0200 | a6a45081-2b83 | (~aditya@122.163.205.132) (Remote host closed the connection) |