Logs: liberachat/#xmonad
| 2022-04-12 11:36:24 | <abastro[m]> | (Just saying what I heard, btw. I myself do not know enough) |
| 2022-04-12 11:37:16 | <abastro[m]> | In contrast, it should be comparatively easier to get into pde analysis fields |
| 2022-04-12 11:37:18 | <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 11:37:56 | <Solid> | that's your opinion :P |
| 2022-04-12 11:38:28 | <abastro[m]> | Which one? |
| 2022-04-12 11:39:09 | <abastro[m]> | (Are Categories interesting hmm) |
| 2022-04-12 11:42:11 | <abastro[m]> | CT does not seem to be as pervasive for learning advanced algebra. Is it pervasive on research level? |
| 2022-04-12 11:49:41 | <abastro[m]> | (I guess nvm) |
| 2022-04-12 11:50:02 | <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 11:52:47 | <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 11:53:50 | <abastro[m]> | tdammers: Was my impression as well! |
| 2022-04-12 11:53:51 | <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 11:53:56 | <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 11:54:13 | <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 11:54:39 | <Solid> | Ether[m]: as I said before, you can just override the `keys` field completely with your own keybindings |
| 2022-04-12 11:54:53 | <geekosaur> | Ether[m], if you really want to remove all default bindings then you set the `keys` field directly |
| 2022-04-12 11:55:00 | <geekosaur> | without the `M.union` stuff |
| 2022-04-12 11:55:26 | <tdammers> | Solid: mathematicians never disappoint when it comes to creative use of language |
| 2022-04-12 11:55:30 | <geekosaur> | it's less convenient because you can't use Emacs-like keys, you have to use keysyms |
| 2022-04-12 11:55:56 | <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 11:56:41 | <geekosaur> | or you could just set it to \_ -> M.empty, then define your own keys with EZConfig |
| 2022-04-12 11:57:34 | <abastro[m]> | Solid: I guess lie theory comes way after lie group theory? |
| 2022-04-12 11:58:44 | <Solid> | abastro[m]: it's just a blanket term for talking about lie groups and lie algebras |
| 2022-04-12 11:58:53 | <abastro[m]> | Hm, Idk how my uni have courses for some of those without covering any CT |
| 2022-04-12 11:59:50 | <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 12:00:18 | <Solid> | you can talk about these things non-categorically sure (that's how they were first discovered, after all) |
| 2022-04-12 12:01:15 | <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 12:02:00 | <abastro[m]> | Strange that there are masters level course for lie algebra but no course for CT |
| 2022-04-12 12:02:25 | <abastro[m]> | Solid: I guess it is somewhat implicitly covered in the classes then. |
| 2022-04-12 12:02:43 | <tdammers> | "lie algebra" sounds like a sociologist and a mathematician got drunk together and did unspeakable things |
| 2022-04-12 12:03:02 | <Solid> | hahahaha |
| 2022-04-12 12:03:18 | <Solid> | tdammers: the dude was called Lie; quite unfortunate for him I suppose :P |
| 2022-04-12 12:03:25 | <tdammers> | Solid: could be worse I guess |
| 2022-04-12 12:03:32 | <Solid> | indeed |
| 2022-04-12 12:03:36 | <Solid> | talk to Jaques Tits about that |
| 2022-04-12 12:03:54 | <abastro[m]> | Lmao |
| 2022-04-12 12:05:10 | <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 12:05:31 | <Solid> | yes definitely |
| 2022-04-12 12:05:35 | <abastro[m]> | Ye, wonders |
| 2022-04-12 12:06:08 | <abastro[m]> | Oh, is it possible to get to advanced subjects without any CT basis btw? |
| 2022-04-12 12:06:24 | <abastro[m]> | I am getting this feeling that my uni courses are geared towards this way |
| 2022-04-12 12:06:28 | <abastro[m]> | Of avoiding CT |
| 2022-04-12 12:08:10 | <Solid> | some people really don't like it |
| 2022-04-12 12:08:19 | <Solid> | have some of those in our faculty as well |
| 2022-04-12 12:08:26 | <Solid> | can't understand them :P |
| 2022-04-12 12:08:50 | <Solid> | anyways, need to get back to work |
| 2022-04-12 12:09:05 | <abastro[m]> | I see, cya! |
| 2022-04-12 12:11:36 | <abastro[m]> | I realized I was chatting like this when I have to write graduate admission paper :/ |
| 2022-04-12 12:12:20 | <geekosaur> | classic avoidance :) |
| 2022-04-12 12:13:15 | <abastro[m]> | My suicidal life :/ I should fix this |
| 2022-04-12 13:00:06 | × | rieper|net quits (~riepernet@sxbeta1.geo.uni-leipzig.de) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-12 13:01:15 | → | rieper joins (~riepernet@sxbeta1.geo.uni-leipzig.de) |
| 2022-04-12 13:01:39 | → | dschrempf joins (~dominik@92-249-159-213.pool.digikabel.hu) |
| 2022-04-12 13:12:41 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-12 13:21:54 | × | dschrempf quits (~dominik@92-249-159-213.pool.digikabel.hu) (Quit: WeeChat 3.4.1) |
| 2022-04-12 13:44:25 | <abastro[m]> | Is there a way to write gtk declaratively other than gtk-declarative? |
| 2022-04-12 13:44:44 | <abastro[m]> | So that I could use it for taffybar (or for other configurable task bars) |
| 2022-04-12 13:45:23 | <abastro[m]> | Writing imperative widget is quite frustrating. |
| 2022-04-12 13:59:36 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-04-12 15:03:03 | <geekosaur> | knew I wrote all those debugging modules for a reason :) |
| 2022-04-12 15:04:58 | <geekosaur> | abastro[m], afaik there's no good way to do declarative anything GUI aside from monomer and various poor wrappers |
| 2022-04-12 15:05:23 | <abastro[m]> | Oh noo.. :( |
| 2022-04-12 15:05:40 | <abastro[m]> | Monomer bar when |
| 2022-04-12 15:06:12 | <abastro[m]> | Tbh I liked gtk declarative until I realized it uses lots of unsafe/ad hoc typelevel stuffs |
| 2022-04-12 15:06:52 | <geekosaur> | monomer bar would be pretty heavy since it's SDL2 based |
| 2022-04-12 15:27:02 | <abastro[m]> | Monomer is based on SDL2, |
| 2022-04-12 15:27:08 | <abastro[m]> | s/,/?/ |
| 2022-04-12 15:27:13 | <abastro[m]> | Oh no, why.. |
| 2022-04-12 15:27:44 | <geekosaur> | because it abstracts away all the platform dependent stuff really well |
| 2022-04-12 15:27:46 | <abastro[m]> | <del>Perhaps I would really try at writing a library from raw GL</del> |
| 2022-04-12 15:28:11 | <geekosaur> | so monomer can leave the os x vs. windows vs. linux to sdl2 and focus on the haskell part |
| 2022-04-12 15:29:00 | <abastro[m]> | Oh, interesting part is that taskbar for xmonad only need to support linux |
| 2022-04-12 15:29:18 | <abastro[m]> | So one could indeed make a specialized ui lib for linux I guess |
| 2022-04-12 15:29:27 | <geekosaur> | right, but monomer's goal is to be platform independent without being a webapp |
| 2022-04-12 15:29:31 | <abastro[m]> | ...tho I certainly do not have time for thad 😣 |
| 2022-04-12 15:32:54 | <geekosaur> | one could indeed do that, but you would fine your first request would be windows support :) |
| 2022-04-12 15:33:17 | <abastro[m]> | Why tho, when monomer exists? |
| 2022-04-12 15:34:08 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-12 15:34:35 | <abastro[m]> | Windows support: Pls use monomer |
| 2022-04-12 15:34:35 | <abastro[m]> | Done :P |
| 2022-04-12 15:50:21 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2022-04-12 16:13:26 | × | Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-12 16:14:17 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 2022-04-12 16:20:13 | × | Czernobog quits (~Czernobog@user/czernobog) (Read error: Connection reset by peer) |
| 2022-04-12 16:21:41 | → | Czernobog joins (~Czernobog@user/czernobog) |
| 2022-04-12 17:02:33 | <geekosaur> | I wonder if glfw would be suitable |
| 2022-04-12 17:08:15 | <geekosaur> | hm, https://hackage.haskell.org/package/reflex-gi-gtk |
| 2022-04-12 17:08:30 | <geekosaur> | reflex is a well known frp library |
| 2022-04-12 19:03:41 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2022-04-12 20:40:50 | <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 20:40:53 | <anon_kun600[m]> | now it still won't start |
| 2022-04-12 20:41:03 | <anon_kun600[m]> | xmonad.hs:316:1: error:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/c0270b5bc2ddfcc1d3b0928631b17e6f9e31fabb) |
| 2022-04-12 20:41:18 | <anon_kun600[m]> | of course its due to the extra main = do but I still don't know what to do |
| 2022-04-12 20:42:06 | <geekosaur> | remove it. again. like the first time this happened |
| 2022-04-12 20:42:21 | <geekosaur> | I don't know why you pu tit back in again |
| 2022-04-12 20:42:29 | <geekosaur> | *put it |
| 2022-04-12 20:42:52 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-04-12 20:49:48 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-12 20:58:49 | <geekosaur> | and it's just like the first leg: one attempt on target, one goal |
| 2022-04-12 20:58:58 | <geekosaur> | whoops, sorry, channel |
All times are in UTC.