| 2022-05-02 00:09:36 +0200 | <Xioulious> | without that focus function that you looked at the workspace focus switching on an empty workspace isnt working, could ofcourse be something wrong with my config |
| 2022-05-02 00:16:20 +0200 | <Xioulious> | i should grab some default config from somewhere that has multiscreen with independent screens worked into it to test if its my config |
| 2022-05-02 00:41:36 +0200 | <abastro[m]> | liskin: so ever to continue waymonad, wlroots need to be studied.. :P |
| 2022-05-02 00:41:57 +0200 | <liskin> | abastro[m]: yes |
| 2022-05-02 00:42:40 +0200 | <liskin> | there's a #waymonad channel on matrix if you want to talk with the people currently in charge of the lastly active fork of waymonad |
| 2022-05-02 00:43:04 +0200 | <liskin> | last time I spoke with Las, he said something about having plans to refactor the wlroots bindings some time in summer or something |
| 2022-05-02 00:43:19 +0200 | <liskin> | unfortunately we have very different views on where the project should go :-/ |
| 2022-05-02 00:46:16 +0200 | <liskin> | (I think *monad should stay minimal and plug into a separate compositor, probably written in C or Rust and maintained separately, and he thinks it's a good idea to do it all in Haskell and run as a single process; both approaches are valid and have slightly different outcomes in terms of what features are possible and what performance/stability you get out of it) |
| 2022-05-02 01:24:23 +0200 | <abastro[m]> | Yea I myself would also like separate compositor approach |
| 2022-05-02 01:25:00 +0200 | <abastro[m]> | Tho, would one bother with C to write those... |
| 2022-05-02 01:25:41 +0200 | <abastro[m]> | (You don't mean *monad going C, right?) |
| 2022-05-02 01:26:48 +0200 | <liskin> | Well the idea was that someone else should write the C compositor anyway :-) |
| 2022-05-02 01:27:41 +0200 | <liskin> | Ideally that would involve standardising a wayland protocol for speaking to a window manager, and *monad would then just implement that. |
| 2022-05-02 01:29:39 +0200 | <liskin> | I'm not entirely sure how the wayland security model works. Presumably the compositor can decide that certain clients are higher privilege than others and speak a wider range of protocols with them to allow them to control stuff like window placement or xdotool-ish things. |
| 2022-05-02 01:30:14 +0200 | <liskin> | (I read Drew DeVault's Wayland book in summer but it's more of a draft than an actual book.) |
| 2022-05-02 01:38:33 +0200 | Xdoct0r | (~Xdoct0r@131.72.69.18) |
| 2022-05-02 01:39:14 +0200 | Xdoct0r | (~Xdoct0r@131.72.69.18) (Client Quit) |
| 2022-05-02 01:41:30 +0200 | <abastro[m]> | Yea, I see |
| 2022-05-02 01:41:50 +0200 | <abastro[m]> | Sad that standard might not even care about Window Managers |
| 2022-05-02 01:42:34 +0200 | <abastro[m]> | Since wayland is OOP anyway, C++ could be good fit for it I guess |
| 2022-05-02 03:08:13 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-02 03:08:40 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-02 03:08:49 +0200 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-05-02 03:11:11 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-02 03:11:13 +0200 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-05-02 03:22:39 +0200 | steve__ | (~steve@ool-182c2b80.dyn.optonline.net) |
| 2022-05-02 04:04:56 +0200 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 272 seconds) |
| 2022-05-02 04:23:07 +0200 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2022-05-02 04:58:47 +0200 | td_ | (~td@94.134.91.69) (Ping timeout: 240 seconds) |
| 2022-05-02 05:00:46 +0200 | td_ | (~td@94.134.91.43) |
| 2022-05-02 06:04:00 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-02 06:09:59 +0200 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Remote host closed the connection) |
| 2022-05-02 06:25:00 +0200 | jakeStateless-Fa | (~jakefroms@2001:470:69fc:105::15ef) (*.net *.split) |
| 2022-05-02 06:25:00 +0200 | Zarak[m] | (~zarakmatr@2001:470:69fc:105::1:f67f) (*.net *.split) |
| 2022-05-02 06:25:00 +0200 | mekeor[m] | (~mekeormat@2001:470:69fc:105::17e4) (*.net *.split) |
| 2022-05-02 06:25:00 +0200 | Tisoxin | (~ikosit@user/ikosit) (*.net *.split) |
| 2022-05-02 06:25:00 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2022-05-02 06:25:00 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (*.net *.split) |
| 2022-05-02 06:25:12 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2022-05-02 06:25:34 +0200 | Zarak[m] | (~zarakmatr@2001:470:69fc:105::1:f67f) |
| 2022-05-02 06:25:34 +0200 | jakeStateless-Fa | (~jakefroms@2001:470:69fc:105::15ef) |
| 2022-05-02 06:25:35 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
| 2022-05-02 06:26:12 +0200 | Tisoxin | (~ikosit@user/ikosit) |
| 2022-05-02 06:26:30 +0200 | mekeor[m] | (~mekeormat@2001:470:69fc:105::17e4) |
| 2022-05-02 06:28:28 +0200 | hypoesoteric[m] | (~hypoesote@2001:470:69fc:105::1:f849) (*.net *.split) |
| 2022-05-02 06:28:29 +0200 | superusercode | (~sudousrco@2001:470:69fc:105::1:ee77) (*.net *.split) |
| 2022-05-02 06:31:12 +0200 | superusercode | (~sudousrco@2001:470:69fc:105::1:ee77) |
| 2022-05-02 06:33:02 +0200 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) |
| 2022-05-02 06:33:57 +0200 | hypoesoteric[m] | (~hypoesote@2001:470:69fc:105::1:f849) |
| 2022-05-02 06:39:16 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 06:45:02 +0200 | pthrr | (~admin@h2776122.stratoserver.net) (Remote host closed the connection) |
| 2022-05-02 06:45:26 +0200 | benin | (~benin@183.82.204.110) |
| 2022-05-02 06:50:42 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 250 seconds) |
| 2022-05-02 07:06:12 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 240 seconds) |
| 2022-05-02 08:05:05 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 08:13:20 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 260 seconds) |
| 2022-05-02 08:29:42 +0200 | 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 08:29:58 +0200 | <Solid> | it's more Emacs than XMonad content, but perhaps someone here will find it interesting as well |
| 2022-05-02 08:57:33 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-02 08:58:22 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2022-05-02 09:02:37 +0200 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 09:33:56 +0200 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 09:40:28 +0200 | <sibi> | SolidThanks for sharing, pretty interesting. I use org-roam but never used it's visualization feature, that looks cool. |
| 2022-05-02 09:40:39 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 10:11:18 +0200 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 10:14:13 +0200 | <abastro> | How is xmonad treeselect implemented? |
| 2022-05-02 10:15:12 +0200 | <abastro> | I'd like color customization but it does not provide the functionality |
| 2022-05-02 10:21:40 +0200 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 10:23:53 +0200 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Remote host closed the connection) |
| 2022-05-02 10:24:45 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-05-02 10:27:17 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 10:31:28 +0200 | [Leary] | (~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) |
| 2022-05-02 10:35:01 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-05-02 10:35:12 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 10:42:45 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-05-02 10:43:13 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 10:52:00 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 260 seconds) |
| 2022-05-02 11:00:06 +0200 | thurm[m] | (~thurmmatr@2001:470:69fc:105::c8c) (Quit: You have been kicked for being idle) |
| 2022-05-02 11:00:06 +0200 | ilmu[m] | (~ilmumatri@2001:470:69fc:105::1:ce46) (Quit: You have been kicked for being idle) |
| 2022-05-02 11:00:14 +0200 | archnola[m] | (~archnolam@2001:470:69fc:105::1:ec0b) (Quit: You have been kicked for being idle) |
| 2022-05-02 11:00:39 +0200 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 2022-05-02 11:15:03 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 11:19:08 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-02 11:46:00 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-05-02 12:05:24 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 2022-05-02 12:27:32 +0200 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 12:47:31 +0200 | Xioulious | (~yourname@193.32.249.137) (Quit: leaving) |
| 2022-05-02 13:01:35 +0200 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 13:36:17 +0200 | arjun | (~arjun@user/arjun) |
| 2022-05-02 13:41:34 +0200 | <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 13:49:31 +0200 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 13:59:18 +0200 | <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 13:59:30 +0200 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) |
| 2022-05-02 14:00:57 +0200 | <arjun> | Solid, its not like its Comic San MS : P |
| 2022-05-02 14:01:49 +0200 | <Solid> | hah, I suppose not |
| 2022-05-02 14:12:22 +0200 | <geekosaur> | comic sans is good enough for SPJ… |
| 2022-05-02 14:14:43 +0200 | <arjun> | he worked for MS |
| 2022-05-02 14:14:54 +0200 | <arjun> | they also have to use bing internally |
| 2022-05-02 14:36:56 +0200 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 14:37:42 +0200 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 14:42:39 +0200 | arjun | (~arjun@user/arjun) (Remote host closed the connection) |
| 2022-05-02 14:45:11 +0200 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 14:45:47 +0200 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 15:05:42 +0200 | abastro | (~abab9579@192.249.26.201) (Remote host closed the connection) |
| 2022-05-02 15:16:12 +0200 | Guest89 | (~Guest89@38.100.128.53) |
| 2022-05-02 15:16:33 +0200 | Guest89 | (~Guest89@38.100.128.53) (Client Quit) |
| 2022-05-02 15:47:45 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 260 seconds) |
| 2022-05-02 15:47:58 +0200 | <liskin> | Solid: do you have fuzzy search in pdf contents, and if not, try ripgrep_all and its rga-fzf script |
| 2022-05-02 15:48:08 +0200 | <liskin> | It's crazy fast. |
| 2022-05-02 15:53:47 +0200 | <liskin> | Oh and I should probably also try emacs one day, it looks really powerful. :-/ |
| 2022-05-02 15:54:31 +0200 | <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 15:54:56 +0200 | <geekosaur> | you can get most of that power from neovim if you prefer |
| 2022-05-02 15:55:02 +0200 | <liskin> | Yeah that's why I never tried - I'm very invested in the vim ecosystem |
| 2022-05-02 15:55:15 +0200 | <liskin> | But those visual goodies look tempting |
| 2022-05-02 15:55:35 +0200 | <liskin> | Can neovim do those latex equations? |
| 2022-05-02 15:56:32 +0200 | <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 15:56:40 +0200 | <geekosaur> | I suspect if you run it in gui mode someone will have something |
| 2022-05-02 15:57:05 +0200 | <geekosaur> | neovim feels to me like someone said "vi really needs all those emacs goodies, let's do it" |
| 2022-05-02 15:58:47 +0200 | abastro | (~abab9579@192.249.26.201) |
| 2022-05-02 15:59:19 +0200 | <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 15:59:28 +0200 | <abastro[m]> | Me doing VSCode... |
| 2022-05-02 15:59:45 +0200 | <abastro[m]> | sad that I am not smart enough for these advanced ones |
| 2022-05-02 16:01:48 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 16:11:33 +0200 | twiclo | (~twiclo@mail.twil.cx) (Quit: WeeChat 3.4) |
| 2022-05-02 16:26:23 +0200 | <[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 16:30:07 +0200 | <geekosaur> | I haven't had to write elisp in a long while, just the occasional cut and paste into my .emacs |
| 2022-05-02 16:46:28 +0200 | abastro | (~abab9579@192.249.26.201) (Ping timeout: 248 seconds) |
| 2022-05-02 16:48:57 +0200 | <abastro[m]> | Well, for e.g. c++ programmers, writing lisp could be luxury |
| 2022-05-02 16:51:23 +0200 | abiss27 | (~abiss27@user/abiss) |
| 2022-05-02 16:52:07 +0200 | <Solid> | liskin: oh indeed I've never heard of that :o looks fantastic, thanks :) |
| 2022-05-02 16:52:37 +0200 | <Solid> | You should definitely try Emacs; one of the great joys in life is having an excuse to write lisp! |
| 2022-05-02 16:54:01 +0200 | <liskin> | :-) |
| 2022-05-02 16:54:05 +0200 | <abastro[m]> | Excuse to write lisp.mm |
| 2022-05-02 16:54:08 +0200 | <abastro[m]> | ... |
| 2022-05-02 16:54:28 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) |
| 2022-05-02 16:55:28 +0200 | <abastro[m]> | I mean I personally dislike parens e.g. in haskell |
| 2022-05-02 16:55:36 +0200 | <abastro[m]> | Where FP mandates usage of parens |
| 2022-05-02 16:56:19 +0200 | <Solid> | elisp is not especially functional |
| 2022-05-02 16:56:30 +0200 | <Solid> | though there are libraries (like dash.el) which make it a little more so |
| 2022-05-02 16:57:18 +0200 | <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 16:57:19 +0200 | <geekosaur> | elisp is a lousy lisp |
| 2022-05-02 16:57:31 +0200 | <geekosaur> | but attempts to redo it using guile are stalled |
| 2022-05-02 16:57:44 +0200 | <Solid> | quite possibly forever, yes |
| 2022-05-02 16:57:58 +0200 | <abastro[m]> | Wdym, FP is defined by lisp /s |
| 2022-05-02 16:58:23 +0200 | <abastro[m]> | (Local expert said so) |
| 2022-05-02 16:59:26 +0200 | <geekosaur> | lisp is a notation for lambda calculus that escaped its cage :þ |
| 2022-05-02 17:01:58 +0200 | <abastro[m]> | Indeed |
| 2022-05-02 17:03:44 +0200 | abiss27 | (~abiss27@user/abiss) (Quit: hasta la vista... tchau!) |
| 2022-05-02 17:27:58 +0200 | <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 17:28:13 +0200 | <abastro[m]> | I guess FP has several competing definitions :P |
| 2022-05-02 17:28:47 +0200 | <geekosaur> | yes it does |
| 2022-05-02 17:29:08 +0200 | <geekosaur> | some of them exclude lisp entirely |
| 2022-05-02 17:31:23 +0200 | <abastro[m]> | I guess some would exclude haskell for its lousy metaprogramming support |
| 2022-05-02 17:32:44 +0200 | <geekosaur> | but some of those include it because laziness means you don't need metaprogramming for some things |
| 2022-05-02 17:35:26 +0200 | <abastro[m]> | I mean, some define FP by metaprogramming/homoiconicity |
| 2022-05-02 17:35:32 +0200 | <abastro[m]> | Soo |
| 2022-05-02 17:38:49 +0200 | <abastro[m]> | In this perspective haskell might not exist as valid language |
| 2022-05-02 17:44:37 +0200 | <geekosaur> | nobody goes that far |
| 2022-05-02 17:46:55 +0200 | <abastro[m]> | Local "expert" I mentioned earlier has gone there |
| 2022-05-02 17:49:59 +0200 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-02 18:00:32 +0200 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 2022-05-02 18:07:00 +0200 | twiclo | (~twiclo@vpn.utahbroadband.com) |
| 2022-05-02 18:11:26 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 2022-05-02 18:17:32 +0200 | arjun | (~arjun@user/arjun) |
| 2022-05-02 18:56:21 +0200 | <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 18:56:24 +0200 | <M-elo-[m]> | Does that make sense? |
| 2022-05-02 18:57:16 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-02 19:00:18 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 260 seconds) |
| 2022-05-02 19:03:24 +0200 | <geekosaur> | layouts have no clue what they are displaying |
| 2022-05-02 19:03:37 +0200 | liskin[m] | (~liskinmat@2001:470:69fc:105::768) |
| 2022-05-02 19:04:15 +0200 | <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 19:05:34 +0200 | werneta | (~werneta@137.79.197.49) |
| 2022-05-02 19:21:20 +0200 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Remote host closed the connection) |
| 2022-05-02 19:27:38 +0200 | x88x88x | (~x88x88x@149.28.53.172) |
| 2022-05-02 19:45:36 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 276 seconds) |
| 2022-05-02 20:00:42 +0200 | <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 20:00:44 +0200 | <M-elo-[m]> | I guess it's time to look for a terminal alternative to alacritty |
| 2022-05-02 20:02:41 +0200 | <arjun> | M-elo-[m], i just made the switch to kitty, because it had tabs |
| 2022-05-02 20:02:45 +0200 | <arjun> | apart from other things |
| 2022-05-02 20:03:17 +0200 | <M-elo-[m]> | I used to be a kitty user until victor mono semibold wouldn't work |
| 2022-05-02 20:03:25 +0200 | <geekosaur> | ComboP should let you group terminals together into a sublayout in which you could use subTabbed |
| 2022-05-02 20:03:36 +0200 | <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 20:03:53 +0200 | <M-elo-[m]> | geekosaur: Will have a look at it, thanks for the suggestion! |
| 2022-05-02 20:31:27 +0200 | noex | (~null@user/noex) (Ping timeout: 260 seconds) |
| 2022-05-02 20:33:14 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 2022-05-02 20:33:16 +0200 | noex | (~null@user/noex) |
| 2022-05-02 20:34:50 +0200 | Xioulious | (~yourname@193.32.249.137) |
| 2022-05-02 20:36:53 +0200 | <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 20:41:23 +0200 | <geekosaur> | it will be, yes |
| 2022-05-02 20:41:31 +0200 | <geekosaur> | @where cis194 |
| 2022-05-02 20:41:31 +0200 | <lambdabot> | https://www.seas.upenn.edu/~cis194/spring13/lectures.html |
| 2022-05-02 20:41:36 +0200 | <geekosaur> | might be helpful |
| 2022-05-02 20:42:09 +0200 | <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 20:45:29 +0200 | arjun | (~arjun@user/arjun) (Remote host closed the connection) |
| 2022-05-02 20:45:53 +0200 | <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 20:47:11 +0200 | pthrr | (~pthrr@h2776122.stratoserver.net) |
| 2022-05-02 20:47:12 +0200 | <geekosaur> | == is equal. = is not quite what you think, though |
| 2022-05-02 20:47:31 +0200 | <geekosaur> | single vertical bar can be read as "such that" (think math notation) |
| 2022-05-02 20:50:17 +0200 | <Xioulious> | am i right in thinking that -> in haskell is where normally in C = is used? |
| 2022-05-02 20:58:50 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-02 21:00:31 +0200 | <geekosaur> | -> has multiple meanings |
| 2022-05-02 21:00:58 +0200 | <geekosaur> | in a lambda or case-of it's roughly equivalent to = |
| 2022-05-02 21:01:19 +0200 | <geekosaur> | in a type signature it separates the types of parameters, and parameters from the result |
| 2022-05-02 21:01:41 +0200 | <geekosaur> | => separates constraints from parameters/result |
| 2022-05-02 21:02:17 +0200 | <geekosaur> | a constraint is something which some type must abide by |
| 2022-05-02 21:02:20 +0200 | <geekosaur> | :t (+) |
| 2022-05-02 21:02:21 +0200 | <lambdabot> | Num a => a -> a -> a |
| 2022-05-02 21:03:01 +0200 | <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 21:09:27 +0200 | <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 21:10:59 +0200 | <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 21:16:04 +0200 | <geekosaur> | if you just want Int, you say Int |
| 2022-05-02 21:16:42 +0200 | <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 21:17:06 +0200 | <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 21:20:39 +0200 | <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 21:23:29 +0200 | <geekosaur> | you have more important things to get used to before you reach typeclasses :) like laziness and IO |
| 2022-05-02 21:27:07 +0200 | <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 21:28:37 +0200 | <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 21:32:15 +0200 | <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 21:36:50 +0200 | <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 21:37:13 +0200 | <geekosaur> | they want terminals (only) to be in a tabbed layout |
| 2022-05-02 21:37:24 +0200 | <liskin> | I still end up using tmux instead of that fairly often because… dunno, just like it more |
| 2022-05-02 21:37:33 +0200 | <geekosaur> | so I figured ComboP to match the terminals by className and route them to a subTabbed layout |
| 2022-05-02 21:38:10 +0200 | <liskin> | oh, I thought the usecase is just the ability to tab windows together in the WM |
| 2022-05-02 21:50:29 +0200 | <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 21:50:49 +0200 | <geekosaur> | getting more and more stuff out of my dwindling bank account |
| 2022-05-02 21:53:07 +0200 | <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 22:33:42 +0200 | x88x88x | (~x88x88x@149.28.53.172) (Remote host closed the connection) |
| 2022-05-02 22:42:35 +0200 | x88x88x | (~x88x88x@149.28.53.172) |
| 2022-05-02 23:45:58 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-05-02 23:56:54 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |