Logs: liberachat/#haskell
| 2021-05-27 23:07:23 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds) |
| 2021-05-27 23:07:26 | <sm[m]> | tonyday: I bet you can script it up with elisp |
| 2021-05-27 23:07:49 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-27 23:08:02 | <tonyday> | I bet someone could but not me! |
| 2021-05-27 23:08:37 | → | charles joins (~charles@user/ergo) |
| 2021-05-27 23:09:42 | <monochrom> | emacs haskell-mode does have a command and hotkey for running "ghc -ddump-simpl" for you and pulling up the output in a buffer. |
| 2021-05-27 23:09:55 | <monochrom> | But it's a new buffer, and it's uncustomizable. |
| 2021-05-27 23:10:46 | <monochrom> | For example I don't always want -ddump-simpl, I may want -ddump-prep |
| 2021-05-27 23:11:08 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-27 23:11:13 | <monochrom> | For example (less often) I may want -dsuppress-all or I may not. |
| 2021-05-27 23:11:48 | <sm[m]> | look at that! almost there! |
| 2021-05-27 23:12:16 | allbery_b | is now known as geekosaur |
| 2021-05-27 23:12:21 | <monochrom> | Five more of these second-order effects later, I don't bother, I just run my ghc command in a terminal. |
| 2021-05-27 23:12:57 | <sm[m]> | but haskell-language-server would be the best place for this, right ? |
| 2021-05-27 23:14:07 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer) |
| 2021-05-27 23:14:47 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-05-27 23:15:50 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-27 23:16:18 | → | Wally joins (~Wally@dragonbox/forum-staff/wally) |
| 2021-05-27 23:16:31 | <Wally> | https://wiki.haskell.org/IRC_channel just FYI it still says freenode in the page ;) |
| 2021-05-27 23:16:55 | → | ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a) |
| 2021-05-27 23:18:21 | <monochrom> | But it's describing history. |
| 2021-05-27 23:18:53 | → | ddellacosta joins (~ddellacos@86.106.121.72) |
| 2021-05-27 23:19:08 | <monochrom> | But this is what's wrong with the haskell wiki. People are too polite to delete outdated information. |
| 2021-05-27 23:19:26 | <monochrom> | I mean look at mentioning hpaste too. |
| 2021-05-27 23:20:35 | <Morrow> | Imagine if people were the same way about bug fixing. "But it's part of the project's history!" |
| 2021-05-27 23:20:35 | <monochrom> | You know what, I was too polite too. |
| 2021-05-27 23:20:43 | <monochrom> | s/polite/chicken/ |
| 2021-05-27 23:20:53 | <monochrom> | There, more honest and brave. |
| 2021-05-27 23:20:54 | <Wally> | monochrom: yeah i'd fix it myself but I don't have an account :) |
| 2021-05-27 23:21:48 | <yushyin> | who use that wiki anyway? |
| 2021-05-27 23:22:00 | <Wally> | I just googled freenode |
| 2021-05-27 23:22:08 | <Wally> | and saw it then noticed you were pointing at libera.chat |
| 2021-05-27 23:22:13 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-05-27 23:22:16 | <Wally> | Thought it'd be good to bring it to your attention :) |
| 2021-05-27 23:22:25 | <yushyin> | right :) |
| 2021-05-27 23:22:35 | <hendursaga> | Good to be back! I had to wait 'til the onion was up |
| 2021-05-27 23:23:01 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-05-27 23:24:15 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-27 23:24:34 | × | ddellacosta quits (~ddellacos@86.106.121.72) (Ping timeout: 244 seconds) |
| 2021-05-27 23:26:44 | <hpc> | jeez, just looked at the user list and i can see why account creation is disabled |
| 2021-05-27 23:27:15 | → | bfrk1 joins (~Thunderbi@200116b84508c2004c8614311807bd60.dip.versatel-1u1.de) |
| 2021-05-27 23:27:32 | <davean> | Wally: hgolden will get you an account. |
| 2021-05-27 23:27:35 | → | srid[m] joins (~sridmatri@2001:470:69fc:105::1c2) |
| 2021-05-27 23:27:40 | × | bfrk quits (~Thunderbi@200116b845a103000156427e7b23f5f6.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2021-05-27 23:27:40 | bfrk1 | is now known as bfrk |
| 2021-05-27 23:27:51 | <davean> | Account signup is closed but account issuance is not |
| 2021-05-27 23:28:10 | <Wally> | It'd be easier if someone actually changed the stuff themselves. |
| 2021-05-27 23:28:20 | <Wally> | I don't actually use haskell so |
| 2021-05-27 23:28:28 | <hendursaga> | hpc: what user list now? |
| 2021-05-27 23:28:42 | <hpc> | https://wiki.haskell.org/Special:ListUsers |
| 2021-05-27 23:29:21 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 272 seconds) |
| 2021-05-27 23:29:30 | <srid[m]> | Is this IRC bridge or a pure Matrix room hosted at domain libera.chat (because the address certainly looks like one)? |
| 2021-05-27 23:30:24 | <hpc> | nobody knows |
| 2021-05-27 23:30:29 | <hpc> | the legends say this channel has always existed |
| 2021-05-27 23:30:31 | → | MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22) |
| 2021-05-27 23:30:38 | <hpc> | other legends say this is irc |
| 2021-05-27 23:30:52 | × | jpds quits (~jpds@tor-relay.zwiebeltoralf.de) (Ping timeout: 264 seconds) |
| 2021-05-27 23:30:54 | × | xwx quits (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-27 23:30:57 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@192.252.212.7) |
| 2021-05-27 23:31:00 | <yushyin> | srid[m]: for me it's an irc channel |
| 2021-05-27 23:31:17 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-27 23:31:35 | <srid[m]> | <hpc "other legends say this is irc"> Yet I can "quote reply" like I do on Matrix (I'm using Element.io right now). I wonder how that appears on IRC clients. |
| 2021-05-27 23:31:56 | × | cnr quits (~cnr@user/cnr) (Remote host closed the connection) |
| 2021-05-27 23:31:57 | <hpc> | literally, '<hpc "what i said"> what you said' |
| 2021-05-27 23:32:24 | <ski> | srid[m] : uglily |
| 2021-05-27 23:32:31 | srid[m] | uploaded an image: (77KiB) < https://libera.ems.host/_matrix/media/r0/download/matrix.org/mWKtkiTzHixEIkIpGqvpAtGj/image.png > |
| 2021-05-27 23:32:46 | → | xwx joins (~george@user/george) |
| 2021-05-27 23:32:54 | → | MorrowM[m] joins (~morrowmma@2001:470:69fc:105::1d0) |
| 2021-05-27 23:33:42 | <sm[m]> | srid: it appears as a little more quoting that IRC users usually do. But pretty compact all the same (just an excerpt of what matrix users see) |
| 2021-05-27 23:33:42 | <srid[m]> | Only missing marquees |
| 2021-05-27 23:33:48 | → | gambpang joins (~ian@207.181.230.156) |
| 2021-05-27 23:33:59 | <sm[m]> | but generally you want to be sparing with matrix client features in a portal room like this |
| 2021-05-27 23:34:04 | <Morrow> | It seems to lag behind quite a bit |
| 2021-05-27 23:34:21 | <Morrow> | In the Matrix -> IRC direction |
| 2021-05-27 23:34:28 | → | guest0123 joins (~aaron@2601:602:a080:fa0:3d68:2a1a:74b4:e9fa) |
| 2021-05-27 23:34:51 | MorrowM[m] | is now known as Morrow[m] |
| 2021-05-27 23:35:44 | <ski> | preflex: xseen mmorrow |
| 2021-05-27 23:36:03 | <sm[m]> | (the bridge is still in testing and could lag or be restarted any time. Most likely it'll be ready/announced in a day or two.) |
| 2021-05-27 23:36:14 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2021-05-27 23:36:24 | <Morrow[m]> | Sweet |
| 2021-05-27 23:36:44 | → | ddellacosta joins (~ddellacos@89.46.62.92) |
| 2021-05-27 23:40:20 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-05-27 23:40:20 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-05-27 23:40:20 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-05-27 23:40:22 | <Axman6> | Anyone know of a matrix (protocol) implementation for Haskell? I had a go at making one once by auto generating servant bindings but didn't get very far |
| 2021-05-27 23:40:32 | × | simmsb quits (~simmsb@2a02:c7f:343a:6d00:69bb:9905:870a:6538) (Remote host closed the connection) |
| 2021-05-27 23:41:38 | × | ddellacosta quits (~ddellacos@89.46.62.92) (Ping timeout: 264 seconds) |
| 2021-05-27 23:42:01 | × | tremon_ quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-05-27 23:43:28 | <sm[m]> | Axman6: nothing much I think |
| 2021-05-27 23:43:39 | <sm[m]> | which is a pity |
| 2021-05-27 23:43:49 | <sm[m]> | I was asking in #haskell:matrix.org yesterday about reworking glguy's glirc into a matrix client |
| 2021-05-27 23:43:49 | <Axman6> | it is a very big API |
| 2021-05-27 23:43:55 | <sm[m]> | is it ? |
| 2021-05-27 23:43:55 | <Axman6> | yes pleased |
| 2021-05-27 23:43:59 | <Axman6> | please* |
| 2021-05-27 23:44:08 | Axman6 | Sent from my glirc |
| 2021-05-27 23:44:09 | <sm[m]> | I keep hearing how easy it is to write bots etc. |
| 2021-05-27 23:45:14 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 264 seconds) |
| 2021-05-27 23:45:23 | sm[m] | finds just https://github.com/unclechu/hatrix and https://github.com/livmackintosh/matrix-sdk |
| 2021-05-27 23:45:26 | <Axman6> | I imagine not implementing the whole spec isn't too difficult |
All times are in UTC.