| 2022-04-12 00:34:09 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-12 00:55:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-12 00:57:08 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-12 01:07:25 +0200 | werneta | (~werneta@137.79.198.1) |
| 2022-04-12 02:07:40 +0200 | werneta | (~werneta@137.79.198.1) (Remote host closed the connection) |
| 2022-04-12 02:33:19 +0200 | twiclo | (~twiclo@mail.twil.cx) |
| 2022-04-12 02:42:05 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-04-12 02:52:14 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-12 03:05:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-12 03:19:23 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-12 04:03:04 +0200 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 248 seconds) |
| 2022-04-12 04:08:47 +0200 | noex | (~null@user/noex) (Ping timeout: 240 seconds) |
| 2022-04-12 04:10:06 +0200 | noex | (~null@user/noex) |
| 2022-04-12 04:25:49 +0200 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2022-04-12 04:30:55 +0200 | noex | (~null@user/noex) (Remote host closed the connection) |
| 2022-04-12 04:31:28 +0200 | noex | (~null@user/noex) |
| 2022-04-12 06:08:02 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-04-12 06:13:35 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-04-12 06:43:09 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 256 seconds) |
| 2022-04-12 06:44:44 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) |
| 2022-04-12 06:50:39 +0200 | Czernobog | (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-12 06:51:28 +0200 | Czernobog | (~Czernobog@user/czernobog) |
| 2022-04-12 06:54:29 +0200 | mohab | (~mohab@156.223.48.148) |
| 2022-04-12 06:54:38 +0200 | mohab | (~mohab@156.223.48.148) (Client Quit) |
| 2022-04-12 07:25:12 +0200 | noex | (~null@user/noex) (Ping timeout: 260 seconds) |
| 2022-04-12 07:25:46 +0200 | noex | (~null@user/noex) |
| 2022-04-12 07:32:10 +0200 | benin | (~benin@183.82.204.110) |
| 2022-04-12 07:47:21 +0200 | benin7 | (benin@gateway/vpn/protonvpn/benin) |
| 2022-04-12 07:48:27 +0200 | benin | (~benin@183.82.204.110) (Ping timeout: 240 seconds) |
| 2022-04-12 07:50:03 +0200 | benin | (benin@gateway/vpn/protonvpn/benin) |
| 2022-04-12 07:51:47 +0200 | benin7 | (benin@gateway/vpn/protonvpn/benin) (Ping timeout: 240 seconds) |
| 2022-04-12 07:58:22 +0200 | benin2 | (~benin@183.82.204.110) |
| 2022-04-12 08:00:07 +0200 | benin | (benin@gateway/vpn/protonvpn/benin) (Ping timeout: 240 seconds) |
| 2022-04-12 08:00:07 +0200 | benin2 | benin |
| 2022-04-12 08:00:21 +0200 | dschrempf | (~dominik@92-249-159-213.pool.digikabel.hu) |
| 2022-04-12 08:20:27 +0200 | dschrempf | (~dominik@92-249-159-213.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-04-12 08:42:40 +0200 | <amenonsen> | i'm trying out Actions.DynamicProjects, and i'm getting an error defining my keybinding to invoke switchProject: |
| 2022-04-12 08:42:55 +0200 | <amenonsen> | https://irc.toroid.org/file/2/MWmR0C0Z40Tj36HX |
| 2022-04-12 08:43:49 +0200 | <amenonsen> | I think i'm following the instructions at https://xmonad.github.io/xmonad-docs/xmonad-contrib/XMonad-Actions-DynamicProjects.html correctly, not that there's much to them. and i can't seem to find any examples of the use of DynamicProjects other than this page anyway. |
| 2022-04-12 08:46:14 +0200 | <amenonsen> | i wonder if this code was broken somehow by subsequent changes to mkXPromptWithModes (though i don't see exactly how that would be the case) |
| 2022-04-12 08:51:16 +0200 | <Solid> | the docs are just wrong |
| 2022-04-12 08:51:32 +0200 | <Solid> | it should at least be `switchProjectPrompt def` |
| 2022-04-12 08:51:56 +0200 | <Solid> | (or your prompt config instead of `def`, if you have one) |
| 2022-04-12 08:53:05 +0200 | <amenonsen> | i _just_ discovered that while reading the docs for xmonadPrompt from Prompt.XMonad |
| 2022-04-12 08:53:12 +0200 | <amenonsen> | and it works. |
| 2022-04-12 08:53:17 +0200 | <amenonsen> | thanks. |
| 2022-04-12 08:53:36 +0200 | <Solid> | I'll push a fix, thank for reporting this :) |
| 2022-04-12 08:53:49 +0200 | <amenonsen> | oh, cool, thanks. i was going to open a PR. |
| 2022-04-12 08:54:22 +0200 | <Solid> | oh, even better! |
| 2022-04-12 08:54:31 +0200 | <Solid> | I will hold off then and let you do that |
| 2022-04-12 08:57:41 +0200 | dschrempf | (~dominik@92-249-159-213.pool.digikabel.hu) |
| 2022-04-12 08:59:01 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-04-12 09:01:06 +0200 | <amenonsen> | done |
| 2022-04-12 09:15:48 +0200 | benin | (~benin@183.82.204.110) (Remote host closed the connection) |
| 2022-04-12 09:32:40 +0200 | dschrempf | (~dominik@92-249-159-213.pool.digikabel.hu) (Ping timeout: 248 seconds) |
| 2022-04-12 09:56:36 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-12 10:05:10 +0200 | dschrempf | (~dominik@92-249-159-213.pool.digikabel.hu) |
| 2022-04-12 10:09:23 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-12 10:26:37 +0200 | dschrempf | (~dominik@92-249-159-213.pool.digikabel.hu) (Quit: WeeChat 3.4.1) |
| 2022-04-12 10:43:05 +0200 | <amenonsen> | i'm going to read a haskell tutorial to understand a bit more basic syntax. |
| 2022-04-12 12:24:16 +0200 | <tdammers> | XMonad, the #1 gateway drug to Haskell, takes another victim |
| 2022-04-12 12:31:30 +0200 | Czernobog | (~Czernobog@user/czernobog) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-12 12:32:59 +0200 | defjam | (~eb0t@90.203.122.28) (Ping timeout: 252 seconds) |
| 2022-04-12 12:33:13 +0200 | Czernobog | (~Czernobog@user/czernobog) |
| 2022-04-12 12:34:46 +0200 | defjam | (~eb0t@90.194.37.234) |
| 2022-04-12 12:39:08 +0200 | <Solid> | always makes me feel warm and fuzzy inside |
| 2022-04-12 12:45:46 +0200 | <tdammers> | it's how I got sucked in, and now look at me, a veritable Haskell Consultant |
| 2022-04-12 12:47:11 +0200 | <thonoht[m]> | I went the other way :P XMonad being written in Haskell got me to run Linux |
| 2022-04-12 12:49:42 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
| 2022-04-12 12:50:34 +0200 | Solid | also went the other way around |
| 2022-04-12 12:51:24 +0200 | <Solid> | but I also got interetsed in Haskell because I really enjoyed a course on category theory that I took and someone absolutely blew my mind when they said "btw, you can actually apply this in computer science" to me |
| 2022-04-12 12:51:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-12 12:51:36 +0200 | <Solid> | so there's a history of going backwards there :P |
| 2022-04-12 12:52:51 +0200 | <thonoht[m]> | Haha that's slightly different for me . The FP course I followed in uni heavily pushed category theory before any programming which was really hard at the time, but then when I got to do programming in Haskell I really enjoyed it. |
| 2022-04-12 12:53:10 +0200 | <thonoht[m]> | Although I still only do recreational programming in Haskell |
| 2022-04-12 12:53:36 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-12 12:53:47 +0200 | <Solid> | indeed, I'm not a professional programmer either |
| 2022-04-12 12:54:06 +0200 | <Solid> | I guess having a background in maths makes my tajectory not so unusual |
| 2022-04-12 12:54:11 +0200 | <Solid> | s/ta/tra/ |
| 2022-04-12 12:54:18 +0200 | <thonoht[m]> | I am a professional programmer. And nowadays even functional, with Elm and F#, just not Haskell :P |
| 2022-04-12 12:54:33 +0200 | <Solid> | oh I see |
| 2022-04-12 12:55:23 +0200 | <thonoht[m]> | But writing a production scale webserver in F# with all of the OO libraries behind it is a lot less daunting than doing it all in Haskell I have to say, even if I technically understand most of the concepts used there (I think) |
| 2022-04-12 13:08:25 +0200 | liskin | thought that learning enough Haskell, politics and people skills to maintain xmonad would make getting a Haskell job easier but turns out that's not really the case :-/ |
| 2022-04-12 13:08:54 +0200 | <liskin> | On a bad day I might even be tempted to say that Haskell jobs suck :-) |
| 2022-04-12 13:09:11 +0200 | <thonoht[m]> | What's the problem then, I would assume it's not your skills |
| 2022-04-12 13:09:39 +0200 | <thonoht[m]> | * your skills? |
| 2022-04-12 13:11:14 +0200 | <tdammers> | Haskell on "not Linux" sounds painful |
| 2022-04-12 13:12:08 +0200 | <thonoht[m]> | As long as you're doing small toy projects it's perfectly doable on Windows |
| 2022-04-12 13:12:21 +0200 | <tdammers> | IME Haskell jobs don't suck any more or less than your average programming job; it's just that there is not a lot of them |
| 2022-04-12 13:12:48 +0200 | <thonoht[m]> | I've seen some remote offers come by the Haskell channel, but it appears to all be blockchain related |
| 2022-04-12 13:13:22 +0200 | <tdammers> | well yeah, crypto is currently probably the only industry with a fast-moving job market for haskell devs |
| 2022-04-12 13:13:54 +0200 | <tdammers> | haskell jobs in other fields exist, but they are smaller, slower moving, and often flying under the radar |
| 2022-04-12 13:14:34 +0200 | <davve> | its pretty popular with mathematicians |
| 2022-04-12 13:14:42 +0200 | <thonoht[m]> | I also wouldn't really know how to look for them, especially since I would like to stay local |
| 2022-04-12 13:15:26 +0200 | <tdammers> | if you're not into remote, then that's going to be a challenge |
| 2022-04-12 13:17:12 +0200 | <abastro[m]> | Uhm, what is popular with mathematics? |
| 2022-04-12 13:17:39 +0200 | <thonoht[m]> | Python, as far as I see :P |
| 2022-04-12 13:18:19 +0200 | <abastro[m]> | Yep |
| 2022-04-12 13:18:30 +0200 | <abastro[m]> | Tbh I don't know how it came to be like that even |
| 2022-04-12 13:19:15 +0200 | <thonoht[m]> | I do think with non-programmer mathematicians, the dynamic typing is quite popular. Also it's very accessible, being interpreted and all |
| 2022-04-12 13:19:34 +0200 | <tdammers> | Simple - Python has usable bindings for number-crunching libraries, and a reasonably intelligent person can learn it in 1-2 weeks. |
| 2022-04-12 13:19:46 +0200 | <liskin> | thonoht[m]: I don't know exactly what the problem is. Could be me, could be the jobs suck, could be random circumstances. |
| 2022-04-12 13:19:53 +0200 | <abastro[m]> | Hm yeah, accessible, right. |
| 2022-04-12 13:20:04 +0200 | <abastro[m]> | Well though, to be fair, most mathematicians won't ever touch programming in their entire life |
| 2022-04-12 13:20:12 +0200 | <abastro[m]> | Other than latex, that is. |
| 2022-04-12 13:20:42 +0200 | <abastro[m]> | (Most mathematicians doesn't need number crunching) |
| 2022-04-12 13:20:44 +0200 | <liskin> | And R and Matlab and... :-) |
| 2022-04-12 13:20:55 +0200 | <Solid> | most mathematicians are nerds and thus have at least minimal exposure to nerd stuff :P |
| 2022-04-12 13:21:02 +0200 | <abastro[m]> | M a t l a b sigh |
| 2022-04-12 13:21:14 +0200 | <abastro[m]> | Are they really nerds tho hmm |
| 2022-04-12 13:21:19 +0200 | <tdammers> | Also, for weird historical reasons, academia is largely still stuck in an imperative model of computation. I have worked with a mathematician once; she would develop a nice declarative mathematical theory, prove it all, and then turn it into an imperative algorithm, which I would then implement in Haskell. Of course that last step involved untangling the imperative loops and expressing it all in |
| 2022-04-12 13:21:21 +0200 | <tdammers> | terms of maps and folds and such... |
| 2022-04-12 13:21:25 +0200 | <thonoht[m]> | I would love to try an explain Haskell and its elegance to one of my mathematician friends one day, and see if I can convince them. But I'm afraid they won't really care |
| 2022-04-12 13:21:30 +0200 | <Solid> | I'm working in a very pure field and at least all PhD students know one or more programming languages |
| 2022-04-12 13:21:49 +0200 | <abastro[m]> | Mathematicians ofc won't care |
| 2022-04-12 13:21:50 +0200 | <tdammers> | but at least writing the code in Haskell made it easier for her to verify that it did in fact capture what the theory said |
| 2022-04-12 13:22:04 +0200 | <abastro[m]> | Oh, very pure field? |
| 2022-04-12 13:22:05 +0200 | <abastro[m]> | Hmmm |
| 2022-04-12 13:22:06 +0200 | <Solid> | many of the profs as well, though it's more spotty there (it may be a function of age :) |
| 2022-04-12 13:22:20 +0200 | <abastro[m]> | Well I mean, at least professors don't know programming :P |
| 2022-04-12 13:22:37 +0200 | <amenonsen> | do people in very pure fields find it hard to make any impact on the outside world? ;-) |
| 2022-04-12 13:22:47 +0200 | <abastro[m]> | Academia of CS is indeed stuck in imperative model I think |
| 2022-04-12 13:23:03 +0200 | <Solid> | amenonsen: we don't care so no, we don't find it very hard :D |
| 2022-04-12 13:23:11 +0200 | <abastro[m]> | Like, it has been dominant for so long years |
| 2022-04-12 13:23:20 +0200 | <abastro[m]> | Which pure field, btw? |
| 2022-04-12 13:24:12 +0200 | <Solid> | I do (applied) category theory (where the applied should be read as "lift ordinary maths into the categegorical language and then do cool stuff") |
| 2022-04-12 13:24:24 +0200 | <thonoht[m]> | Hey, I and some colleagues have introduced Elm and F# at our company. That was the easy step. But I imagine I could at least sneak Purescript in there at some point if I stay long enough. So to me it seems FP does seem to be getting some traction |
| 2022-04-12 13:24:54 +0200 | <abastro[m]> | Oh, applied category theory |
| 2022-04-12 13:25:10 +0200 | <abastro[m]> | Interesting, I guess the field would be closer to programming |
| 2022-04-12 13:25:20 +0200 | <amenonsen> | i'm familiar with functional programming from before, just not so much with haskell |
| 2022-04-12 13:25:32 +0200 | <Solid> | most of the colleagues do similar things or are into representation theory/Hopf algebras and their generalisations |
| 2022-04-12 13:25:48 +0200 | <abastro[m]> | I heard category theorist takes dedication to work in. |
| 2022-04-12 13:26:13 +0200 | <Solid> | just like any other field if you go deep enough, really |
| 2022-04-12 13:26:22 +0200 | <abastro[m]> | Like, e.g. there are not so many profs working on it |
| 2022-04-12 13:26:38 +0200 | <abastro[m]> | Well, a prof did say that it is going to be harder than other subfields |
| 2022-04-12 13:26:44 +0200 | <abastro[m]> | Because there are less ppl doing it |
| 2022-04-12 13:27:06 +0200 | <Solid> | less people also means more things to explore :) |
| 2022-04-12 13:27:24 +0200 | <abastro[m]> | Well yep, but you need to learn the subject first |
| 2022-04-12 13:27:28 +0200 | <Solid> | but really, any topic you could choose to do a PhD in will only have a handful of people who care about _exactly_ what you do |
| 2022-04-12 13:27:33 +0200 | <abastro[m]> | And that learning is harder |
| 2022-04-12 13:27:47 +0200 | <abastro[m]> | Well yeah, only handful would care indeed |
| 2022-04-12 13:27:49 +0200 | <Solid> | there are many good books introductory on the subject |
| 2022-04-12 13:27:56 +0200 | <Solid> | so it's really not a problem |
| 2022-04-12 13:28:24 +0200 | <abastro[m]> | I feel like Category theory introduction would not be enough |
| 2022-04-12 13:28:27 +0200 | <abastro[m]> | Or it isn't? |
| 2022-04-12 13:28:37 +0200 | <Solid> | you learn the rest by osmosis :> |
| 2022-04-12 13:28:49 +0200 | <Solid> | obviously your advisor will guide you to other resources |
| 2022-04-12 13:29:25 +0200 | <abastro[m]> | Wait, even though advisor is not majoring in CT? |
| 2022-04-12 13:29:48 +0200 | <abastro[m]> | So.. different subfiled but can still guide you? |
| 2022-04-12 13:30:28 +0200 | <Solid> | nono, they are also doing work in the field |
| 2022-04-12 13:30:32 +0200 | <Solid> | among other things |
| 2022-04-12 13:31:12 +0200 | <abastro[m]> | Yea, I mean searching for such ppl won't be easy |
| 2022-04-12 13:31:21 +0200 | <Solid> | most profs won't take you if you don't at least do something they are tangentially interested in (which is a good thing; you don't want a desinterested advisor) |
| 2022-04-12 13:31:37 +0200 | <abastro[m]> | Because doing CT is like doing lie group theory, I heard |
| 2022-04-12 13:31:50 +0200 | <Solid> | Well I didn't have very many problems (survivorship bias etc., I know) :] |
| 2022-04-12 13:32:12 +0200 | <abastro[m]> | Woah |
| 2022-04-12 13:32:30 +0200 | <abastro[m]> | It is true that many ppl don't do much CT, right? |
| 2022-04-12 13:32:38 +0200 | <abastro[m]> | While it does serve some basis |
| 2022-04-12 13:32:52 +0200 | <Solid> | not many people do mathematics in general |
| 2022-04-12 13:32:52 +0200 | <geekosaur> | CT is so pervasive and so fundamental that lots of folks "dabble in it" |
| 2022-04-12 13:33:11 +0200 | <Solid> | and yeah, you basically can't learn about higher algebra without needing at least basic concepts |
| 2022-04-12 13:33:13 +0200 | <abastro[m]> | I mean among mathematics folks |
| 2022-04-12 13:33:31 +0200 | <abastro[m]> | geekosaur: My impression is that many folks don't dabble in it |
| 2022-04-12 13:33:33 +0200 | <geekosaur> | I am not a mathematician, but have some interest in physics — and it's surprising how much advanced physics involves CT |
| 2022-04-12 13:33:53 +0200 | <abastro[m]> | Somehow FP-ers get in to some CT it seems |
| 2022-04-12 13:33:57 +0200 | <geekosaur> | of course, these are not everyday bategories, but. |
| 2022-04-12 13:34:23 +0200 | <abastro[m]> | But e.g. many mathematicians don't care much about CT - at least that is my impression |
| 2022-04-12 13:34:38 +0200 | <abastro[m]> | Except for absolute basics, that is |
| 2022-04-12 13:34:41 +0200 | <geekosaur> | most mathematicians are focused on a very specific area |
| 2022-04-12 13:34:56 +0200 | <geekosaur> | unless that area happens to be CT itself, they won't be interested |
| 2022-04-12 13:35:06 +0200 | <geekosaur> | but they'll still be using some CT concepts |
| 2022-04-12 13:35:14 +0200 | <abastro[m]> | Indeed |
| 2022-04-12 13:35:28 +0200 | <abastro[m]> | Well, only some of the CT concepts |
| 2022-04-12 13:36:01 +0200 | <abastro[m]> | CT is a bit regarded as fundamental theory, which is not revisited and researched by much |
| 2022-04-12 13:36:24 +0200 | <abastro[m]> | (Just saying what I heard, btw. I myself do not know enough) |
| 2022-04-12 13:37:16 +0200 | <abastro[m]> | In contrast, it should be comparatively easier to get into pde analysis fields |
| 2022-04-12 13:37:18 +0200 | <geekosaur> | like I said, most mathematicians are focused on very specific areas. ct itself is one of those areas… but CT itself is pretty well mapped out at this point. it's not CT that is interesting but the categories :) |
| 2022-04-12 13:37:56 +0200 | <Solid> | that's your opinion :P |
| 2022-04-12 13:38:28 +0200 | <abastro[m]> | Which one? |
| 2022-04-12 13:39:09 +0200 | <abastro[m]> | (Are Categories interesting hmm) |
| 2022-04-12 13:42:11 +0200 | <abastro[m]> | CT does not seem to be as pervasive for learning advanced algebra. Is it pervasive on research level? |
| 2022-04-12 13:49:41 +0200 | <abastro[m]> | (I guess nvm) |
| 2022-04-12 13:50:02 +0200 | <Ether[m]> | A few days ago i asked how to remove default bindings someone told me remove with Xmonad.Util.EzConfig but it doesn't remove all the default bindings.. |
| 2022-04-12 13:52:47 +0200 | <tdammers> | I like to think of CT as the theory of theories. It can be helpful, but in most cases, you don't need to understand theory theory to understand a specific theory |
| 2022-04-12 13:53:50 +0200 | <abastro[m]> | tdammers: Was my impression as well! |
| 2022-04-12 13:53:51 +0200 | <Solid> | abastro[m]: I mean, try learning about modern algebraic topology without category theory; or homological algera, or representation theory, or operad theory, or Hopf algebra theory, or even lie theory |
| 2022-04-12 13:53:56 +0200 | <yusz-01[m]> | Ether[m]: I use https://xmonad.github.io/xmonad-docs/xmonad-contrib/XMonad-Util-CustomKeys.html (XMonad.Util.CustomKeys) for this as I had to remove the default navigation keys because I wanted to remap them to other ones |
| 2022-04-12 13:54:13 +0200 | <Solid> | tdammers: Freyd famously said "Perhaps the purpose of categorical algebra is to show that which is trivial is trivially trivial"; seems pretty apt :) |
| 2022-04-12 13:54:39 +0200 | <Solid> | Ether[m]: as I said before, you can just override the `keys` field completely with your own keybindings |
| 2022-04-12 13:54:53 +0200 | <geekosaur> | Ether[m], if you really want to remove all default bindings then you set the `keys` field directly |
| 2022-04-12 13:55:00 +0200 | <geekosaur> | without the `M.union` stuff |
| 2022-04-12 13:55:26 +0200 | <tdammers> | Solid: mathematicians never disappoint when it comes to creative use of language |
| 2022-04-12 13:55:30 +0200 | <geekosaur> | it's less convenient because you can't use Emacs-like keys, you have to use keysyms |
| 2022-04-12 13:55:56 +0200 | <yusz-01[m]> | geekosaur: oh, didn't know about that, will make my config more minimal rather than having to specify the keys I want to remove directly |
| 2022-04-12 13:56:41 +0200 | <geekosaur> | or you could just set it to \_ -> M.empty, then define your own keys with EZConfig |
| 2022-04-12 13:57:34 +0200 | <abastro[m]> | Solid: I guess lie theory comes way after lie group theory? |
| 2022-04-12 13:58:44 +0200 | <Solid> | abastro[m]: it's just a blanket term for talking about lie groups and lie algebras |
| 2022-04-12 13:58:53 +0200 | <abastro[m]> | Hm, Idk how my uni have courses for some of those without covering any CT |
| 2022-04-12 13:59:50 +0200 | <abastro[m]> | Well, the uni courses does not cover CT while some courselines goes quite a depth into lie group and lie algebras |
| 2022-04-12 14:00:18 +0200 | <Solid> | you can talk about these things non-categorically sure (that's how they were first discovered, after all) |
| 2022-04-12 14:01:15 +0200 | <Solid> | but when you get to ~the masters level you need to know at least the categorical language to know what the hell people are talking about |
| 2022-04-12 14:02:00 +0200 | <abastro[m]> | Strange that there are masters level course for lie algebra but no course for CT |
| 2022-04-12 14:02:25 +0200 | <abastro[m]> | Solid: I guess it is somewhat implicitly covered in the classes then. |
| 2022-04-12 14:02:43 +0200 | <tdammers> | "lie algebra" sounds like a sociologist and a mathematician got drunk together and did unspeakable things |
| 2022-04-12 14:03:02 +0200 | <Solid> | hahahaha |
| 2022-04-12 14:03:18 +0200 | <Solid> | tdammers: the dude was called Lie; quite unfortunate for him I suppose :P |
| 2022-04-12 14:03:25 +0200 | <tdammers> | Solid: could be worse I guess |
| 2022-04-12 14:03:32 +0200 | <Solid> | indeed |
| 2022-04-12 14:03:36 +0200 | <Solid> | talk to Jaques Tits about that |
| 2022-04-12 14:03:54 +0200 | <abastro[m]> | Lmao |
| 2022-04-12 14:05:10 +0200 | <tdammers> | then again, the language part of a mathematician's brain tends to be so scarred that they will just say things like "Tits Theory" with a straight face and without hesitation |
| 2022-04-12 14:05:31 +0200 | <Solid> | yes definitely |
| 2022-04-12 14:05:35 +0200 | <abastro[m]> | Ye, wonders |
| 2022-04-12 14:06:08 +0200 | <abastro[m]> | Oh, is it possible to get to advanced subjects without any CT basis btw? |
| 2022-04-12 14:06:24 +0200 | <abastro[m]> | I am getting this feeling that my uni courses are geared towards this way |
| 2022-04-12 14:06:28 +0200 | <abastro[m]> | Of avoiding CT |
| 2022-04-12 14:08:10 +0200 | <Solid> | some people really don't like it |
| 2022-04-12 14:08:19 +0200 | <Solid> | have some of those in our faculty as well |
| 2022-04-12 14:08:26 +0200 | <Solid> | can't understand them :P |
| 2022-04-12 14:08:50 +0200 | <Solid> | anyways, need to get back to work |
| 2022-04-12 14:09:05 +0200 | <abastro[m]> | I see, cya! |
| 2022-04-12 14:11:36 +0200 | <abastro[m]> | I realized I was chatting like this when I have to write graduate admission paper :/ |
| 2022-04-12 14:12:20 +0200 | <geekosaur> | classic avoidance :) |
| 2022-04-12 14:13:15 +0200 | <abastro[m]> | My suicidal life :/ I should fix this |
| 2022-04-12 15:00:06 +0200 | rieper|net | (~riepernet@sxbeta1.geo.uni-leipzig.de) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-12 15:01:15 +0200 | rieper | (~riepernet@sxbeta1.geo.uni-leipzig.de) |
| 2022-04-12 15:01:39 +0200 | dschrempf | (~dominik@92-249-159-213.pool.digikabel.hu) |
| 2022-04-12 15:12:41 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-12 15:21:54 +0200 | dschrempf | (~dominik@92-249-159-213.pool.digikabel.hu) (Quit: WeeChat 3.4.1) |
| 2022-04-12 15:44:25 +0200 | <abastro[m]> | Is there a way to write gtk declaratively other than gtk-declarative? |
| 2022-04-12 15:44:44 +0200 | <abastro[m]> | So that I could use it for taffybar (or for other configurable task bars) |
| 2022-04-12 15:45:23 +0200 | <abastro[m]> | Writing imperative widget is quite frustrating. |
| 2022-04-12 15:59:36 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-12 17:03:03 +0200 | <geekosaur> | knew I wrote all those debugging modules for a reason :) |
| 2022-04-12 17:04:58 +0200 | <geekosaur> | abastro[m], afaik there's no good way to do declarative anything GUI aside from monomer and various poor wrappers |
| 2022-04-12 17:05:23 +0200 | <abastro[m]> | Oh noo.. :( |
| 2022-04-12 17:05:40 +0200 | <abastro[m]> | Monomer bar when |
| 2022-04-12 17:06:12 +0200 | <abastro[m]> | Tbh I liked gtk declarative until I realized it uses lots of unsafe/ad hoc typelevel stuffs |
| 2022-04-12 17:06:52 +0200 | <geekosaur> | monomer bar would be pretty heavy since it's SDL2 based |
| 2022-04-12 17:27:02 +0200 | <abastro[m]> | Monomer is based on SDL2, |
| 2022-04-12 17:27:08 +0200 | <abastro[m]> | s/,/?/ |
| 2022-04-12 17:27:13 +0200 | <abastro[m]> | Oh no, why.. |
| 2022-04-12 17:27:44 +0200 | <geekosaur> | because it abstracts away all the platform dependent stuff really well |
| 2022-04-12 17:27:46 +0200 | <abastro[m]> | <del>Perhaps I would really try at writing a library from raw GL</del> |
| 2022-04-12 17:28:11 +0200 | <geekosaur> | so monomer can leave the os x vs. windows vs. linux to sdl2 and focus on the haskell part |
| 2022-04-12 17:29:00 +0200 | <abastro[m]> | Oh, interesting part is that taskbar for xmonad only need to support linux |
| 2022-04-12 17:29:18 +0200 | <abastro[m]> | So one could indeed make a specialized ui lib for linux I guess |
| 2022-04-12 17:29:27 +0200 | <geekosaur> | right, but monomer's goal is to be platform independent without being a webapp |
| 2022-04-12 17:29:31 +0200 | <abastro[m]> | ...tho I certainly do not have time for thad 😣 |
| 2022-04-12 17:32:54 +0200 | <geekosaur> | one could indeed do that, but you would fine your first request would be windows support :) |
| 2022-04-12 17:33:17 +0200 | <abastro[m]> | Why tho, when monomer exists? |
| 2022-04-12 17:34:08 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-12 17:34:35 +0200 | <abastro[m]> | Windows support: Pls use monomer |
| 2022-04-12 17:34:35 +0200 | <abastro[m]> | Done :P |
| 2022-04-12 17:50:21 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2022-04-12 18:13:26 +0200 | Czernobog | (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-12 18:14:17 +0200 | Czernobog | (~Czernobog@user/czernobog) |
| 2022-04-12 18:20:13 +0200 | Czernobog | (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-12 18:21:41 +0200 | Czernobog | (~Czernobog@user/czernobog) |
| 2022-04-12 19:02:33 +0200 | <geekosaur> | I wonder if glfw would be suitable |
| 2022-04-12 19:08:15 +0200 | <geekosaur> | hm, https://hackage.haskell.org/package/reflex-gi-gtk |
| 2022-04-12 19:08:30 +0200 | <geekosaur> | reflex is a well known frp library |
| 2022-04-12 21:03:41 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-12 22:40:50 +0200 | <anon_kun600[m]> | https://dpaste.com/G9MLKN9S6 I edited like you guys said but it would start so I added back the lines I removed |
| 2022-04-12 22:40:53 +0200 | <anon_kun600[m]> | now it still won't start |
| 2022-04-12 22:41:03 +0200 | <anon_kun600[m]> | xmonad.hs:316:1: error:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/c0270b5bc2ddfcc1d3b0928631b17e6f9e31…) |
| 2022-04-12 22:41:18 +0200 | <anon_kun600[m]> | of course its due to the extra main = do but I still don't know what to do |
| 2022-04-12 22:42:06 +0200 | <geekosaur> | remove it. again. like the first time this happened |
| 2022-04-12 22:42:21 +0200 | <geekosaur> | I don't know why you pu tit back in again |
| 2022-04-12 22:42:29 +0200 | <geekosaur> | *put it |
| 2022-04-12 22:42:52 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-04-12 22:49:48 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-12 22:58:49 +0200 | <geekosaur> | and it's just like the first leg: one attempt on target, one goal |
| 2022-04-12 22:58:58 +0200 | <geekosaur> | whoops, sorry, channel |
| 2022-04-12 23:33:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-12 23:35:16 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-12 23:46:31 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-12 23:46:51 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-12 23:50:31 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-12 23:50:51 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-12 23:52:26 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-12 23:53:22 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-12 23:54:18 +0200 | <anon_kun600[m]> | geekosaur: but it worked before |
| 2022-04-12 23:54:19 +0200 | <anon_kun600[m]> | it loaded |
| 2022-04-12 23:54:45 +0200 | <anon_kun600[m]> | removing it anyways but confused |
| 2022-04-12 23:57:48 +0200 | <geekosaur> | you had it before, I told you to remove it (6 days ago even, I just checked my log) |
| 2022-04-12 23:59:50 +0200 | <geekosaur> | https://ircbrowse.tomsmeding.com/browse/lcxmonad?id=57904#trid57904 |