| 2022-05-02 01:08:13 +0000 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-02 01:08:40 +0000 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-02 01:08:49 +0000 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-05-02 01:11:11 +0000 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-02 01:11:13 +0000 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-05-02 01:22:39 +0000 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-05-02 02:04:56 +0000 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 272 seconds) |
| 2022-05-02 02:23:07 +0000 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2022-05-02 02:58:47 +0000 | td_ | (~td@94.134.91.69) (Ping timeout: 240 seconds) |
| 2022-05-02 03:00:46 +0000 | td_ | (~td@94.134.91.43) |
| 2022-05-02 04:04:00 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-02 04:09:59 +0000 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Remote host closed the connection) |
| 2022-05-02 04:25:00 +0000 | jakeStateless-Fa | (~jakefroms@2001:470:69fc:105::15ef) (*.net *.split) |
| 2022-05-02 04:25:00 +0000 | Zarak[m] | (~zarakmatr@2001:470:69fc:105::1:f67f) (*.net *.split) |
| 2022-05-02 04:25:00 +0000 | mekeor[m] | (~mekeormat@2001:470:69fc:105::17e4) (*.net *.split) |
| 2022-05-02 04:25:00 +0000 | Tisoxin | (~ikosit@user/ikosit) (*.net *.split) |
| 2022-05-02 04:25:00 +0000 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2022-05-02 04:25:00 +0000 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (*.net *.split) |
| 2022-05-02 04:25:12 +0000 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2022-05-02 04:25:34 +0000 | Zarak[m] | (~zarakmatr@2001:470:69fc:105::1:f67f) |
| 2022-05-02 04:25:34 +0000 | jakeStateless-Fa | (~jakefroms@2001:470:69fc:105::15ef) |
| 2022-05-02 04:25:35 +0000 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
| 2022-05-02 04:26:12 +0000 | Tisoxin | (~ikosit@user/ikosit) |
| 2022-05-02 04:26:30 +0000 | mekeor[m] | (~mekeormat@2001:470:69fc:105::17e4) |
| 2022-05-02 04:28:28 +0000 | hypoesoteric[m] | (~hypoesote@2001:470:69fc:105::1:f849) (*.net *.split) |
| 2022-05-02 04:28:29 +0000 | superusercode | (~sudousrco@2001:470:69fc:105::1:ee77) (*.net *.split) |
| 2022-05-02 04:31:12 +0000 | superusercode | (~sudousrco@2001:470:69fc:105::1:ee77) |
| 2022-05-02 04:33:02 +0000 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) |
| 2022-05-02 04:33:57 +0000 | hypoesoteric[m] | (~hypoesote@2001:470:69fc:105::1:f849) |
| 2022-05-02 04:39:16 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 04:45:02 +0000 | pthrr | (~admin@h2776122.stratoserver.net) (Remote host closed the connection) |
| 2022-05-02 04:45:26 +0000 | benin | (~benin@183.82.204.110) |
| 2022-05-02 04:50:42 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 250 seconds) |
| 2022-05-02 05:06:12 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 240 seconds) |
| 2022-05-02 06:05:05 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 06:13:20 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 260 seconds) |
| 2022-05-02 06:29:42 +0000 | Solid | wrote down the fruits of rather intense procrastination https://tony-zorman.com/posts/phd-workflow/2022-05-01-my-phd-workflow.html |
| 2022-05-02 06:29:58 +0000 | <Solid> | it's more Emacs than XMonad content, but perhaps someone here will find it interesting as well |
| 2022-05-02 06:57:33 +0000 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-02 06:58:22 +0000 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2022-05-02 07:02:37 +0000 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 07:33:56 +0000 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 07:40:28 +0000 | <sibi> | SolidThanks for sharing, pretty interesting. I use org-roam but never used it's visualization feature, that looks cool. |
| 2022-05-02 07:40:39 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 08:11:18 +0000 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 08:14:13 +0000 | <abastro> | How is xmonad treeselect implemented? |
| 2022-05-02 08:15:12 +0000 | <abastro> | I'd like color customization but it does not provide the functionality |
| 2022-05-02 08:21:40 +0000 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 08:23:53 +0000 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Remote host closed the connection) |
| 2022-05-02 08:24:45 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-05-02 08:27:17 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 08:31:28 +0000 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) |
| 2022-05-02 08:35:01 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-05-02 08:35:12 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 08:42:45 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-05-02 08:43:13 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 08:52:00 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 260 seconds) |
| 2022-05-02 09:00:06 +0000 | thurm[m] | (~thurmmatr@2001:470:69fc:105::c8c) (Quit: You have been kicked for being idle) |
| 2022-05-02 09:00:06 +0000 | ilmu[m] | (~ilmumatri@2001:470:69fc:105::1:ce46) (Quit: You have been kicked for being idle) |
| 2022-05-02 09:00:14 +0000 | archnola[m] | (~archnolam@2001:470:69fc:105::1:ec0b) (Quit: You have been kicked for being idle) |
| 2022-05-02 09:00:39 +0000 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 2022-05-02 09:15:03 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 09:19:08 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-02 09:46:00 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-05-02 10:05:24 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 2022-05-02 10:27:32 +0000 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 10:47:31 +0000 | Xioulious | (~yourname@193.32.249.137) (Quit: leaving) |
| 2022-05-02 11:01:35 +0000 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 11:36:17 +0000 | arjun | (~arjun@user/arjun) |
| 2022-05-02 11:41:34 +0000 | <yuu[m]> | This is pretty intereting. The topics and some latex stuff i'll try to adopt. And when someone like you argue about handwriting in paper, it is pretty convincing 😄 if you want more exposure, I'd recommend posting some screenshots on r/unixporn and the like and a link to the post on the comments |
| 2022-05-02 11:49:31 +0000 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 11:59:18 +0000 | <Solid> | Thanks! :) I have submitted it to the Emacs subreddit, but don't think it's a good fit for unixporn really; I reckon they would laugh at me for my font choices or something :P |
| 2022-05-02 11:59:30 +0000 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) |
| 2022-05-02 12:00:57 +0000 | <arjun> | Solid, its not like its Comic San MS : P |
| 2022-05-02 12:01:49 +0000 | <Solid> | hah, I suppose not |
| 2022-05-02 12:12:22 +0000 | <geekosaur> | comic sans is good enough for SPJ… |
| 2022-05-02 12:14:43 +0000 | <arjun> | he worked for MS |
| 2022-05-02 12:14:54 +0000 | <arjun> | they also have to use bing internally |
| 2022-05-02 12:36:56 +0000 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 12:37:42 +0000 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 12:42:39 +0000 | arjun | (~arjun@user/arjun) (Remote host closed the connection) |
| 2022-05-02 12:45:11 +0000 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 12:45:47 +0000 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 13:05:42 +0000 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 13:16:12 +0000 | Guest89 | (~Guest89@38.100.128.53) |
| 2022-05-02 13:16:33 +0000 | Guest89 | (~Guest89@38.100.128.53) (Client Quit) |
| 2022-05-02 13:47:45 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 260 seconds) |
| 2022-05-02 13:47:58 +0000 | <liskin> | Solid: do you have fuzzy search in pdf contents, and if not, try ripgrep_all and its rga-fzf script |
| 2022-05-02 13:48:08 +0000 | <liskin> | It's crazy fast. |
| 2022-05-02 13:53:47 +0000 | <liskin> | Oh and I should probably also try emacs one day, it looks really powerful. :-/ |
| 2022-05-02 13:54:31 +0000 | <geekosaur> | it is, but it's also rather a lot of culture shock if you're not used to it like us ancient folks :) |
| 2022-05-02 13:54:56 +0000 | <geekosaur> | you can get most of that power from neovim if you prefer |
| 2022-05-02 13:55:02 +0000 | <liskin> | Yeah that's why I never tried - I'm very invested in the vim ecosystem |
| 2022-05-02 13:55:15 +0000 | <liskin> | But those visual goodies look tempting |
| 2022-05-02 13:55:35 +0000 | <liskin> | Can neovim do those latex equations? |
| 2022-05-02 13:56:32 +0000 | <liskin> | (Frankly I'm even terrified of switching to neovim because I'm sure half of my stuff will break and I'll spend a week full time fixing it.) |
| 2022-05-02 13:56:40 +0000 | <geekosaur> | I suspect if you run it in gui mode someone will have something |
| 2022-05-02 13:57:05 +0000 | <geekosaur> | neovim feels to me like someone said "vi really needs all those emacs goodies, let's do it" |
| 2022-05-02 13:58:47 +0000 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 13:59:19 +0000 | <geekosaur> | hm, for thsta matter they might have put in the effort to make it work in text mode, terminals export $WINDOWID for a reason :) |
| 2022-05-02 13:59:28 +0000 | <abastro[m]> | Me doing VSCode... |
| 2022-05-02 13:59:45 +0000 | <abastro[m]> | sad that I am not smart enough for these advanced ones |
| 2022-05-02 14:01:48 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 14:11:33 +0000 | twiclo | (~twiclo@mail.twil.cx) (Quit: WeeChat 3.4) |
| 2022-05-02 14:26:23 +0000 | <[Leary]> | One of my friends half-sold me on emacs, so I tried it for a few months. What I learned was that---more so than any emacs bell or whistle---not having to write lisp is the real luxury. <.< |
| 2022-05-02 14:30:07 +0000 | <geekosaur> | I haven't had to write elisp in a long while, just the occasional cut and paste into my .emacs |
| 2022-05-02 14:46:28 +0000 | abastro | (~abab9579@192.249.26.201) (Ping timeout: 248 seconds) |
| 2022-05-02 14:48:57 +0000 | <abastro[m]> | Well, for e.g. c++ programmers, writing lisp could be luxury |
| 2022-05-02 14:51:23 +0000 | abiss27 | (~abiss27@user/abiss) |
| 2022-05-02 14:52:07 +0000 | <Solid> | liskin: oh indeed I've never heard of that :o looks fantastic, thanks :) |
| 2022-05-02 14:52:37 +0000 | <Solid> | You should definitely try Emacs; one of the great joys in life is having an excuse to write lisp! |
| 2022-05-02 14:54:01 +0000 | <liskin> | :-) |
| 2022-05-02 14:54:05 +0000 | <abastro[m]> | Excuse to write lisp.mm |
| 2022-05-02 14:54:08 +0000 | <abastro[m]> | ... |
| 2022-05-02 14:54:28 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) |
| 2022-05-02 14:55:28 +0000 | <abastro[m]> | I mean I personally dislike parens e.g. in haskell |
| 2022-05-02 14:55:36 +0000 | <abastro[m]> | Where FP mandates usage of parens |
| 2022-05-02 14:56:19 +0000 | <Solid> | elisp is not especially functional |
| 2022-05-02 14:56:30 +0000 | <Solid> | though there are libraries (like dash.el) which make it a little more so |
| 2022-05-02 14:57:18 +0000 | <Solid> | there is a real zen to be found in directly manipulting the AST of your language, especially with structural editing support like lispy or paredit |
| 2022-05-02 14:57:19 +0000 | <geekosaur> | elisp is a lousy lisp |
| 2022-05-02 14:57:31 +0000 | <geekosaur> | but attempts to redo it using guile are stalled |
| 2022-05-02 14:57:44 +0000 | <Solid> | quite possibly forever, yes |
| 2022-05-02 14:57:58 +0000 | <abastro[m]> | Wdym, FP is defined by lisp /s |
| 2022-05-02 14:58:23 +0000 | <abastro[m]> | (Local expert said so) |
| 2022-05-02 14:59:26 +0000 | <geekosaur> | lisp is a notation for lambda calculus that escaped its cage :þ |
| 2022-05-02 15:01:58 +0000 | <abastro[m]> | Indeed |
| 2022-05-02 15:03:44 +0000 | abiss27 | (~abiss27@user/abiss) (Quit: hasta la vista... tchau!) |
| 2022-05-02 15:27:58 +0000 | <abastro[m]> | I legit heard of so-called "expert" saying that lisp's manipulating AST is the core of FP. (Thus giving conclusion that FP is old) |
| 2022-05-02 15:28:13 +0000 | <abastro[m]> | I guess FP has several competing definitions :P |
| 2022-05-02 15:28:47 +0000 | <geekosaur> | yes it does |
| 2022-05-02 15:29:08 +0000 | <geekosaur> | some of them exclude lisp entirely |
| 2022-05-02 15:31:23 +0000 | <abastro[m]> | I guess some would exclude haskell for its lousy metaprogramming support |
| 2022-05-02 15:32:44 +0000 | <geekosaur> | but some of those include it because laziness means you don't need metaprogramming for some things |
| 2022-05-02 15:35:26 +0000 | <abastro[m]> | I mean, some define FP by metaprogramming/homoiconicity |
| 2022-05-02 15:35:32 +0000 | <abastro[m]> | Soo |
| 2022-05-02 15:38:49 +0000 | <abastro[m]> | In this perspective haskell might not exist as valid language |
| 2022-05-02 15:44:37 +0000 | <geekosaur> | nobody goes that far |
| 2022-05-02 15:46:55 +0000 | <abastro[m]> | Local "expert" I mentioned earlier has gone there |
| 2022-05-02 15:49:59 +0000 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-02 16:00:32 +0000 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 2022-05-02 16:07:00 +0000 | twiclo | (~twiclo@vpn.utahbroadband.com) |
| 2022-05-02 16:11:26 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 2022-05-02 16:17:32 +0000 | arjun | (~arjun@user/arjun) |
| 2022-05-02 16:56:21 +0000 | <M-elo-[m]> | Is there such thing in xmonad that can allow me to replace tmux's tab functionality? I only use tmux to keep terminal tabs nowadays and using tab layout will not work for my current workflow. Want something that can allow me to keep tabbed terminals while existing alongside other applications in the same workplace |
| 2022-05-02 16:56:24 +0000 | <M-elo-[m]> | Does that make sense? |
| 2022-05-02 16:57:16 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-02 17:00:18 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 260 seconds) |
| 2022-05-02 17:03:24 +0000 | <geekosaur> | layouts have no clue what they are displaying |
| 2022-05-02 17:03:37 +0000 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) |
| 2022-05-02 17:04:15 +0000 | <geekosaur> | (not entirely true, but making tabs only appear for terminals more or less requires banishing all terminals to a tabbed sublayout) |
| 2022-05-02 17:05:34 +0000 | werneta | (~werneta@137.79.197.49) |
| 2022-05-02 17:21:20 +0000 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Remote host closed the connection) |
| 2022-05-02 17:27:38 +0000 | x88x88x | (~x88x88x@149.28.53.172) |
| 2022-05-02 17:45:36 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 276 seconds) |
| 2022-05-02 18:00:42 +0000 | <M-elo-[m]> | <geekosaur> "(not entirely true, but making..." <- Not entirely disabling it for anything else, but a way to group terminals into a tabbed layout of some sort that could allow it to co-exist with other applications with disrupting the workflow |
| 2022-05-02 18:00:44 +0000 | <M-elo-[m]> | I guess it's time to look for a terminal alternative to alacritty |
| 2022-05-02 18:02:41 +0000 | <arjun> | M-elo-[m], i just made the switch to kitty, because it had tabs |
| 2022-05-02 18:02:45 +0000 | <arjun> | apart from other things |
| 2022-05-02 18:03:17 +0000 | <M-elo-[m]> | I used to be a kitty user until victor mono semibold wouldn't work |
| 2022-05-02 18:03:25 +0000 | <geekosaur> | ComboP should let you group terminals together into a sublayout in which you could use subTabbed |
| 2022-05-02 18:03:36 +0000 | <M-elo-[m]> | Forced me to use alacritty instead, will try it out once again and figure out why it did not work |
| 2022-05-02 18:03:53 +0000 | <M-elo-[m]> | geekosaur: Will have a look at it, thanks for the suggestion! |
| 2022-05-02 18:31:27 +0000 | noex | (~null@user/noex) (Ping timeout: 260 seconds) |
| 2022-05-02 18:33:14 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 2022-05-02 18:33:16 +0000 | noex | (~null@user/noex) |
| 2022-05-02 18:34:50 +0000 | Xioulious | (~yourname@193.32.249.137) |
| 2022-05-02 18:36:53 +0000 | <Xioulious> | learning haskell when used to C/C++, python and javascript is pretty hard to get a start in it feels like even with some guides |
| 2022-05-02 18:41:23 +0000 | <geekosaur> | it will be, yes |
| 2022-05-02 18:41:31 +0000 | <geekosaur> | @where cis194 |
| 2022-05-02 18:41:31 +0000 | <lambdabot> | https://www.seas.upenn.edu/~cis194/spring13/lectures.html |
| 2022-05-02 18:41:36 +0000 | <geekosaur> | might be helpful |
| 2022-05-02 18:42:09 +0000 | <geekosaur> | it's not what I used to learn, but I had some SML/NJ experience so I used a tutorial aimed at SML/NJ programmers |
| 2022-05-02 18:45:29 +0000 | arjun | (~arjun@user/arjun) (Remote host closed the connection) |
| 2022-05-02 18:45:53 +0000 | <Xioulious> | feels like i first need to learn how the different symbols are used and what they do, like im used to just using | for "or" and == for "equal" but in haskell it seems to be || and ===, the differences between -> and =>, etc |
| 2022-05-02 18:47:11 +0000 | pthrr | (~pthrr@h2776122.stratoserver.net) |
| 2022-05-02 18:47:12 +0000 | <geekosaur> | == is equal. = is not quite what you think, though |
| 2022-05-02 18:47:31 +0000 | <geekosaur> | single vertical bar can be read as "such that" (think math notation) |
| 2022-05-02 18:50:17 +0000 | <Xioulious> | am i right in thinking that -> in haskell is where normally in C = is used? |
| 2022-05-02 18:58:50 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 19:00:31 +0000 | <geekosaur> | -> has multiple meanings |
| 2022-05-02 19:00:58 +0000 | <geekosaur> | in a lambda or case-of it's roughly equivalent to = |
| 2022-05-02 19:01:19 +0000 | <geekosaur> | in a type signature it separates the types of parameters, and parameters from the result |
| 2022-05-02 19:01:41 +0000 | <geekosaur> | => separates constraints from parameters/result |
| 2022-05-02 19:02:17 +0000 | <geekosaur> | a constraint is something which some type must abide by |
| 2022-05-02 19:02:20 +0000 | <geekosaur> | :t (+) |
| 2022-05-02 19:02:21 +0000 | <lambdabot> | Num a => a -> a -> a |
| 2022-05-02 19:03:01 +0000 | <geekosaur> | any type `a` may be used as long as it has a Num instance. (if you've worked with Rust, they're called "traits" there) |
| 2022-05-02 19:09:27 +0000 | <Xioulious> | not used to certain namings of stuff in programming as im just learning on my own :P but think i somewhat get it, im mostly trying to translate the haskell code into some other form of code that i know the layout/style of to learn the meaning of it all |
| 2022-05-02 19:10:59 +0000 | <Xioulious> | like in C you would do Int value(Int number1, Int Number2) while in haskell you do Num value -> number1 -> number2, or something like that? |
| 2022-05-02 19:16:04 +0000 | <geekosaur> | if you just want Int, you say Int |
| 2022-05-02 19:16:42 +0000 | <geekosaur> | typeclasses allow functions to operate on any type which is a member of the typeclass. something like (+) is a typeclass method, where each type has to provide its own implementation |
| 2022-05-02 19:17:06 +0000 | <geekosaur> | so we don't have to have a separate + operator for Double (which is what SML/NJ used to do), etc. |
| 2022-05-02 19:20:39 +0000 | <Xioulious> | not sure why i cant find a guide/tutorial that mentions the basic stuff like that, they all seem to want to start with just calculating stuff |
| 2022-05-02 19:23:29 +0000 | <geekosaur> | you have more important things to get used to before you reach typeclasses :) like laziness and IO |
| 2022-05-02 19:27:07 +0000 | <Xioulious> | i usually kinda dive in, try to get some code to work and then figure out how/why it works, puts context to what gets explained then, but that can easily also be a bad idea |
| 2022-05-02 19:28:37 +0000 | <geekosaur> | it works better when the language is just a fresh face on what you already know. haskell is different enough that it can get you into trouble quickly |
| 2022-05-02 19:32:15 +0000 | <Xioulious> | true, ill just start at the first step in that link you gave, though first i need to get either emacs or vs code setup properly for it |
| 2022-05-02 19:36:50 +0000 | <liskin> | M-elo-[m], geekosaur: subTabbed works by itself, there's no need for ComboP (it least that's how I use it) |
| 2022-05-02 19:37:13 +0000 | <geekosaur> | they want terminals (only) to be in a tabbed layout |
| 2022-05-02 19:37:24 +0000 | <liskin> | I still end up using tmux instead of that fairly often because… dunno, just like it more |
| 2022-05-02 19:37:33 +0000 | <geekosaur> | so I figured ComboP to match the terminals by className and route them to a subTabbed layout |
| 2022-05-02 19:38:10 +0000 | <liskin> | oh, I thought the usecase is just the ability to tab windows together in the WM |
| 2022-05-02 19:50:29 +0000 | <geekosaur> | wee, gradually getting everything paired to new phone (went on sister's family plan yesterday, they also replaced 6yo phone with a middle-of-the-line phone with a working mike!) |
| 2022-05-02 19:50:49 +0000 | <geekosaur> | getting more and more stuff out of my dwindling bank account |
| 2022-05-02 19:53:07 +0000 | <geekosaur> | sadly all the headsets and such are as old as the phone is or older, so my main headset is looking to no longer be my main headset (it locked up hard when I accepted a call from the pharmacy) |
| 2022-05-02 20:33:42 +0000 | x88x88x | (~x88x88x@149.28.53.172) (Remote host closed the connection) |
| 2022-05-02 20:42:35 +0000 | x88x88x | (~x88x88x@149.28.53.172) |
| 2022-05-02 21:45:58 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-05-02 21:56:54 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-02 22:24:55 +0000 | <abastro[m]> | How does "rendering" in xmonad work? |
| 2022-05-02 22:25:53 +0000 | <liskin> | abastro[m]: what do you mean by rendering? |
| 2022-05-02 22:26:31 +0000 | <geekosaur> | we don't do rendering, that's up to the client (and the compositor if any). window managers are about window placement and focus policy |
| 2022-05-02 22:26:38 +0000 | <abastro[m]> | E.g. treeselect, gridselect |
| 2022-05-02 22:26:53 +0000 | <abastro[m]> | (E.g. calling GL is called rendering) |
| 2022-05-02 22:27:16 +0000 | <abastro[m]> | Also tabbed layout does some rendering for the tabs |
| 2022-05-02 22:27:37 +0000 | <geekosaur> | gridselect does do rendering but it uses X11 primitives. it's all pretty low level. see XMonad.Util.XUtils |
| 2022-05-02 22:27:58 +0000 | <abastro[m]> | Oh, X11 primitives |
| 2022-05-02 22:28:19 +0000 | <abastro[m]> | No way to render an icon then? :P |
| 2022-05-02 22:28:25 +0000 | <liskin> | yep, treeselect as well, XFillRectangle and XDrawString and stuff :-) |
| 2022-05-02 22:29:09 +0000 | <geekosaur> | mm, tabs can draw 2-color icons if given a list of lists of bools (ick) |
| 2022-05-02 22:30:17 +0000 | <abastro[m]> | Oh, there are icons |
| 2022-05-02 22:30:30 +0000 | <abastro[m]> | List of list of bools? |
| 2022-05-02 22:30:32 +0000 | <abastro[m]> | Ouch |
| 2022-05-02 22:30:44 +0000 | <abastro[m]> | So.. no one even bothered to depend on Array |
| 2022-05-02 22:32:38 +0000 | <abastro[m]> | Eek, so it just... draws it |
| 2022-05-02 22:32:57 +0000 | <geekosaur> | https://github.com/xmonad/xmonad-contrib/blob/master/XMonad/Util/Image.hs |
| 2022-05-02 22:33:08 +0000 | <geekosaur> | yeh, just blasts bits |
| 2022-05-02 22:33:26 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-02 22:35:08 +0000 | <abastro[m]> | Guess I'd make a GTK application if I wanted tabs with proper icons |
| 2022-05-02 22:36:55 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-02 22:40:27 +0000 | <abastro[m]> | Can I fork a OS thread as GTK application? XD |
| 2022-05-02 22:42:53 +0000 | <geekosaur> | built into xmonad? technically yes, but you'd have to find a way for it to have its own event loop independent of the main one |
| 2022-05-02 22:43:29 +0000 | <geekosaur> | the only way they could communicate is by client messages |
| 2022-05-02 22:43:59 +0000 | <abastro[m]> | Does the GTK thread have to be main one? |
| 2022-05-02 22:44:21 +0000 | <geekosaur> | I don't know gtk well enough to say |
| 2022-05-02 22:44:38 +0000 | <abastro[m]> | Oh |
| 2022-05-02 22:44:54 +0000 | <abastro[m]> | What do you mean by "own event loop independent of the main one" then? |
| 2022-05-02 22:44:57 +0000 | <geekosaur> | I suspect not, as long as all work is done by one thread (you have onbe server connection, it cannot be multiplexed across threads) |
| 2022-05-02 22:45:49 +0000 | <geekosaur> | xmonad has its own event loop. you cannot make use of it, you must open an independent server connection with its own event loop. they cannot communicate between each other except via client messages. |
| 2022-05-02 22:46:13 +0000 | <abastro[m]> | Indeed |
| 2022-05-02 22:46:15 +0000 | <abastro[m]> | Uhm wait |
| 2022-05-02 22:46:24 +0000 | zawaken | (~zawaken@user/zawaken) (Read error: Connection reset by peer) |
| 2022-05-02 22:46:26 +0000 | <abastro[m]> | They cannot communicate with each other? |
| 2022-05-02 22:46:58 +0000 | <abastro[m]> | Does MVars not work btwn the xmonad event loop and gtk event loop then? |
| 2022-05-02 22:47:08 +0000 | <geekosaur> | if a gtk app is multithreaded then the other threads must post events back to the main gtk thread (whether this has to be the main app thread I don't know, but it certainly has to be the thread that owns gtk's server connection) |
| 2022-05-02 22:47:10 +0000 | zawaken | (~zawaken@user/zawaken) |
| 2022-05-02 22:47:34 +0000 | <geekosaur> | do you plan to rewrite the core to handle MVars? |
| 2022-05-02 22:47:52 +0000 | <geekosaur> | it only processes X events currently |
| 2022-05-02 22:48:48 +0000 | <abastro[m]> | Ehhh |
| 2022-05-02 22:49:19 +0000 | <abastro[m]> | I was planning to let the local GTK app communicate with Xmonad through MVars. |
| 2022-05-02 22:49:59 +0000 | <abastro[m]> | Idk about the X events handling and all, separate threads deserve treatment as separate threads |
| 2022-05-02 22:50:02 +0000 | <geekosaur> | you cannot block the main loop on an MVar unless you can guarantee it will unblock in a timely manner |
| 2022-05-02 22:50:50 +0000 | <geekosaur> | else you can block the entire UI because a window is not being placed while it's waiting on your MVar. and that much worse if the window in question was created by your GTk app |
| 2022-05-02 22:51:44 +0000 | <abastro[m]> | Oh wait, right. Duh, I missed that part |
| 2022-05-02 22:55:31 +0000 | <abastro[m]> | Can I periodically run a job in xmonad? geekosaur |
| 2022-05-02 22:56:46 +0000 | <geekosaur> | not reliably |
| 2022-05-02 22:57:14 +0000 | <abastro[m]> | Oh. :< |
| 2022-05-02 22:57:24 +0000 | <abastro[m]> | How unreliable is it |
| 2022-05-02 22:57:33 +0000 | <geekosaur> | xmonad only wakes up when it receives an X event, and since it only does window management that only happens when you open a new window, change focus, change workspaces, or similar |
| 2022-05-02 22:58:33 +0000 | <geekosaur> | various things in contrib work around this by spawning a thread which sleeps a bit and sends a client message to the main loop, but this is somewhat unstable across restarts |
| 2022-05-02 22:58:56 +0000 | <abastro[m]> | How about, close a new window |
| 2022-05-02 22:59:17 +0000 | <geekosaur> | that also creates an event, yes |
| 2022-05-02 23:04:27 +0000 | <abastro[m]> | geekosaur: How does treeselect works then? |
| 2022-05-02 23:05:20 +0000 | <abastro[m]> | It at least needs to redraw couple of times |
| 2022-05-02 23:06:44 +0000 | werneta | (~werneta@137.79.197.49) (Ping timeout: 248 seconds) |
| 2022-05-02 23:13:02 +0000 | <geekosaur> | most of those run their own private event loops on the hopeful assumption that nothing will require the main loop |
| 2022-05-02 23:13:17 +0000 | <geekosaur> | most of them *should* hook handleEventHook instead |
| 2022-05-02 23:20:13 +0000 | <abastro[m]> | I cannot find private event loop running on them |
| 2022-05-02 23:20:17 +0000 | <abastro[m]> | For treeselect |
| 2022-05-02 23:27:07 +0000 | <abastro[m]> | Actually I might be able to interrupt main loop for a dialog to ask for quitting! |
| 2022-05-02 23:30:16 +0000 | <abastro[m]> | Yea it must be, since keys stopped being passed to xmonsd |
| 2022-05-02 23:31:48 +0000 | <geekosaur> | https://github.com/xmonad/xmonad-contrib/blob/master/XMonad/Actions/TreeSelect.hs#L529-L545 |
| 2022-05-02 23:32:09 +0000 | werneta | (~werneta@137.79.197.49) |
| 2022-05-02 23:33:11 +0000 | <geekosaur> | with the loop being at https://github.com/xmonad/xmonad-contrib/blob/master/XMonad/Actions/TreeSelect.hs#L348-L358 |
| 2022-05-02 23:37:09 +0000 | werneta | (~werneta@137.79.197.49) (Ping timeout: 246 seconds) |
| 2022-05-02 23:37:12 +0000 | <abastro[m]> | Oh, that's it |
| 2022-05-02 23:40:03 +0000 | <abastro[m]> | Uhm |
| 2022-05-02 23:40:35 +0000 | <abastro[m]> | `treeselectAt` doesn't seem to fork tho |
| 2022-05-02 23:40:57 +0000 | <geekosaur> | it doesn't |
| 2022-05-02 23:41:09 +0000 | <geekosaur> | [02 23:13:02] <geekosaur> most of those run their own private event loops on the hopeful assumption that nothing will require the main loop |
| 2022-05-02 23:41:12 +0000 | <abastro[m]> | It does seem like it would put xmonad event loop into halt... |
| 2022-05-02 23:41:41 +0000 | <geekosaur> | at least it uses maskEvent so any wm events that come in will be held until the main loop next runs |
| 2022-05-02 23:41:50 +0000 | <abastro[m]> | It immediately returns with the Maybe result |
| 2022-05-02 23:41:56 +0000 | <abastro[m]> | Oh |
| 2022-05-02 23:41:57 +0000 | <geekosaur> | instead of just discarding them |
| 2022-05-02 23:42:04 +0000 | <abastro[m]> | So it does stop the main loop. |
| 2022-05-02 23:42:27 +0000 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-02 23:42:49 +0000 | <abastro[m]> | I guessthe right way to do it would be using `handleEventHook` |
| 2022-05-02 23:50:18 +0000 | <abastro[m]> | Actually I could use X event to specify time, and send the actual payload through STM or sth |
| 2022-05-02 23:52:38 +0000 | <abastro[m]> | Yea that might work |
| 2022-05-02 23:54:07 +0000 | werneta | (~werneta@137.79.215.173) |
| 2022-05-02 23:54:16 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 250 seconds) |
| 2022-05-02 23:55:38 +0000 | <abastro[m]> | geekosaur: How do I send X message from a client? |
| 2022-05-02 23:58:15 +0000 | <abastro[m]> | s/X message/X event |