| 2023-03-25 00:00:26 +0100 | <mayanhavoc> | int-e that's really good to hear, I'm literally sweating over here trying to not get lost |
| 2023-03-25 00:00:44 +0100 | <EvanR> | to understand the binding structure of (\a.a(\a.a)) you could write it down with colored pencils, write all the a bound by the same lambda in one color |
| 2023-03-25 00:01:03 +0100 | <EvanR> | enable IRC colors for the channel! |
| 2023-03-25 00:01:11 +0100 | <int-e> | eww |
| 2023-03-25 00:01:14 +0100 | <EvanR> | lol |
| 2023-03-25 00:01:23 +0100 | <int-e> | (it's okay, I just won't see them) |
| 2023-03-25 00:01:36 +0100 | <mayanhavoc> | EvanR thank you! That's a great idea! |
| 2023-03-25 00:02:03 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-03-25 00:02:22 +0100 | <int-e> | you can do alpha-renaming instead too; (\a.a(\a.a)) is alpha-equivalent to (\a.a(\b.b)) |
| 2023-03-25 00:02:37 +0100 | <EvanR> | (\red.red(\blue.blue)) |
| 2023-03-25 00:02:55 +0100 | <int-e> | one lambda, two lambdas, red lambda, blue lambda. |
| 2023-03-25 00:04:03 +0100 | Ashkan | (~Ashkan@a119011.upc-a.chello.nl) (Quit: Client closed) |
| 2023-03-25 00:04:26 +0100 | <mayanhavoc> | so (\red.red(\blue.blue)) \blue(\blue.blue) right? |
| 2023-03-25 00:05:00 +0100 | <int-e> | not sure what that means |
| 2023-03-25 00:05:17 +0100 | <int-e> | if those are two separate terms, they're not equivalent |
| 2023-03-25 00:05:18 +0100 | <EvanR> | having \blue(\blue.blue) kind of defeats the purpose |
| 2023-03-25 00:05:29 +0100 | <EvanR> | should be different colors |
| 2023-03-25 00:07:24 +0100 | <EvanR> | and while you do that color game, write free variables in normal pencil to indicate there's no lambda for it |
| 2023-03-25 00:08:02 +0100 | irrgit__ | (~irrgit@176.113.74.74) |
| 2023-03-25 00:08:25 +0100 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-03-25 00:08:26 +0100 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2023-03-25 00:09:56 +0100 | <mayanhavoc> | Ok... I'm going to go try practice this, see if I can make it make sense. Thank you so much for the help!! |
| 2023-03-25 00:10:11 +0100 | <int-e> | EvanR: there are many shades of blue |
| 2023-03-25 00:10:41 +0100 | mayanhavoc | (~mayanhavo@2607:fb90:b126:4244:a919:fd57:240f:2c7) () |
| 2023-03-25 00:10:53 +0100 | mayanhavoc | (~mayanhavo@2607:fb90:b126:4244:a919:fd57:240f:2c7) |
| 2023-03-25 00:11:00 +0100 | irrgit_ | (~irrgit@86.106.90.226) (Ping timeout: 255 seconds) |
| 2023-03-25 00:11:02 +0100 | mayanhavoc | (~mayanhavo@2607:fb90:b126:4244:a919:fd57:240f:2c7) (Quit: Client closed) |
| 2023-03-25 00:11:33 +0100 | Ashkan | (~Ashkan@a119011.upc-a.chello.nl) |
| 2023-03-25 00:11:56 +0100 | <EvanR> | https://i.imgur.com/9VXbiUS.png drat too late |
| 2023-03-25 00:18:00 +0100 | mayanhavoc | (~mayanhavo@2607:fb90:b126:4244:a919:fd57:240f:2c7) |
| 2023-03-25 00:18:40 +0100 | mayanhavoc | (~mayanhavo@2607:fb90:b126:4244:a919:fd57:240f:2c7) (Client Quit) |
| 2023-03-25 00:19:25 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-25 00:20:19 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 00:20:41 +0100 | <int-e> | EvanR: https://int-e.eu/~bf3/tmp/blue.png |
| 2023-03-25 00:22:30 +0100 | <EvanR> | that's why you can store infinite information in the spin of an electron. a*up + b*down where a (or b) are reals (complex) |
| 2023-03-25 00:23:02 +0100 | <EvanR> | keep subdividing until you have enough megabits |
| 2023-03-25 00:23:13 +0100 | <int-e> | That's just fairies dancing on a pin. |
| 2023-03-25 00:23:46 +0100 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 276 seconds) |
| 2023-03-25 00:23:58 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 00:24:44 +0100 | <EvanR> | something something James Burke Connections about the smallest noticable difference |
| 2023-03-25 00:25:14 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2023-03-25 00:33:10 +0100 | Techcable | (~Techcable@user/Techcable) |
| 2023-03-25 00:40:22 +0100 | ioldoortdddddotm | (~ioldoortd@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-03-25 00:43:14 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-03-25 00:43:50 +0100 | sp00kins | (~sp00kins@97.sub-174-216-176.myvzw.com) (Quit: sp00kins) |
| 2023-03-25 00:47:09 +0100 | Albina_Pavlovna | (~Albina_Pa@2603-7000-76f0-76e0-7893-ded3-4e0c-2135.res6.spectrum.com) (Quit: ZZZzzz…) |
| 2023-03-25 00:47:26 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 00:48:00 +0100 | Albina_Pavlovna | (~Albina_Pa@2603-7000-76f0-76e0-7893-ded3-4e0c-2135.res6.spectrum.com) |
| 2023-03-25 00:49:37 +0100 | sp00kins | (~sp00kins@97.sub-174-216-176.myvzw.com) |
| 2023-03-25 00:50:38 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-25 00:50:38 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-25 00:50:38 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-25 00:50:49 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 00:52:01 +0100 | acidjnk | (~acidjnk@p200300d6e715c457c536ba982fab447f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-03-25 00:52:16 +0100 | nate4 | (~nate@98.45.169.16) |
| 2023-03-25 00:56:43 +0100 | sp00kins | (~sp00kins@97.sub-174-216-176.myvzw.com) (Quit: sp00kins) |
| 2023-03-25 00:56:54 +0100 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 255 seconds) |
| 2023-03-25 00:57:34 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2023-03-25 01:00:29 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-03-25 01:04:17 +0100 | mauke_ | (~mauke@user/mauke) |
| 2023-03-25 01:05:31 +0100 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-03-25 01:05:31 +0100 | mauke_ | mauke |
| 2023-03-25 01:13:26 +0100 | Albina_Pavlovna | (~Albina_Pa@2603-7000-76f0-76e0-7893-ded3-4e0c-2135.res6.spectrum.com) (Quit: ZZZzzz…) |
| 2023-03-25 01:14:06 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 01:14:35 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 01:22:24 +0100 | chomwitt | (~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 2023-03-25 01:23:59 +0100 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2023-03-25 01:24:01 +0100 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 240 seconds) |
| 2023-03-25 01:27:02 +0100 | Ashkan | (~Ashkan@a119011.upc-a.chello.nl) (Quit: Client closed) |
| 2023-03-25 01:32:01 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2023-03-25 01:32:31 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2023-03-25 01:34:13 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-03-25 01:44:50 +0100 | zeenk | (~zeenk@2a02:2f04:a307:2300::fba) (Quit: Konversation terminated!) |
| 2023-03-25 01:45:55 +0100 | gurkenglas | (~gurkengla@dynamic-089-015-238-223.89.15.238.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2023-03-25 01:58:33 +0100 | barzo | (~hd@31.223.42.120) |
| 2023-03-25 02:10:45 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-03-25 02:16:52 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-03-25 02:23:10 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-03-25 02:27:07 +0100 | Albina_Pavlovna | (~Albina_Pa@2603-7000-76f0-76e0-347b-7510-75e8-036f.res6.spectrum.com) |
| 2023-03-25 02:29:25 +0100 | Albina_Pavlovna | (~Albina_Pa@2603-7000-76f0-76e0-347b-7510-75e8-036f.res6.spectrum.com) (Client Quit) |
| 2023-03-25 02:30:53 +0100 | Albina_Pavlovna | (~Albina_Pa@2603-7000-76f0-76e0-347b-7510-75e8-036f.res6.spectrum.com) |
| 2023-03-25 02:44:23 +0100 | dipper_ | (~dipper@117.61.126.31) |
| 2023-03-25 02:46:27 +0100 | ioldoortdddddotm | (~ioldoortd@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-03-25 02:49:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-03-25 02:49:54 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-03-25 02:51:11 +0100 | npmania1 | (~Thunderbi@138.199.21.237) |
| 2023-03-25 02:53:00 +0100 | npmania | (~Thunderbi@45.8.223.223) (Ping timeout: 255 seconds) |
| 2023-03-25 02:53:01 +0100 | npmania1 | npmania |
| 2023-03-25 02:53:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-03-25 03:11:05 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-03-25 03:18:19 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-03-25 03:21:47 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-25 03:22:35 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-03-25 03:23:39 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-25 03:24:16 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 03:24:27 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 03:24:57 +0100 | razetime | (~Thunderbi@117.193.3.109) |
| 2023-03-25 03:27:59 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-03-25 03:45:25 +0100 | nate4 | (~nate@98.45.169.16) |
| 2023-03-25 03:53:23 +0100 | barzo | (~hd@31.223.42.120) (Remote host closed the connection) |
| 2023-03-25 03:53:32 +0100 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.8) |
| 2023-03-25 03:53:43 +0100 | barzo | (~hd@31.223.42.120) |
| 2023-03-25 04:06:10 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-03-25 04:06:34 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-03-25 04:10:04 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 04:10:19 +0100 | lagash- | (lagash@lagash.shelltalk.net) |
| 2023-03-25 04:11:55 +0100 | td_ | (~td@i5387091E.versanet.de) (Ping timeout: 268 seconds) |
| 2023-03-25 04:13:07 +0100 | td_ | (~td@i5387090E.versanet.de) |
| 2023-03-25 04:16:37 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection) |
| 2023-03-25 04:22:21 +0100 | barzo | (~hd@31.223.42.120) (Remote host closed the connection) |
| 2023-03-25 04:22:43 +0100 | barzo | (~hd@31.223.42.120) |
| 2023-03-25 04:25:26 +0100 | barzo | (~hd@31.223.42.120) (Client Quit) |
| 2023-03-25 04:25:46 +0100 | Albina_Pavlovna | (~Albina_Pa@2603-7000-76f0-76e0-347b-7510-75e8-036f.res6.spectrum.com) (Quit: bb) |
| 2023-03-25 04:26:11 +0100 | shapr | (~user@68.54.166.125) (Ping timeout: 250 seconds) |
| 2023-03-25 04:28:01 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-03-25 04:31:38 +0100 | sp00kins | (~sp00kins@97.73.80.190) |
| 2023-03-25 04:34:01 +0100 | lagash- | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 04:36:31 +0100 | razetime | (~Thunderbi@117.193.3.109) (Ping timeout: 240 seconds) |
| 2023-03-25 04:38:08 +0100 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 246 seconds) |
| 2023-03-25 04:40:13 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2023-03-25 04:44:28 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-03-25 04:44:28 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-03-25 04:44:28 +0100 | finn_elija | FinnElija |
| 2023-03-25 04:44:50 +0100 | jargon | (~jargon@174-22-223-2.phnx.qwest.net) (Remote host closed the connection) |
| 2023-03-25 04:48:39 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2023-03-25 04:49:18 +0100 | Blightmain | (~Blightmai@27-33-97-127.tpgi.com.au) |
| 2023-03-25 04:52:58 +0100 | razetime | (~Thunderbi@117.193.3.109) |
| 2023-03-25 04:54:57 +0100 | razetime | (~Thunderbi@117.193.3.109) (Client Quit) |
| 2023-03-25 04:56:46 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 276 seconds) |
| 2023-03-25 04:58:26 +0100 | xff0x | (~xff0x@2405:6580:b080:900:80fa:94f9:970f:6a14) |
| 2023-03-25 04:59:14 +0100 | sp00kins | (~sp00kins@97.73.80.190) (Quit: sp00kins) |
| 2023-03-25 05:05:03 +0100 | xff0x | (~xff0x@2405:6580:b080:900:80fa:94f9:970f:6a14) (Ping timeout: 265 seconds) |
| 2023-03-25 05:05:28 +0100 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-03-25 05:05:33 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-03-25 05:05:38 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-03-25 05:06:00 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-03-25 05:06:09 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-03-25 05:31:57 +0100 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2023-03-25 05:36:47 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-03-25 05:38:59 +0100 | sp00kins | (~sp00kins@97.73.80.190) |
| 2023-03-25 05:39:07 +0100 | sp00kins | (~sp00kins@97.73.80.190) (Read error: Connection reset by peer) |
| 2023-03-25 05:39:29 +0100 | sp00kins | (~sp00kins@97.sub-174-216-176.myvzw.com) |
| 2023-03-25 05:42:06 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-25 05:43:02 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 05:43:30 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-25 05:43:50 +0100 | monochrom | (trebla@216.138.220.146) |
| 2023-03-25 05:45:31 +0100 | vglfr | (~vglfr@88.155.57.120) (Ping timeout: 276 seconds) |
| 2023-03-25 05:49:58 +0100 | vglfr | (~vglfr@88.155.57.120) |
| 2023-03-25 05:50:01 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-03-25 05:51:35 +0100 | Guest|41 | (~Guest|41@33ba71ee.skybroadband.com) |
| 2023-03-25 05:54:31 +0100 | sp00kins | (~sp00kins@97.sub-174-216-176.myvzw.com) (Quit: sp00kins) |
| 2023-03-25 05:56:31 +0100 | mei | (~mei@user/mei) (Ping timeout: 240 seconds) |
| 2023-03-25 05:58:36 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2023-03-25 06:06:29 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 06:06:44 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-03-25 06:19:13 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-03-25 06:23:45 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-03-25 06:25:47 +0100 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 250 seconds) |
| 2023-03-25 06:27:42 +0100 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-03-25 06:34:04 +0100 | mei | (~mei@user/mei) |
| 2023-03-25 06:35:36 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 2023-03-25 06:37:13 +0100 | raym | (~ray@user/raym) (Remote host closed the connection) |
| 2023-03-25 06:44:08 +0100 | antlers314 | (~stinkydee@072-129-177-139.res.spectrum.com) |
| 2023-03-25 06:46:39 +0100 | npmania1 | (~Thunderbi@91.193.7.45) |
| 2023-03-25 06:47:27 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-03-25 06:47:31 +0100 | npmania | (~Thunderbi@138.199.21.237) (Ping timeout: 265 seconds) |
| 2023-03-25 06:47:32 +0100 | npmania1 | npmania |
| 2023-03-25 06:48:09 +0100 | trev | (~trev@user/trev) |
| 2023-03-25 06:50:55 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-25 06:53:45 +0100 | thegeekinside | (~thegeekin@189.141.115.134) (Ping timeout: 255 seconds) |
| 2023-03-25 06:56:44 +0100 | npmania1 | (~Thunderbi@91.193.7.10) |
| 2023-03-25 06:57:47 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-03-25 06:58:01 +0100 | npmania | (~Thunderbi@91.193.7.45) (Ping timeout: 240 seconds) |
| 2023-03-25 06:58:01 +0100 | npmania1 | npmania |
| 2023-03-25 06:58:48 +0100 | Guest|41 | (~Guest|41@33ba71ee.skybroadband.com) (Quit: Connection closed) |
| 2023-03-25 07:00:50 +0100 | pavonia | (~user@user/siracusa) |
| 2023-03-25 07:02:54 +0100 | bliminse | (~bliminse@user/bliminse) |
| 2023-03-25 07:03:28 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2023-03-25 07:14:34 +0100 | Blightmain | (~Blightmai@27-33-97-127.tpgi.com.au) (Remote host closed the connection) |
| 2023-03-25 07:18:14 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 07:38:28 +0100 | shelby | (~thomas_sh@115.96.217.126) |
| 2023-03-25 07:39:22 +0100 | <shelby> | hi.. i have installed spacemacs and configured it for haskell.. Can someone share or point how to compile files from spacemacs itself? |
| 2023-03-25 07:41:16 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 07:46:46 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-03-25 07:49:59 +0100 | gurkenglas | (~gurkengla@dynamic-089-015-238-223.89.15.238.pool.telefonica.de) |
| 2023-03-25 07:52:53 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-03-25 08:00:12 +0100 | razetime | (~Thunderbi@117.193.3.109) |
| 2023-03-25 08:05:16 +0100 | razetime | (~Thunderbi@117.193.3.109) (Ping timeout: 276 seconds) |
| 2023-03-25 08:07:29 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 08:08:02 +0100 | antlers314 | (~stinkydee@072-129-177-139.res.spectrum.com) (Quit: Leaving) |
| 2023-03-25 08:09:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a) (Remote host closed the connection) |
| 2023-03-25 08:15:47 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-03-25 08:30:06 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 08:34:21 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 08:51:15 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-03-25 08:53:13 +0100 | zeenk | (~zeenk@2a02:2f04:a307:2300::fba) |
| 2023-03-25 08:55:39 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-25 09:10:19 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-03-25 09:10:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1972:e460:868d:c9ce) |
| 2023-03-25 09:13:36 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 09:14:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1972:e460:868d:c9ce) (Ping timeout: 240 seconds) |
| 2023-03-25 09:15:12 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2023-03-25 09:15:12 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2023-03-25 09:15:15 +0100 | allbery_b | geekosaur |
| 2023-03-25 09:15:56 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-25 09:16:04 +0100 | cheater_ | cheater |
| 2023-03-25 09:17:50 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-03-25 09:18:17 +0100 | zeenk | (~zeenk@2a02:2f04:a307:2300::fba) (Remote host closed the connection) |
| 2023-03-25 09:18:39 +0100 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-03-25 09:19:54 +0100 | razetime | (~Thunderbi@117.193.3.109) |
| 2023-03-25 09:20:40 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-25 09:20:51 +0100 | acidjnk | (~acidjnk@p200300d6e715c489499042d1e62d184f.dip0.t-ipconnect.de) |
| 2023-03-25 09:22:56 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-25 09:32:09 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-25 09:32:35 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-25 09:34:32 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 09:34:34 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 09:36:38 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 09:38:55 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-25 09:39:05 +0100 | cheater_ | cheater |
| 2023-03-25 09:43:03 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-25 09:43:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-03-25 09:44:11 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-25 09:45:00 +0100 | razetime | (~Thunderbi@117.193.3.109) (Remote host closed the connection) |
| 2023-03-25 09:50:58 +0100 | Ashkan | (~Ashkan@a119011.upc-a.chello.nl) |
| 2023-03-25 09:54:29 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-03-25 09:57:52 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 09:57:57 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 265 seconds) |
| 2023-03-25 09:59:36 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-25 10:00:08 +0100 | M0rphee[m] | (~M0rpheema@2001:470:69fc:105::2:b1ce) (Quit: You have been kicked for being idle) |
| 2023-03-25 10:03:09 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-03-25 10:04:02 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-25 10:04:29 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 10:04:40 +0100 | shelby | (~thomas_sh@115.96.217.126) (Quit: Leaving) |
| 2023-03-25 10:11:14 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-25 10:12:11 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-03-25 10:12:29 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-25 10:13:33 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-03-25 10:13:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-03-25 10:15:39 +0100 | Vajb | (~Vajb@2001:999:489:7277:ab48:5ab4:36c5:acd3) (Ping timeout: 260 seconds) |
| 2023-03-25 10:19:36 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 10:22:17 +0100 | Vajb | (~Vajb@85-76-43-161-nat.elisa-mobile.fi) |
| 2023-03-25 10:22:27 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-03-25 10:22:58 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-03-25 10:24:47 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 10:26:05 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-03-25 10:26:35 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-25 10:29:26 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-03-25 10:37:02 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-03-25 10:37:22 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-03-25 10:37:54 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Client Quit) |
| 2023-03-25 10:38:13 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-03-25 10:38:38 +0100 | son0p | (~ff@181.136.122.143) (Ping timeout: 246 seconds) |
| 2023-03-25 10:39:10 +0100 | <ncf> | EvanR: isn't the entire point of *quantum* physics that you can't subdivide arbitrarily small? :D (i have no idea) |
| 2023-03-25 10:39:54 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-25 10:45:58 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-03-25 10:48:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-25 10:48:33 +0100 | n0den1te | (~n0den1te@223.178.84.15) |
| 2023-03-25 10:48:43 +0100 | <[exa]> | ncf: iirc, they usually dodge that question |
| 2023-03-25 10:51:47 +0100 | kenran | (~user@user/kenran) |
| 2023-03-25 10:52:22 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-03-25 10:53:17 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-25 10:56:15 +0100 | gurkenglas | (~gurkengla@dynamic-089-015-238-223.89.15.238.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-03-25 10:57:01 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-03-25 10:57:54 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-03-25 11:00:53 +0100 | img | (~img@user/img) |
| 2023-03-25 11:01:34 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-03-25 11:03:16 +0100 | Ashkan | (~Ashkan@a119011.upc-a.chello.nl) (Quit: Client closed) |
| 2023-03-25 11:03:41 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 2023-03-25 11:07:36 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 11:12:57 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5998:513:a413:adec) |
| 2023-03-25 11:17:43 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5998:513:a413:adec) (Ping timeout: 260 seconds) |
| 2023-03-25 11:18:58 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Ping timeout: 276 seconds) |
| 2023-03-25 11:19:34 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 11:19:51 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-03-25 11:21:25 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-25 11:21:34 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-25 11:21:40 +0100 | cheater__ | cheater |
| 2023-03-25 11:23:38 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-25 11:24:01 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 11:24:30 +0100 | n0den1te | (~n0den1te@223.178.84.15) (Read error: Connection reset by peer) |
| 2023-03-25 11:25:06 +0100 | phma | (phma@2001:5b0:210d:9a38:acff:41d6:73ae:16da) (Read error: Connection reset by peer) |
| 2023-03-25 11:26:25 +0100 | phma | (~phma@2001:5b0:211c:1f8:75f8:8512:951:ec52) |
| 2023-03-25 11:30:28 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-25 11:31:58 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 276 seconds) |
| 2023-03-25 11:32:37 +0100 | vglfr | (~vglfr@88.155.57.120) (Ping timeout: 276 seconds) |
| 2023-03-25 11:34:14 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-03-25 11:35:24 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-03-25 11:40:53 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2023-03-25 11:49:35 +0100 | dcoutts | (~duncan@host165-120-97-41.range165-120.btcentralplus.com) |
| 2023-03-25 11:52:07 +0100 | dcoutts_ | (~duncan@host165-120-97-41.range165-120.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2023-03-25 11:52:48 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 11:54:59 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-03-25 11:56:55 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-03-25 11:59:57 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 12:04:52 +0100 | vglfr | (~vglfr@88.155.57.120) |
| 2023-03-25 12:08:35 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 264 seconds) |
| 2023-03-25 12:09:20 +0100 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-03-25 12:10:49 +0100 | chomwitt | (~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1) |
| 2023-03-25 12:11:53 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-03-25 12:14:39 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-25 12:19:42 +0100 | vglfr | (~vglfr@88.155.57.120) (Ping timeout: 268 seconds) |
| 2023-03-25 12:20:03 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 12:25:49 +0100 | damax | (~damax@gateway/tor-sasl/damax) |
| 2023-03-25 12:26:59 +0100 | vglfr | (~vglfr@88.155.57.120) |
| 2023-03-25 12:31:06 +0100 | <damax> | Hello there, may I ask for some help with a ghcup installation? I am on archlinux with 6.2.8 kernel, ghcup 0.1.19.2 from AUR, GHC 9.2.5, cabal 3.6.2.0, HSL 1.9.0.0 and 1.9.1.0 (for vscode extension), Stack 2.9.3 (with its own GHC 9.2.7). Yesterday I tried installing pandoc with 'stack install pandoc', and then tried installing pandoc-cli, as per instruction by pandoc documentation, but that didn't work |
| 2023-03-25 12:31:12 +0100 | <damax> | because of versions requirements mismatch. Turned out I installed pandoc 2.19.2, since hackage says that's the latest version, but in truth on hackage there's also the latest 3.1.1 |
| 2023-03-25 12:31:28 +0100 | <damax> | My question is: why is hackage showing older versions? Did I get something wrong with my own tools versions? |
| 2023-03-25 12:34:12 +0100 | <jackdk> | I don't know stack especially well, but ISTR it has a notion of an implicit global project, and if that installed ghc 9.2.7 it probably pulled down the pandoc from the stackage snapshot that provided GHC: https://www.stackage.org/lts-20.15 says pandoc 2.19.2 |
| 2023-03-25 12:40:57 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-25 12:42:04 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-25 12:42:12 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-03-25 12:42:27 +0100 | <damax> | So I should probably get Stack to use another GHC? How can I do that? |
| 2023-03-25 12:42:50 +0100 | <damax> | Or, actually, get it to use a different resolver? |
| 2023-03-25 12:44:32 +0100 | <jackdk> | I don't remember, you'll have to check the docs. Or use cabal. |
| 2023-03-25 12:44:34 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-25 12:44:37 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 12:46:15 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 12:46:31 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 12:46:40 +0100 | cheater_ | cheater |
| 2023-03-25 12:50:55 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-03-25 12:58:40 +0100 | <damax> | Great, thanks for pointing me in the right direction! |
| 2023-03-25 13:01:44 +0100 | a_coll | (~acoll@45.92.120.189) |
| 2023-03-25 13:02:50 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-25 13:05:07 +0100 | <jackdk> | Best of luck! |
| 2023-03-25 13:07:38 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 13:08:05 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 13:08:23 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-25 13:08:24 +0100 | cheater_ | cheater |
| 2023-03-25 13:09:12 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 13:10:08 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:51a8:e4ff:15ed:6357) (Remote host closed the connection) |
| 2023-03-25 13:10:27 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-03-25 13:11:15 +0100 | damax | (~damax@gateway/tor-sasl/damax) (Quit: leaving) |
| 2023-03-25 13:13:01 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-03-25 13:13:09 +0100 | cheater_ | cheater |
| 2023-03-25 13:22:41 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 13:23:22 +0100 | Vajb | (~Vajb@85-76-43-161-nat.elisa-mobile.fi) (Ping timeout: 265 seconds) |
| 2023-03-25 13:26:47 +0100 | Vajb | (~Vajb@2001:999:40c:13d9:8e03:c3a5:f9c8:cadc) |
| 2023-03-25 13:30:37 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-25 13:31:51 +0100 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2023-03-25 13:33:30 +0100 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-03-25 13:35:25 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 13:36:18 +0100 | mastarija | (~mastarija@188.252.197.99) |
| 2023-03-25 13:38:33 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-03-25 13:39:22 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 13:41:06 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-25 13:43:16 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-25 13:43:16 +0100 | cheater__ | cheater |
| 2023-03-25 13:44:15 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-25 13:46:08 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 13:59:07 +0100 | Ashkan | (~Ashkan@a119011.upc-a.chello.nl) |
| 2023-03-25 13:59:17 +0100 | oak- | (~oak-@2001:470:69fc:105::fcd) |
| 2023-03-25 14:09:01 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 14:10:55 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 14:11:54 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 14:12:37 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-25 14:13:29 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-25 14:14:01 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-25 14:14:25 +0100 | <cdsmith> | With GHC Generics, you get a type family Rep to convert a type to its generic representation. I'm looking for something like UnRep to construct a type from a representation. For example, UnRep V1 = Void, UnRep U1 = (), UnRep (f :+: g) = Either (UnRep f) (UnRep g), etc. I was surprised something like this doesn't seem to already exist! Unless I just missed it? |
| 2023-03-25 14:14:36 +0100 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 2023-03-25 14:15:05 +0100 | cheater___ | (~Username@user/cheater) |
| 2023-03-25 14:15:47 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-03-25 14:15:50 +0100 | cheater___ | cheater |
| 2023-03-25 14:17:29 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-25 14:18:26 +0100 | cheater__ | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-25 14:26:58 +0100 | <[exa]> | cdsmith: that's a bit problematic but check out how e.g. surgeries do that |
| 2023-03-25 14:27:25 +0100 | <[exa]> | e.g. here https://hackage.haskell.org/package/generic-data-surgery-0.3.0.0/docs/Generic-Data-Surgery.html |
| 2023-03-25 14:29:13 +0100 | <[exa]> | in short, they make their own reverse Rep. :] |
| 2023-03-25 14:30:18 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 14:32:31 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 14:32:34 +0100 | cheater_ | cheater |
| 2023-03-25 14:38:05 +0100 | Everything | (~Everythin@46.185.124.65) |
| 2023-03-25 14:38:26 +0100 | irrgit_ | (~irrgit@146.70.27.250) |
| 2023-03-25 14:39:10 +0100 | <cdsmith> | Okay, thanks [exa] At least I know I didn't miss anything obvious. :) |
| 2023-03-25 14:40:41 +0100 | raym | (~ray@user/raym) |
| 2023-03-25 14:41:24 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-03-25 14:41:31 +0100 | irrgit__ | (~irrgit@176.113.74.74) (Ping timeout: 240 seconds) |
| 2023-03-25 14:46:00 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 14:47:40 +0100 | <byorgey> | cdsmith: I'm curious, what would (UnRep g) buy you that the generic representation g doesn't give you already? Just getting rid of unneeded detail? |
| 2023-03-25 14:47:44 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-25 14:47:46 +0100 | cheater_ | cheater |
| 2023-03-25 14:48:31 +0100 | vglfr | (~vglfr@88.155.57.120) (Ping timeout: 240 seconds) |
| 2023-03-25 14:49:32 +0100 | <cdsmith> | Ultimately, I will be doing additional generic stuff, recursively, to the result, and it seemed not great to end up with a Rep (Rep (Rep (Rep (Rep f)))). Maybe I just shouldn't worry about it though? |
| 2023-03-25 14:51:03 +0100 | <cdsmith> | At one point I definitely needed something to break a cycle and avoid non-termination of the type checker, too... but I don't fully understand what happened there. |
| 2023-03-25 14:52:55 +0100 | <byorgey> | ah, interesting |
| 2023-03-25 14:55:07 +0100 | AlexNoo | (~AlexNoo@94.233.240.192) |
| 2023-03-25 14:55:23 +0100 | AlexZenon | (~alzenon@94.233.240.192) |
| 2023-03-25 14:56:27 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-25 14:59:01 +0100 | <cdsmith> | I'm really just playing around. My weekend goal is to use the notion of derivatives as one-hole contexts to get a constructive implementation of Taylor series expansions for data types, which ultimately ends up looking something like: type Sized f :: Type -> Nat -> Type; sized :: f a -> Some (Sized f a); unsized :: Sized f a n -> f a |
| 2023-03-25 14:59:24 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-03-25 14:59:31 +0100 | <cdsmith> | But this requires taking nth derivatives for arbitrary n. (Actually a little more complicated than just derivatives, but that's the simplified version) |
| 2023-03-25 15:02:15 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-03-25 15:02:29 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 15:03:31 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-03-25 15:03:35 +0100 | cheater_ | cheater |
| 2023-03-25 15:10:07 +0100 | vglfr | (~vglfr@88.155.57.120) |
| 2023-03-25 15:13:10 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-25 15:17:51 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 15:21:06 +0100 | a_coll | (~acoll@45.92.120.189) (Remote host closed the connection) |
| 2023-03-25 15:21:43 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 15:24:12 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-25 15:24:19 +0100 | cheater_ | cheater |
| 2023-03-25 15:35:30 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-03-25 15:36:22 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2023-03-25 15:36:49 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2023-03-25 15:40:24 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 15:40:58 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 15:42:13 +0100 | kenran | (~user@user/kenran) |
| 2023-03-25 15:42:54 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-03-25 15:43:11 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-25 15:43:13 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-03-25 15:43:20 +0100 | cheater_ | cheater |
| 2023-03-25 15:49:35 +0100 | mechap | (~mechap@user/mechap) |
| 2023-03-25 15:49:51 +0100 | <[exa]> | cdsmith: well the generic advice is "don't use types for data" |
| 2023-03-25 15:53:32 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-03-25 15:55:14 +0100 | <byorgey> | cdsmith: cool! |
| 2023-03-25 15:57:57 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 15:58:36 +0100 | dcoutts_ | (~duncan@host165-120-97-41.range165-120.btcentralplus.com) |
| 2023-03-25 15:59:48 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-25 16:00:01 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 16:00:04 +0100 | cheater__ | cheater |
| 2023-03-25 16:00:31 +0100 | dcoutts | (~duncan@host165-120-97-41.range165-120.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2023-03-25 16:03:20 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-03-25 16:06:04 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 16:08:27 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-25 16:08:31 +0100 | cheater_ | cheater |
| 2023-03-25 16:10:41 +0100 | vglfr | (~vglfr@88.155.57.120) (Remote host closed the connection) |
| 2023-03-25 16:11:39 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 16:11:44 +0100 | vglfr | (~vglfr@88.155.57.120) |
| 2023-03-25 16:12:07 +0100 | Ashkan | (~Ashkan@a119011.upc-a.chello.nl) (Quit: Client closed) |
| 2023-03-25 16:14:35 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-03-25 16:14:57 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-25 16:15:06 +0100 | cheater_ | cheater |
| 2023-03-25 16:18:26 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 16:19:29 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-25 16:27:35 +0100 | russruss | (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 2023-03-25 16:29:15 +0100 | russruss | (~russruss@my.russellmcc.com) |
| 2023-03-25 16:41:05 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 16:43:01 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 16:44:58 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 16:54:29 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-25 16:56:01 +0100 | vglfr | (~vglfr@88.155.57.120) (Ping timeout: 240 seconds) |
| 2023-03-25 16:56:55 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-03-25 16:57:02 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-03-25 16:57:11 +0100 | vglfr | (~vglfr@88.155.57.120) |
| 2023-03-25 16:58:23 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-25 16:59:53 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-03-25 16:59:56 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-25 17:00:51 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 17:02:20 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-25 17:03:59 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-03-25 17:04:06 +0100 | cheater__ | cheater |
| 2023-03-25 17:05:31 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-25 17:13:57 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-03-25 17:14:15 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-03-25 17:14:18 +0100 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-03-25 17:16:41 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2023-03-25 17:17:00 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2023-03-25 17:17:17 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-03-25 17:17:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5998:513:a413:adec) |
| 2023-03-25 17:18:51 +0100 | thegeekinside | (~thegeekin@189.141.115.134) |
| 2023-03-25 17:22:19 +0100 | dipper_ | (~dipper@117.61.126.31) (Ping timeout: 276 seconds) |
| 2023-03-25 17:23:14 +0100 | thegeekinside | (~thegeekin@189.141.115.134) (Ping timeout: 246 seconds) |
| 2023-03-25 17:23:32 +0100 | vcks | (~vcks@58.84.143.91) |
| 2023-03-25 17:24:30 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 17:26:29 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-25 17:26:36 +0100 | cheater_ | cheater |
| 2023-03-25 17:34:18 +0100 | econo | (uid147250@user/econo) |
| 2023-03-25 17:35:55 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 2023-03-25 17:36:08 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 17:37:54 +0100 | mechap | (~mechap@user/mechap) |
| 2023-03-25 17:38:04 +0100 | slack1256 | (~slack1256@186.11.84.52) |
| 2023-03-25 17:41:20 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-03-25 17:41:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-03-25 17:45:03 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 17:45:13 +0100 | captnemo | (~captnemo@193.32.127.232) |
| 2023-03-25 17:47:17 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-03-25 17:47:28 +0100 | cheater_ | cheater |
| 2023-03-25 17:51:14 +0100 | gurkenglas | (~gurkengla@dynamic-089-015-238-223.89.15.238.pool.telefonica.de) |
| 2023-03-25 17:55:04 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-25 17:57:53 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-03-25 17:58:04 +0100 | sp00kins | (~sp00kins@97.sub-174-216-176.myvzw.com) |
| 2023-03-25 17:58:15 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-03-25 17:59:27 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 18:01:16 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-03-25 18:04:06 +0100 | <EvanR> | ncf, some stuff is quantized and other stuff isn't in QM |
| 2023-03-25 18:06:01 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 18:11:53 +0100 | pwntips | (~user@24-113-98-114.wavecable.com) (Ping timeout: 246 seconds) |
| 2023-03-25 18:17:38 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-03-25 18:19:01 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2023-03-25 18:19:31 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds) |
| 2023-03-25 18:23:43 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 18:29:24 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 18:33:52 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:aa43:aaf3:a9d2:17c4) |
| 2023-03-25 18:45:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-25 18:46:49 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds) |
| 2023-03-25 18:46:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-25 18:53:28 +0100 | mechap_ | (~mechap@user/mechap) |
| 2023-03-25 18:53:45 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-25 18:55:34 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-03-25 18:56:30 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 18:56:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-25 18:56:52 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 265 seconds) |
| 2023-03-25 18:56:58 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-25 18:59:17 +0100 | gurkenglas | (~gurkengla@dynamic-089-015-238-223.89.15.238.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2023-03-25 19:00:20 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 19:00:31 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 19:00:35 +0100 | cheater_ | cheater |
| 2023-03-25 19:01:45 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-03-25 19:08:53 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-25 19:12:54 +0100 | gensyst | (~gensyst@user/gensyst) |
| 2023-03-25 19:13:08 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-03-25 19:13:27 +0100 | <gensyst> | What's the "recommended" way of doing Haskell with Nix these days? developPackage? Is Gonzales tutorial now obsolete (it doesn't use developPackage) |
| 2023-03-25 19:13:37 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 19:15:27 +0100 | <davean> | gensyst: mostly it seems haskell.nix works the best? |
| 2023-03-25 19:17:07 +0100 | vcks | (~vcks@58.84.143.91) (Quit: Connection closed) |
| 2023-03-25 19:17:57 +0100 | kenran | (~user@user/kenran) |
| 2023-03-25 19:20:10 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 19:24:29 +0100 | russruss | (~russruss@my.russellmcc.com) (Ping timeout: 250 seconds) |
| 2023-03-25 19:27:00 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 19:29:18 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-25 19:30:06 +0100 | russruss | (~russruss@my.russellmcc.com) |
| 2023-03-25 19:32:58 +0100 | brettgilio | (~brettgili@x-irc.gq) (Ping timeout: 276 seconds) |
| 2023-03-25 19:33:01 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-03-25 19:33:47 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-03-25 19:37:19 +0100 | ub1 | (~Thunderbi@p548c9c54.dip0.t-ipconnect.de) |
| 2023-03-25 19:39:27 +0100 | ubert | (~Thunderbi@p548c9c54.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-03-25 19:39:28 +0100 | ub1 | ubert |
| 2023-03-25 19:41:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-25 19:41:31 +0100 | Everything | (~Everythin@46.185.124.65) (Quit: leaving) |
| 2023-03-25 19:44:55 +0100 | vcks | (~vcks@58.84.143.91) |
| 2023-03-25 19:49:52 +0100 | AlexZenon_2 | (~alzenon@94.233.240.192) |
| 2023-03-25 19:50:07 +0100 | vcks | (~vcks@58.84.143.91) (Quit: Connection closed) |
| 2023-03-25 19:51:08 +0100 | <gensyst> | davean, i have no idea.. |
| 2023-03-25 19:51:18 +0100 | <gensyst> | that's another debate |
| 2023-03-25 19:51:28 +0100 | <gensyst> | haskell.nix vs haskellPackages (nixpkgs) |
| 2023-03-25 19:51:56 +0100 | <gensyst> | and i have no idea either way |
| 2023-03-25 19:54:54 +0100 | vcks | (~vcks@58.84.143.91) |
| 2023-03-25 19:57:59 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 19:57:59 +0100 | cheater_ | cheater |
| 2023-03-25 20:00:21 +0100 | michalz | (~michalz@185.246.207.221) |
| 2023-03-25 20:05:07 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 20:07:56 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-03-25 20:11:24 +0100 | vcks | (~vcks@58.84.143.91) (Quit: Connection closed) |
| 2023-03-25 20:11:43 +0100 | AlexZenon_2 | (~alzenon@94.233.240.192) (Quit: ;-) |
| 2023-03-25 20:12:02 +0100 | Alex_test | (~al_test@94.233.240.192) |
| 2023-03-25 20:12:13 +0100 | vcks | (~vcks@58.84.143.91) |
| 2023-03-25 20:15:01 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 20:16:33 +0100 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 255 seconds) |
| 2023-03-25 20:19:03 +0100 | <davean> | gensyst: well haskellPackages has issues about like handling multiple versions of dependencies. Also lacking compilers |
| 2023-03-25 20:19:08 +0100 | <davean> | I'd discount haskellPackages entirely myself |
| 2023-03-25 20:19:38 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-03-25 20:21:29 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-03-25 20:23:17 +0100 | AlexZenon | (~alzenon@94.233.240.192) (Quit: ;-) |
| 2023-03-25 20:24:22 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 20:24:43 +0100 | Alex_test | (~al_test@94.233.240.192) (Quit: ;-) |
| 2023-03-25 20:28:15 +0100 | sp00kins | (~sp00kins@97.sub-174-216-176.myvzw.com) (Read error: Connection reset by peer) |
| 2023-03-25 20:31:20 +0100 | AlexNoo | (~AlexNoo@94.233.240.192) (Quit: Leaving) |
| 2023-03-25 20:34:32 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-03-25 20:35:35 +0100 | Techcable | (~Techcable@user/Techcable) |
| 2023-03-25 20:37:53 +0100 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 265 seconds) |
| 2023-03-25 20:39:19 +0100 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-03-25 20:39:44 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-03-25 20:44:43 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 248 seconds) |
| 2023-03-25 20:49:55 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-25 20:58:51 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 20:58:53 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 21:00:20 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 21:00:36 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-25 21:00:37 +0100 | cheater_ | cheater |
| 2023-03-25 21:05:33 +0100 | euandreh | (~Thunderbi@189.6.18.7) (Quit: euandreh) |
| 2023-03-25 21:15:19 +0100 | nschoe | (~q@2a01:e0a:8e:a190:a82f:326:25c3:ad95) |
| 2023-03-25 21:16:33 +0100 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2023-03-25 21:16:34 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-03-25 21:16:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-03-25 21:17:03 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-25 21:22:05 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 21:26:24 +0100 | vcks | (~vcks@58.84.143.91) (Quit: Connection closed) |
| 2023-03-25 21:30:05 +0100 | nschoe | (~q@2a01:e0a:8e:a190:a82f:326:25c3:ad95) (Ping timeout: 265 seconds) |
| 2023-03-25 21:36:41 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-03-25 21:39:40 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 21:42:06 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-03-25 21:45:11 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-03-25 21:45:38 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 21:46:05 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 21:46:05 +0100 | cheater_ | cheater |
| 2023-03-25 21:46:25 +0100 | mastarija | (~mastarija@188.252.197.99) (Ping timeout: 268 seconds) |
| 2023-03-25 21:46:39 +0100 | vcks | (~vcks@58.84.143.91) |
| 2023-03-25 21:56:45 +0100 | <__monty__> | Main reason to use haskellPackages is if you want to package something for Nixpkgs IMO. Haskell.nix is a lot lower friction. |
| 2023-03-25 22:00:53 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-25 22:00:54 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-25 22:00:54 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-25 22:01:23 +0100 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2023-03-25 22:10:31 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 22:13:43 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-25 22:15:08 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-25 22:15:19 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 22:17:42 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2023-03-25 22:17:42 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2023-03-25 22:17:45 +0100 | allbery_b | geekosaur |
| 2023-03-25 22:20:50 +0100 | vglfr | (~vglfr@88.155.57.120) (Ping timeout: 265 seconds) |
| 2023-03-25 22:20:52 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 22:21:56 +0100 | slac10924 | (~slack1256@191.125.227.86) |
| 2023-03-25 22:23:15 +0100 | slack1256 | (~slack1256@186.11.84.52) (Ping timeout: 265 seconds) |
| 2023-03-25 22:27:46 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 22:28:38 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-25 22:30:01 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 22:30:04 +0100 | cheater__ | cheater |
| 2023-03-25 22:30:56 +0100 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-03-25 22:32:01 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 22:34:52 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-03-25 22:36:32 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-03-25 22:43:55 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 22:47:13 +0100 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
| 2023-03-25 22:47:18 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 22:49:04 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 22:50:31 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-25 22:51:35 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-03-25 22:51:46 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2023-03-25 22:51:58 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-25 22:51:59 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-25 22:52:10 +0100 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-03-25 22:53:01 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 22:59:15 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-03-25 22:59:41 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 22:59:41 +0100 | cheater_ | cheater |
| 2023-03-25 23:00:25 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 23:02:27 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-25 23:03:57 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2023-03-25 23:04:03 +0100 | cheater__ | cheater |
| 2023-03-25 23:05:19 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-03-25 23:08:15 +0100 | vglfr | (~vglfr@88.155.38.140) |
| 2023-03-25 23:09:20 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:10e:27fe:cd37:4cd1) (Read error: Connection reset by peer) |
| 2023-03-25 23:11:14 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-25 23:11:14 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-25 23:11:14 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-25 23:12:29 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-03-25 23:13:22 +0100 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
| 2023-03-25 23:13:31 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 23:19:21 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-03-25 23:19:32 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-25 23:20:13 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-03-25 23:21:33 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-03-25 23:21:36 +0100 | slack1256 | (~slack1256@186.11.84.131) |
| 2023-03-25 23:23:46 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 23:23:53 +0100 | slac10924 | (~slack1256@191.125.227.86) (Ping timeout: 256 seconds) |
| 2023-03-25 23:24:38 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-03-25 23:24:42 +0100 | cheater_ | cheater |
| 2023-03-25 23:25:52 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 23:27:32 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-03-25 23:29:34 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2023-03-25 23:29:38 +0100 | cheater_ | cheater |
| 2023-03-25 23:31:33 +0100 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 2023-03-25 23:31:45 +0100 | lagash | (lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in) |
| 2023-03-25 23:34:10 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 23:35:31 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-03-25 23:35:36 +0100 | cheater_ | cheater |
| 2023-03-25 23:39:09 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2023-03-25 23:42:53 +0100 | pwntips | (~user@24-113-98-114.wavecable.com) |
| 2023-03-25 23:46:49 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-03-25 23:47:54 +0100 | jade1024[m] | jade[m] |
| 2023-03-25 23:48:33 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2023-03-25 23:49:25 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2023-03-25 23:51:33 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-03-25 23:53:31 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-03-25 23:54:45 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-25 23:54:45 +0100 | cheater__ | cheater |
| 2023-03-25 23:55:59 +0100 | cheater__ | (~Username@user/cheater) |
| 2023-03-25 23:56:10 +0100 | a_coll | (~acoll@45.92.120.189) |
| 2023-03-25 23:56:27 +0100 | mechap_ | mechap |
| 2023-03-25 23:56:59 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-03-25 23:58:29 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-03-25 23:59:19 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-03-25 23:59:27 +0100 | cheater__ | cheater |
