| 2023-06-25 00:12:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-25 00:12:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-25 00:12:59 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 00:13:47 +0200 | janus | (janus@anubis.0x90.dk) |
| 2023-06-25 00:16:36 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-25 00:18:27 +0200 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Quit: Leaving.) |
| 2023-06-25 00:21:20 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 246 seconds) |
| 2023-06-25 00:22:48 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-25 00:23:41 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 2023-06-25 00:23:56 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-06-25 00:27:01 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-25 00:28:52 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds) |
| 2023-06-25 00:30:54 +0200 | <hololeap> | I've got a favorite style question for you: do you prefer `deriving (Semigroup, Monoid) via Monoid.First` or just writing it out explicitly since it's so simple |
| 2023-06-25 00:31:47 +0200 | mjt128`` | (~user@2604:3d09:3e79:f200:460e:2028:18cb:b01) |
| 2023-06-25 00:34:26 +0200 | deglazewithcheet | (~deglazewi@209-188-121-236.taosnet.com) |
| 2023-06-25 00:36:17 +0200 | deglazewithcheet | shef |
| 2023-06-25 00:36:25 +0200 | mjt128` | (~user@2604:3d09:3e79:f200:e43f:251:e60e:4867) (Ping timeout: 260 seconds) |
| 2023-06-25 00:42:45 +0200 | <monochrom> | I think I like to read "deriving (Semigroup, Monoid) via Monoid.First" and need not understand any actual code, however simple. :) |
| 2023-06-25 00:42:50 +0200 | abrantesasf | (~abrantesa@179.217.48.72) |
| 2023-06-25 00:42:52 +0200 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-06-25 00:43:32 +0200 | acidjnk | (~acidjnk@p200300d6e7072f737412bceb5afbd15d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-06-25 00:43:34 +0200 | <monochrom> | Similarly I have been teaching my students that EBNF "foo ::= {bar}" is better than rolling your own "foo ::= bars; bars ::= emptystring | bar bars" |
| 2023-06-25 00:47:05 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 00:48:32 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-06-25 00:52:39 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-06-25 00:54:28 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-06-25 00:57:32 +0200 | shef | (~deglazewi@209-188-121-236.taosnet.com) (Remote host closed the connection) |
| 2023-06-25 00:59:56 +0200 | nut | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2023-06-25 01:04:00 +0200 | mjt128``` | (~user@2604:3d09:3e79:f200:1ef6:e28b:eff1:8db) |
| 2023-06-25 01:04:22 +0200 | Moyst | (~moyst@user/moyst) (Ping timeout: 245 seconds) |
| 2023-06-25 01:04:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-06-25 01:06:03 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-06-25 01:06:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-25 01:06:55 +0200 | Moyst | (~moyst@user/moyst) |
| 2023-06-25 01:08:23 +0200 | mjt128`` | (~user@2604:3d09:3e79:f200:460e:2028:18cb:b01) (Ping timeout: 264 seconds) |
| 2023-06-25 01:14:34 +0200 | Tuplanolla | (~Tuplanoll@91.159.68.236) (Quit: Leaving.) |
| 2023-06-25 01:19:32 +0200 | <jackdk> | I haven't yet found an instance where I've preferred manual instances over `-XDerivingVia` |
| 2023-06-25 01:19:34 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-06-25 01:19:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) |
| 2023-06-25 01:19:55 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-25 01:22:17 +0200 | mjt128``` | (~user@2604:3d09:3e79:f200:1ef6:e28b:eff1:8db) (Remote host closed the connection) |
| 2023-06-25 01:36:57 +0200 | <hololeap> | thanks guys |
| 2023-06-25 01:37:01 +0200 | mcglk | (~mcglk@131.191.19.145) (Remote host closed the connection) |
| 2023-06-25 01:37:57 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-25 01:43:10 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-06-25 01:48:48 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-06-25 01:50:09 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2023-06-25 01:50:20 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 250 seconds) |
| 2023-06-25 01:50:20 +0200 | mauke_ | mauke |
| 2023-06-25 01:50:33 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-06-25 01:56:53 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-25 02:02:19 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-06-25 02:03:22 +0200 | califax | (~califax@user/califx) |
| 2023-06-25 02:06:23 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection) |
| 2023-06-25 02:08:43 +0200 | dextaa | (~DV@user/dextaa) (Quit: Ping timeout (120 seconds)) |
| 2023-06-25 02:10:11 +0200 | dextaa | (~DV@user/dextaa) |
| 2023-06-25 02:22:05 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-06-25 02:22:32 +0200 | hugo- | (znc@2001:6b0:17:f0a0::17) (Ping timeout: 240 seconds) |
| 2023-06-25 02:26:58 +0200 | <Athas> | So these days, what is the fastest way to write a parser in Haskell that also stores source locations? |
| 2023-06-25 02:27:17 +0200 | <Athas> | I remember seeing an article not too long ago that showed that Happy is not actually that fast. |
| 2023-06-25 02:29:42 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-06-25 02:32:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) (Remote host closed the connection) |
| 2023-06-25 02:32:40 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-06-25 02:33:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) |
| 2023-06-25 02:33:18 +0200 | <sm> | Athas: megaparsec and call/save getSourcePos a lot ? |
| 2023-06-25 02:34:12 +0200 | <Athas> | Well... "This function is not cheap". |
| 2023-06-25 02:34:28 +0200 | <Athas> | getOffset might be all I need. |
| 2023-06-25 02:35:25 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-06-25 02:35:31 +0200 | <Athas> | I found this, which suggests that Megaparsec without getSourcePos is likely faster than my current Happy parser: https://gitlab.com/FinnBender/haskell-parsing-benchmarks |
| 2023-06-25 02:39:38 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-25 02:47:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-25 02:49:16 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-25 03:11:27 +0200 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 2023-06-25 03:11:27 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-25 03:12:28 +0200 | vulpine | (xfnw@tilde.team) |
| 2023-06-25 03:12:38 +0200 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) |
| 2023-06-25 03:14:10 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-25 03:16:03 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 03:17:36 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-25 03:19:50 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 246 seconds) |
| 2023-06-25 03:20:37 +0200 | Batzy | (~quassel@user/batzy) (Server closed connection) |
| 2023-06-25 03:20:54 +0200 | Batzy | (~quassel@user/batzy) |
| 2023-06-25 03:21:14 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-06-25 03:24:35 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-06-25 03:25:26 +0200 | falafel | (~falafel@2607:fb91:86c:d890:403c:38a4:684b:925d) |
| 2023-06-25 03:26:16 +0200 | falafel | (~falafel@2607:fb91:86c:d890:403c:38a4:684b:925d) (Remote host closed the connection) |
| 2023-06-25 03:27:30 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-25 03:28:55 +0200 | mcglk | (~mcglk@131.191.19.145) (Remote host closed the connection) |
| 2023-06-25 03:29:26 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-06-25 03:29:59 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-25 03:32:44 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-06-25 03:33:58 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Client Quit) |
| 2023-06-25 03:42:08 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-06-25 03:58:52 +0200 | nilradical | (~nilradica@user/naso) |
| 2023-06-25 03:59:00 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-06-25 03:59:33 +0200 | nilradical | (~nilradica@user/naso) (Client Quit) |
| 2023-06-25 04:00:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 04:03:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-25 04:06:05 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-25 04:06:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 04:16:34 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 04:25:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-25 04:25:41 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-25 04:25:41 +0200 | finn_elija | FinnElija |
| 2023-06-25 04:25:55 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 04:26:20 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-06-25 04:29:28 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-06-25 04:30:32 +0200 | td_ | (~td@i5387092D.versanet.de) (Ping timeout: 246 seconds) |
| 2023-06-25 04:32:31 +0200 | td_ | (~td@i53870908.versanet.de) |
| 2023-06-25 04:37:10 +0200 | Guest15 | (~Guest15@lnsm2-montreal01-69-158-37-31.internet.virginmobile.ca) |
| 2023-06-25 04:39:23 +0200 | Guest15 | (~Guest15@lnsm2-montreal01-69-158-37-31.internet.virginmobile.ca) (Client Quit) |
| 2023-06-25 04:43:59 +0200 | nyc | (~nyc@user/nyc) (Ping timeout: 240 seconds) |
| 2023-06-25 04:44:12 +0200 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) |
| 2023-06-25 04:44:35 +0200 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Changing host) |
| 2023-06-25 04:44:35 +0200 | nyc | (~nyc@user/nyc) |
| 2023-06-25 05:02:27 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2023-06-25 05:04:47 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::3) (Ping timeout: 264 seconds) |
| 2023-06-25 05:10:04 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-25 05:16:10 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf9:2000:2f46:f521:c777:24fd) |
| 2023-06-25 05:16:47 +0200 | aforemny | (~aforemny@i59f516e5.versanet.de) (Ping timeout: 264 seconds) |
| 2023-06-25 05:17:04 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 05:18:46 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-25 05:31:45 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-06-25 05:33:32 +0200 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection) |
| 2023-06-25 05:40:29 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-165-003.46.114.pool.telefonica.de) |
| 2023-06-25 05:46:02 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-06-25 05:51:05 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-25 05:51:27 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-06-25 06:04:20 +0200 | czy | (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-06-25 06:08:32 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-06-25 06:12:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-25 06:20:45 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (Server closed connection) |
| 2023-06-25 06:20:53 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2023-06-25 06:27:40 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-06-25 06:53:09 +0200 | falafel | (~falafel@2607:fb91:86c:d890:9962:f260:f358:d40) |
| 2023-06-25 06:54:16 +0200 | <jackdk> | Athas: If the stream is repeatable (e.g., zig's compiler loads the entire source file at once), you could just track a byte offset into the source and only convert to line:column if you actually have to report an error |
| 2023-06-25 07:02:06 +0200 | kimiamania6 | (~924ba01c@user/kimiamania) (Ping timeout: 246 seconds) |
| 2023-06-25 07:05:28 +0200 | kimiamania6 | (~924ba01d@user/kimiamania) |
| 2023-06-25 07:07:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-25 07:20:02 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-25 07:26:28 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-06-25 07:35:15 +0200 | trev | (~trev@user/trev) |
| 2023-06-25 07:35:29 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-25 07:40:12 +0200 | falafel | (~falafel@2607:fb91:86c:d890:9962:f260:f358:d40) (Ping timeout: 245 seconds) |
| 2023-06-25 07:41:07 +0200 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) (Server closed connection) |
| 2023-06-25 07:41:19 +0200 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) |
| 2023-06-25 07:42:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 07:48:52 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 07:50:49 +0200 | arkeet | (arkeet@moriya.ca) (Server closed connection) |
| 2023-06-25 07:51:07 +0200 | arkeet | (~arkeet@moriya.ca) |
| 2023-06-25 07:51:18 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-25 08:01:20 +0200 | pat67 | (~pat67@145.14.135.131) (Quit: Leaving) |
| 2023-06-25 08:08:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 08:15:32 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-25 08:15:47 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-25 08:16:10 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-06-25 08:19:35 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 260 seconds) |
| 2023-06-25 08:22:47 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-06-25 08:22:52 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-06-25 08:40:22 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-25 08:44:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 08:45:02 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-25 08:55:52 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-06-25 08:57:52 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-25 08:59:53 +0200 | acidjnk | (~acidjnk@p200300d6e7072f587412bceb5afbd15d.dip0.t-ipconnect.de) |
| 2023-06-25 09:03:13 +0200 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-06-25 09:16:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 09:16:28 +0200 | Nokurn | (~jeremiah@cpe-76-86-186-227.socal.res.rr.com) |
| 2023-06-25 09:16:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-06-25 09:21:02 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-06-25 09:24:12 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-06-25 09:42:33 +0200 | hisa384 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-25 09:44:06 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-25 09:44:23 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-06-25 09:44:24 +0200 | hisa384 | hisa38 |
| 2023-06-25 09:44:28 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-25 10:00:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 10:06:52 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 10:14:04 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-25 10:23:29 +0200 | actioninja | (~actioninj@user/actioninja) (Read error: Connection reset by peer) |
| 2023-06-25 10:25:35 +0200 | actioninja | (~actioninj@user/actioninja) |
| 2023-06-25 10:32:01 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2023-06-25 10:32:48 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-06-25 10:36:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 10:40:19 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-25 10:44:33 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-25 10:44:47 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-25 10:46:49 +0200 | <Athas> | jackdk: yes, that is what I will probably end up doing. |
| 2023-06-25 10:55:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2989:814e:3688:2bc9) |
| 2023-06-25 10:59:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 11:00:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) (Remote host closed the connection) |
| 2023-06-25 11:00:51 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-06-25 11:07:47 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-06-25 11:07:56 +0200 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Ping timeout: 240 seconds) |
| 2023-06-25 11:08:08 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2023-06-25 11:18:41 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-06-25 11:18:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2023-06-25 11:19:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 11:21:29 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-06-25 11:27:04 +0200 | anpad | (~pandeyan@user/anpad) (Read error: Connection reset by peer) |
| 2023-06-25 11:29:11 +0200 | anpad | (~pandeyan@user/anpad) |
| 2023-06-25 11:32:46 +0200 | liskin | (~liskin@xmonad/liskin) (Server closed connection) |
| 2023-06-25 11:32:59 +0200 | Nokurn | (~jeremiah@cpe-76-86-186-227.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2023-06-25 11:33:05 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2023-06-25 11:36:46 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-06-25 11:40:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-25 11:49:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 11:53:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 11:54:00 +0200 | pera | (~pera@user/pera) |
| 2023-06-25 11:54:22 +0200 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
| 2023-06-25 11:59:36 +0200 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 2023-06-25 12:01:03 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) |
| 2023-06-25 12:05:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) (Ping timeout: 240 seconds) |
| 2023-06-25 12:14:59 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-06-25 12:21:01 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) (Server closed connection) |
| 2023-06-25 12:21:18 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) |
| 2023-06-25 12:26:06 +0200 | doyougnu | (~node0@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 12:26:26 +0200 | doyougnu | (~node0@45.46.170.68) |
| 2023-06-25 12:46:05 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8) |
| 2023-06-25 12:48:03 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-06-25 12:54:19 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8) |
| 2023-06-25 12:56:24 +0200 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) (Server closed connection) |
| 2023-06-25 12:56:39 +0200 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) |
| 2023-06-25 12:59:53 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-06-25 13:02:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) |
| 2023-06-25 13:03:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 13:07:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) (Ping timeout: 260 seconds) |
| 2023-06-25 13:07:41 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-25 13:11:27 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 245 seconds) |
| 2023-06-25 13:13:11 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 264 seconds) |
| 2023-06-25 13:13:58 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-25 13:17:42 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 13:18:39 +0200 | doyougnu | (~node0@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 13:20:31 +0200 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-06-25 13:22:47 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-06-25 13:24:35 +0200 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-06-25 13:28:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-06-25 13:32:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 13:42:27 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-25 13:43:53 +0200 | doyougnu | (~doyougnu@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 13:44:00 +0200 | mmhat | (~mmh@p200300f1c74b7d41ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-06-25 13:44:43 +0200 | doyougnU | (~doyougnU@45.46.170.68) |
| 2023-06-25 13:46:11 +0200 | doyougnU | (~doyougnU@45.46.170.68) (Client Quit) |
| 2023-06-25 13:46:31 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-25 13:47:01 +0200 | doyougnU | (~doyougnU@45.46.170.68) |
| 2023-06-25 13:52:42 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-25 13:53:41 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2023-06-25 13:54:30 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2023-06-25 13:54:31 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2023-06-25 13:54:31 +0200 | haritz | (~hrtz@user/haritz) |
| 2023-06-25 13:56:11 +0200 | natto | (~natto@140.238.225.67) (Quit: a.) |
| 2023-06-25 13:57:01 +0200 | natto | (~natto@140.238.225.67) |
| 2023-06-25 14:00:44 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Server closed connection) |
| 2023-06-25 14:01:04 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2023-06-25 14:01:16 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 2023-06-25 14:02:28 +0200 | pera | (~pera@user/pera) (Quit: leaving) |
| 2023-06-25 14:16:07 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-06-25 14:17:45 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 2023-06-25 14:18:16 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-25 14:23:24 +0200 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-06-25 14:24:03 +0200 | doyougnU | (~doyougnU@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 14:55:29 +0200 | oo_miguel1 | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-06-25 14:56:08 +0200 | <Lears> | Suppose I want to write a quasiquoter handling almost-Haskell expressions. Is there a nice way to just process the input string and hand the job back over to a Haskell parser? |
| 2023-06-25 14:57:23 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2023-06-25 14:58:57 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 245 seconds) |
| 2023-06-25 14:58:58 +0200 | oo_miguel1 | oo_miguel |
| 2023-06-25 15:01:51 +0200 | jjhoo | (~jahakala@user/jjhoo) (Server closed connection) |
| 2023-06-25 15:02:04 +0200 | jjhoo | (~jahakala@user/jjhoo) |
| 2023-06-25 15:02:24 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 4.0.0) |
| 2023-06-25 15:02:59 +0200 | phaazon | (~phaazon@2001:41d0:a:fe76::1) (Ping timeout: 240 seconds) |
| 2023-06-25 15:04:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) |
| 2023-06-25 15:05:04 +0200 | lisq | (~quassel@lis.moe) (Server closed connection) |
| 2023-06-25 15:05:13 +0200 | lisq | (~quassel@lis.moe) |
| 2023-06-25 15:05:58 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-25 15:08:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) (Ping timeout: 258 seconds) |
| 2023-06-25 15:09:57 +0200 | <c_wraith> | Lears: there's no good way to handle that right now. I wish the GHC api used the same data structures as template haskell, but it doesn't. (There have been attempts in that direction, but last I heard they've stalled out) |
| 2023-06-25 15:14:23 +0200 | acidjnk | (~acidjnk@p200300d6e7072f587412bceb5afbd15d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-06-25 15:16:30 +0200 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2023-06-25 15:18:07 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-06-25 15:21:38 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-25 15:26:42 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-25 15:28:02 +0200 | <Lears> | That's too bad. Thanks anyway. |
| 2023-06-25 15:28:38 +0200 | pavonia | (~user@user/siracusa) |
| 2023-06-25 15:32:38 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2023-06-25 15:34:59 +0200 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-06-25 15:35:56 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 2023-06-25 15:36:35 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-25 15:40:36 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-06-25 15:41:48 +0200 | <jade[m]> | I read something on the GHC wiki about "TTG" (trees that grow) which eventually seeks to unify haskell expressions across TH and GHC? |
| 2023-06-25 15:45:30 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-25 15:46:19 +0200 | ripspin | (~chatzilla@1.145.163.118) |
| 2023-06-25 15:48:42 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-25 15:57:04 +0200 | <c_wraith> | Yes, that was attempted - but it turned out that performance was too big of a problem to use it right now. |
| 2023-06-25 15:58:52 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-06-25 16:06:12 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 2023-06-25 16:06:27 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-06-25 16:08:20 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 250 seconds) |
| 2023-06-25 16:12:39 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::3) |
| 2023-06-25 16:13:27 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-06-25 16:16:27 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Quit: WeeChat 3.8) |
| 2023-06-25 16:19:08 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 2023-06-25 16:19:47 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-06-25 16:19:47 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 245 seconds) |
| 2023-06-25 16:20:02 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 16:24:29 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 16:24:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-25 16:37:20 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-25 16:38:21 +0200 | oats_ | (~thomas@user/oats) (Server closed connection) |
| 2023-06-25 16:38:39 +0200 | oats_ | (~thomas@user/oats) |
| 2023-06-25 16:41:53 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 16:50:19 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-06-25 17:00:23 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Quit: WeeChat 3.6) |
| 2023-06-25 17:00:56 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 17:18:39 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-25 17:18:39 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-25 17:18:39 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 17:23:03 +0200 | geranim0 | (~geranim0@modemcable182.140-177-173.mc.videotron.ca) |
| 2023-06-25 17:27:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 17:28:01 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-06-25 17:28:11 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-25 17:28:41 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-25 17:29:57 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-25 17:29:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-25 17:29:57 +0200 | finn_elija | FinnElija |
| 2023-06-25 17:30:19 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-25 17:31:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-25 17:32:21 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-25 17:34:29 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-25 17:36:22 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-06-25 17:37:41 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 246 seconds) |
| 2023-06-25 17:38:10 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 17:38:28 +0200 | infinity0_ | (~infinity0@pwned.gg) |
| 2023-06-25 17:38:29 +0200 | infinity0 | (~infinity0@pwned.gg) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2023-06-25 17:38:29 +0200 | infinity0_ | infinity0 |
| 2023-06-25 17:38:59 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 264 seconds) |
| 2023-06-25 17:39:56 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2023-06-25 17:46:19 +0200 | nehsou^ | (~nehsou@c-71-204-38-59.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-06-25 17:50:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f58d4f02286a979ebfa.dip0.t-ipconnect.de) |
| 2023-06-25 17:57:08 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 252 seconds) |
| 2023-06-25 17:58:58 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-06-25 17:59:06 +0200 | ddellacosta | (~ddellacos@146.70.166.230) |
| 2023-06-25 18:06:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) |
| 2023-06-25 18:07:04 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-25 18:10:35 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-06-25 18:10:44 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) (Ping timeout: 240 seconds) |
| 2023-06-25 18:11:08 +0200 | ddellacosta | (~ddellacos@146.70.166.230) (Ping timeout: 240 seconds) |
| 2023-06-25 18:13:26 +0200 | ddellacosta | (~ddellacos@146.70.168.216) |
| 2023-06-25 18:16:07 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-165-003.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-06-25 18:17:17 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-25 18:19:25 +0200 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) |
| 2023-06-25 18:19:25 +0200 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) (Changing host) |
| 2023-06-25 18:19:25 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 18:20:37 +0200 | ddellacosta | (~ddellacos@146.70.168.216) (Ping timeout: 245 seconds) |
| 2023-06-25 18:20:49 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 18:22:32 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-25 18:22:46 +0200 | ddellacosta | (~ddellacos@143.244.47.73) |
| 2023-06-25 18:24:39 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-06-25 18:25:42 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-25 18:26:28 +0200 | incertia | (~incertia@209.122.71.127) |
| 2023-06-25 18:28:08 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 18:30:55 +0200 | biberu | (~biberu@user/biberu) |
| 2023-06-25 18:31:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-25 18:37:08 +0200 | dolio | (~dolio@130.44.134.54) (Ping timeout: 240 seconds) |
| 2023-06-25 18:37:22 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (Server closed connection) |
| 2023-06-25 18:37:30 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) |
| 2023-06-25 18:44:01 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-06-25 18:44:46 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-165-003.46.114.pool.telefonica.de) |
| 2023-06-25 18:49:40 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-25 18:50:06 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-25 18:53:12 +0200 | ripspin | (~chatzilla@1.145.163.118) (Remote host closed the connection) |
| 2023-06-25 18:53:26 +0200 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 250 seconds) |
| 2023-06-25 18:55:25 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2023-06-25 18:56:40 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) (Server closed connection) |
| 2023-06-25 18:56:49 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) |
| 2023-06-25 19:02:40 +0200 | stallmanator | (~stallmana@user/stallmanator) (Quit: Ping timeout (120 seconds)) |
| 2023-06-25 19:02:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 19:02:50 +0200 | ddellacosta | (~ddellacos@143.244.47.73) (Quit: WeeChat 3.8) |
| 2023-06-25 19:03:07 +0200 | stallmanator | (~stallmana@user/stallmanator) |
| 2023-06-25 19:08:37 +0200 | dost^ | (~dost@c-71-204-38-59.hsd1.ga.comcast.net) |
| 2023-06-25 19:10:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) |
| 2023-06-25 19:13:22 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-06-25 19:13:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 19:18:29 +0200 | ddellacosta | (~ddellacos@146.70.185.136) |
| 2023-06-25 19:20:54 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-25 19:23:06 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-165-003.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-06-25 19:23:42 +0200 | mmhat | (~mmh@p200300f1c74b7d41ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-06-25 19:35:02 +0200 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2023-06-25 19:36:42 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.66) |
| 2023-06-25 19:38:47 +0200 | Alex_test | (~al_test@178.34.163.88) (Ping timeout: 246 seconds) |
| 2023-06-25 19:39:22 +0200 | AlexZenon | (~alzenon@178.34.163.88) (Ping timeout: 250 seconds) |
| 2023-06-25 19:40:05 +0200 | AlexNoo | (~AlexNoo@178.34.163.88) (Ping timeout: 240 seconds) |
| 2023-06-25 19:43:44 +0200 | Alex_test | (~al_test@178.34.150.66) |
| 2023-06-25 19:44:45 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-06-25 19:44:49 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Quit: WeeChat 3.6) |
| 2023-06-25 19:45:09 +0200 | AlexZenon | (~alzenon@178.34.150.66) |
| 2023-06-25 19:52:37 +0200 | AlexNoo_ | AlexNoo |
| 2023-06-25 19:53:41 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-25 19:55:31 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-165-003.46.114.pool.telefonica.de) |
| 2023-06-25 19:55:51 +0200 | <gurkenglas> | exists might not be the right terminology |
| 2023-06-25 19:56:09 +0200 | <gurkenglas> | (i assume both my last messages these minutes made it) |
| 2023-06-25 19:56:48 +0200 | <ncf> | "exists might not be" was your first |
| 2023-06-25 19:56:52 +0200 | <Hecate> | aye |
| 2023-06-25 19:56:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-25 19:59:34 +0200 | <gurkenglas> | darn. what is the proper way to say: if something takes an argument and knows what it is, then if i know that the argument has form a->a, then the additional power i get is that i get to analyze how it behaves when i compose the argument with itself n times before passing it in |
| 2023-06-25 20:00:02 +0200 | <c_wraith> | that sounds related to parametricity |
| 2023-06-25 20:00:28 +0200 | <c_wraith> | But is kind of the opposite. parametricity tells you what you don't know. |
| 2023-06-25 20:02:00 +0200 | <gurkenglas> | maybe i can say something like... i can do about the same things as I can do when I know that the argument has form (Natural, b) |
| 2023-06-25 20:02:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 20:02:27 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-25 20:03:03 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 20:03:25 +0200 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-06-25 20:03:29 +0200 | incertia | (~incertia@209.122.71.127) (Ping timeout: 240 seconds) |
| 2023-06-25 20:03:47 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-25 20:04:07 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Client Quit) |
| 2023-06-25 20:04:37 +0200 | <ncf> | cannot parse |
| 2023-06-25 20:05:00 +0200 | incertia | (~incertia@209.122.71.127) |
| 2023-06-25 20:05:14 +0200 | <gurkenglas> | except that doesnt hold as generally as that might connote, because if i were to have *two* a->a available to feed in, then the extra parameter i have is... [Bool]?? |
| 2023-06-25 20:06:35 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2023-06-25 20:07:35 +0200 | hammond | (proscan@gateway02.insomnia247.nl) (Changing host) |
| 2023-06-25 20:07:35 +0200 | hammond | (proscan@user/hammond2) |
| 2023-06-25 20:16:12 +0200 | texasmynsted | (~username@99.96.221.112) (Quit: WeeChat 3.0) |
| 2023-06-25 20:17:43 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-06-25 20:24:29 +0200 | <nut> | when i run: ldd my_haskell_program, why don't i see GHC RTS as an dependency? |
| 2023-06-25 20:26:03 +0200 | <geekosaur> | unless you specifically built it shared, all haskell dependencies will be linked statically |
| 2023-06-25 20:29:35 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 20:30:20 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Client Quit) |
| 2023-06-25 20:30:23 +0200 | <nut> | is that's one of the reason why haskell program seems bigger? |
| 2023-06-25 20:31:39 +0200 | <yushyin> | it certainly contributes to it |
| 2023-06-25 20:32:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 20:37:51 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 20:41:59 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-06-25 20:44:46 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Quit: WeeChat 3.6) |
| 2023-06-25 20:45:56 +0200 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2023-06-25 20:48:32 +0200 | nut | (~nut@176-151-21-224.abo.bbox.fr) |
| 2023-06-25 20:55:23 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-25 20:55:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 20:59:47 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-06-25 21:07:10 +0200 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 2023-06-25 21:07:32 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-06-25 21:07:36 +0200 | caubert | (~caubert@user/caubert) |
| 2023-06-25 21:10:11 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 264 seconds) |
| 2023-06-25 21:10:44 +0200 | sudden | (~cat@user/sudden) |
| 2023-06-25 21:12:37 +0200 | <monochrom> | Something like 80-99% of the size is because of static linking. :) |
| 2023-06-25 21:12:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 21:13:39 +0200 | sunarch | (~sunarch@user/sunarch) |
| 2023-06-25 21:17:36 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-25 21:18:05 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-25 21:18:05 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-25 21:18:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 21:18:28 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-06-25 21:18:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 21:18:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-06-25 21:21:19 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-06-25 21:22:07 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-25 21:27:18 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Read error: Connection reset by peer) |
| 2023-06-25 21:28:08 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-06-25 21:29:59 +0200 | nut | (~nut@176-151-21-224.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2023-06-25 21:30:14 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::38e4) |
| 2023-06-25 21:31:01 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-08a1-ddae-00eb-83a7.rev.sfr.net) |
| 2023-06-25 21:31:43 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-08a1-ddae-00eb-83a7.rev.sfr.net) |
| 2023-06-25 21:40:01 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Reconnecting) |
| 2023-06-25 21:40:14 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-06-25 21:40:15 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-25 21:40:15 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-25 21:40:15 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 21:41:15 +0200 | michalz | (~michalz@185.246.207.200) |
| 2023-06-25 21:46:24 +0200 | doyougnu | (~node0@45.46.170.68) |
| 2023-06-25 21:48:11 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-25 21:49:33 +0200 | mmhat | (~mmh@p200300f1c74b7d41ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-06-25 21:51:39 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-25 21:54:11 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-25 21:54:26 +0200 | geranim0 | (~geranim0@modemcable182.140-177-173.mc.videotron.ca) (Remote host closed the connection) |
| 2023-06-25 22:01:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 22:03:38 +0200 | doyougnu | (~node0@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 22:03:57 +0200 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-06-25 22:06:00 +0200 | myyo | (~myyo@71-211-168-167.hlrn.qwest.net) |
| 2023-06-25 22:06:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-06-25 22:06:44 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-25 22:06:52 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-06-25 22:07:20 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-25 22:07:39 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-25 22:15:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 22:18:26 +0200 | myyo | (~myyo@71-211-168-167.hlrn.qwest.net) () |
| 2023-06-25 22:22:19 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 22:27:07 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-25 22:27:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-06-25 22:28:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 22:28:19 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-25 22:33:26 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-06-25 22:37:02 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-25 22:38:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-25 22:45:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 22:47:40 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-08a1-ddae-00eb-83a7.rev.sfr.net) (Remote host closed the connection) |
| 2023-06-25 22:53:49 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-06-25 22:56:59 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 264 seconds) |
| 2023-06-25 22:57:36 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-25 22:59:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 23:05:12 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds) |
| 2023-06-25 23:10:51 +0200 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-06-25 23:11:43 +0200 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-06-25 23:15:52 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-06-25 23:16:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-06-25 23:16:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 23:17:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-25 23:25:23 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 23:31:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 23:41:10 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-25 23:41:23 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-25 23:59:02 +0200 | ario | (~ario@159.65.220.102) (Server closed connection) |
| 2023-06-25 23:59:09 +0200 | ario | (~ario@159.65.220.102) |