Logs: liberachat/#haskell
| 2021-05-21 17:20:06 | × | davve quits (davve@bsd.douchedata.com) (*.net *.split) |
| 2021-05-21 17:20:06 | × | hiruji quits (~hiruji@user/hiruji) (*.net *.split) |
| 2021-05-21 17:20:06 | acro_ | is now known as acro |
| 2021-05-21 17:20:06 | russruss3 | is now known as russruss |
| 2021-05-21 17:20:13 | <boxscape> | that sounds right to me |
| 2021-05-21 17:20:31 | <monochrom> | \∩/ first netsplit on libera! We are witnessing history! |
| 2021-05-21 17:20:40 | <boxscape> | ordinate maybe it works better with a different terminal emulator |
| 2021-05-21 17:21:09 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-05-21 17:21:20 | <ordinate> | yea i should really try that first |
| 2021-05-21 17:21:44 | <ordinate> | another step on my quest to be a super linux poweruser |
| 2021-05-21 17:21:44 | <drakonis> | nah man |
| 2021-05-21 17:21:49 | <drakonis> | i've seen the first netsplit on day 1 |
| 2021-05-21 17:21:49 | <janus> | ordinate: i know windows terminal has built in WSL support now |
| 2021-05-21 17:22:02 | <monochrom> | nice |
| 2021-05-21 17:22:13 | <ordinate> | wait theres a windows terminal??? |
| 2021-05-21 17:22:21 | <boxscape> | yeah you can get it from the microsoft store |
| 2021-05-21 17:22:36 | <boxscape> | they even added a settings GUI recently instead of just a JSON file |
| 2021-05-21 17:22:37 | <janus> | they push it a lot, and it is open source, has tabs and stuff |
| 2021-05-21 17:22:39 | → | UpstreamSalmon joins (uid12077@id-12077.stonehaven.irccloud.com) |
| 2021-05-21 17:22:45 | → | cbarrett joins (sid192934@id-192934.brockwell.irccloud.com) |
| 2021-05-21 17:22:45 | → | taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com) |
| 2021-05-21 17:22:53 | → | yumaikas joins (~yumaikas@2601:281:c700:4240:b14b:e0e:d243:de95) |
| 2021-05-21 17:22:56 | <ordinate> | oh this is so cute im using this immediately |
| 2021-05-21 17:22:59 | <janus> | just using a json file was impressive to me, 20 years ago they would have used the registry ;) |
| 2021-05-21 17:23:06 | <boxscape> | (also it supports Fira Code's ligatures) |
| 2021-05-21 17:23:16 | <ordinate> | terminus 4 lyfe |
| 2021-05-21 17:23:18 | <boxscape> | janus good point |
| 2021-05-21 17:23:29 | <monochrom> | I agree about registry :) |
| 2021-05-21 17:23:42 | <space-shell> | alacritty isn't bad |
| 2021-05-21 17:23:51 | <maerwald> | space-shell: depends |
| 2021-05-21 17:23:54 | <janus> | ordinate: but really, irssi is quite portable, so i think it probably works fine in msys2 also. seems kinda weird running a whole linux kernel for irssi if the program you're actually using doesn't need it |
| 2021-05-21 17:24:22 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-05-21 17:24:23 | <maerwald> | space-shell: it's annoyingly broken when you want to ssh, has memory consumption issues and problem on nvidia gpu |
| 2021-05-21 17:24:32 | <ordinate> | i honestly just want something to look at while i wait for nix-build to finish |
| 2021-05-21 17:24:32 | <maerwald> | also: some of the devs are hostile |
| 2021-05-21 17:24:38 | <janus> | ordinate: msys uses its own terminal emulator called Mintty, i think, i used to have msys running in windows terminal but i dunno how to do it with the new releases. there is probably a way |
| 2021-05-21 17:24:40 | <ordinate> | absolutely adore dvtm for this purpose |
| 2021-05-21 17:25:13 | <maerwald> | regardless, I use it myself, but I'm not too convinced |
| 2021-05-21 17:25:15 | → | amahl joins (~amahl@dxv5skydn0bd-5x3rclnt-3.rev.dnainternet.fi) |
| 2021-05-21 17:25:19 | <janus> | ordinate: but consider that msys is using mintty because its fits their POSIX emulation story really well. so i think it absolutely has mouse support |
| 2021-05-21 17:25:28 | <monochrom> | I also agree about IRC for killing time :) |
| 2021-05-21 17:25:28 | <space-shell> | maerwald, I've not had memory issues but I've had glitching in WSL have you tried wezterm? |
| 2021-05-21 17:25:45 | <monochrom> | in fact s/IRC/lurking in IRC/ |
| 2021-05-21 17:25:57 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-05-21 17:26:55 | <maerwald> | space-shell: https://tinyurl.com/rafdyp22 |
| 2021-05-21 17:27:23 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:a0cf:b79a:7d3c:169a) |
| 2021-05-21 17:28:08 | → | pupdogg joins (~pupdogg@141.98.255.145) |
| 2021-05-21 17:28:08 | × | pupdogg quits (~pupdogg@141.98.255.145) (Killed (ozone (No Spam))) |
| 2021-05-21 17:29:09 | → | _dwt joins (~dwt@2601:2c6:8080:618:4549:992b:1f6b:681e) |
| 2021-05-21 17:29:18 | <EvanR> | boxscape: dunno if you highlighted me yesterday but i got disconnected |
| 2021-05-21 17:29:33 | <boxscape> | erm I don't remember what we talked about yesterday :) |
| 2021-05-21 17:29:40 | <EvanR> | fair |
| 2021-05-21 17:31:32 | × | natechan quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 2021-05-21 17:31:57 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:a0cf:b79a:7d3c:169a) (Ping timeout: 248 seconds) |
| 2021-05-21 17:35:28 | <ski> | drakonis : day one, or day zero ? |
| 2021-05-21 17:35:46 | <drakonis> | day zero |
| 2021-05-21 17:35:51 | <drakonis> | the moment it opened |
| 2021-05-21 17:36:16 | <monochrom> | Darn |
| 2021-05-21 17:36:27 | × | Aran quits (~Aran@port-92-194-80-170.dynamic.as20676.net) (Quit: Leaving) |
| 2021-05-21 17:38:48 | × | caasih quits (sid13241@charlton.irccloud.com) () |
| 2021-05-21 17:39:00 | → | caasih joins (sid13241@id-13241.charlton.irccloud.com) |
| 2021-05-21 17:39:10 | × | sondre quits (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 264 seconds) |
| 2021-05-21 17:42:30 | <ordinate> | after a horrendous amount of struggle, ive finally installed puredata in a way that doesnt leak memory |
| 2021-05-21 17:42:33 | → | Deewiant joins (~deewiant@de1.ut.deewiant.iki.fi) |
| 2021-05-21 17:42:36 | <ordinate> | time to learn hosc |
| 2021-05-21 17:44:01 | <mrosenbe> | #haskell is dead, long live #haskell |
| 2021-05-21 17:44:20 | × | Morrow_ quits (~MorrowM_@147.161.12.40) (Ping timeout: 252 seconds) |
| 2021-05-21 17:44:57 | <monochrom> | So dramatic... |
| 2021-05-21 17:46:52 | <boxscape> | does text have a function to escape a text, like `show` does on Strings? |
| 2021-05-21 17:47:31 | <boxscape> | % show "\\" |
| 2021-05-21 17:47:31 | <yahb> | boxscape: "\"\\\\\"" |
| 2021-05-21 17:48:03 | <monochrom> | I think show escapes Text too. Then again the output is String not Text. |
| 2021-05-21 17:48:44 | <boxscape> | hm I guess (T.pack . show) x isn't too bad |
| 2021-05-21 17:48:53 | ← | janus parts (janus@anubis.0x90.dk) (CPU quota exceeded) |
| 2021-05-21 17:49:06 | <boxscape> | % (Data.Text.pack . show) (Data.Text.pack "\\") |
| 2021-05-21 17:49:06 | <yahb> | boxscape: "\"\\\\\"" |
| 2021-05-21 17:49:08 | <boxscape> | yeah |
| 2021-05-21 17:49:14 | → | xlei joins (znc@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 2021-05-21 17:49:29 | <boxscape> | good enough for my purposes |
| 2021-05-21 17:50:32 | × | hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection) |
| 2021-05-21 17:50:55 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-05-21 17:51:36 | × | tose quits (~tose@ip-85-160-8-43.eurotel.cz) (Ping timeout: 245 seconds) |
| 2021-05-21 17:52:16 | ← | PeterD parts (~petrus@catv-86-101-33-147.catv.broadband.hu) (WeeChat 3.1) |
| 2021-05-21 17:54:31 | × | littlefinger quits (~00000000@selfhost1.threedot14.com) (Quit: Client closed) |
| 2021-05-21 17:59:09 | → | Ariakenom_ joins (~Ariakenom@2001:9b1:efb:fc00:2c50:e3ba:562f:9049) |
| 2021-05-21 17:59:31 | → | ddellacosta joins (~ddellacos@86.106.121.92) |
| 2021-05-21 17:59:38 | → | madjestic joins (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-05-21 17:59:40 | → | FreeVariable joins (FreeVariab@107.161.19.109) |
| 2021-05-21 17:59:45 | × | ddellaco_ quits (~ddellacos@86.106.121.92) (Read error: Connection reset by peer) |
| 2021-05-21 17:59:52 | <yin> | someone whould really update https://www.haskell.org/irc |
| 2021-05-21 17:59:52 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-05-21 18:00:24 | × | ordinate quits (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
| 2021-05-21 18:00:24 | → | ordinate_ joins (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) |
| 2021-05-21 18:00:24 | × | ordinate_ quits (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) (Client Quit) |
| 2021-05-21 18:00:24 | × | erickgnavar quits (~user@189.216.64.154) (Ping timeout: 245 seconds) |
| 2021-05-21 18:01:23 | × | malvo quits (~malvo@malvo.org) (Ping timeout: 245 seconds) |
| 2021-05-21 18:01:24 | × | lyxia quits (~lyxia@poisson.chat) (Quit: WeeChat 3.1) |
| 2021-05-21 18:01:32 | × | WikiLycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-21 18:01:36 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:2c50:e3ba:562f:9049) (Ping timeout: 245 seconds) |
| 2021-05-21 18:01:40 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-87.cust.tzulo.com) (Read error: Connection reset by peer) |
All times are in UTC.