| 2023-06-25 00:02:19 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-06-25 00:03:22 +0000 | califax | (~califax@user/califx) |
| 2023-06-25 00:06:23 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection) |
| 2023-06-25 00:08:43 +0000 | dextaa | (~DV@user/dextaa) (Quit: Ping timeout (120 seconds)) |
| 2023-06-25 00:10:11 +0000 | dextaa | (~DV@user/dextaa) |
| 2023-06-25 00:22:05 +0000 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-06-25 00:22:32 +0000 | hugo- | (znc@2001:6b0:17:f0a0::17) (Ping timeout: 240 seconds) |
| 2023-06-25 00:26:58 +0000 | <Athas> | So these days, what is the fastest way to write a parser in Haskell that also stores source locations? |
| 2023-06-25 00:27:17 +0000 | <Athas> | I remember seeing an article not too long ago that showed that Happy is not actually that fast. |
| 2023-06-25 00:29:42 +0000 | son0p | (~ff@181.136.122.143) |
| 2023-06-25 00:32:32 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) (Remote host closed the connection) |
| 2023-06-25 00:32:40 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-06-25 00:33:00 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) |
| 2023-06-25 00:33:18 +0000 | <sm> | Athas: megaparsec and call/save getSourcePos a lot ? |
| 2023-06-25 00:34:12 +0000 | <Athas> | Well... "This function is not cheap". |
| 2023-06-25 00:34:28 +0000 | <Athas> | getOffset might be all I need. |
| 2023-06-25 00:35:25 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-06-25 00:35:31 +0000 | <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 00:39:38 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-25 00:47:44 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-25 00:49:16 +0000 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-25 01:11:27 +0000 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 2023-06-25 01:11:27 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-25 01:12:28 +0000 | vulpine | (xfnw@tilde.team) |
| 2023-06-25 01:12:38 +0000 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) |
| 2023-06-25 01:14:10 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-25 01:16:03 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 01:17:36 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-25 01:19:50 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 246 seconds) |
| 2023-06-25 01:20:37 +0000 | Batzy | (~quassel@user/batzy) (Server closed connection) |
| 2023-06-25 01:20:54 +0000 | Batzy | (~quassel@user/batzy) |
| 2023-06-25 01:21:14 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-06-25 01:24:35 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-06-25 01:25:26 +0000 | falafel | (~falafel@2607:fb91:86c:d890:403c:38a4:684b:925d) |
| 2023-06-25 01:26:16 +0000 | falafel | (~falafel@2607:fb91:86c:d890:403c:38a4:684b:925d) (Remote host closed the connection) |
| 2023-06-25 01:27:30 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-25 01:28:55 +0000 | mcglk | (~mcglk@131.191.19.145) (Remote host closed the connection) |
| 2023-06-25 01:29:26 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-06-25 01:29:59 +0000 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-25 01:32:44 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-06-25 01:33:58 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Client Quit) |
| 2023-06-25 01:42:08 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-06-25 01:58:52 +0000 | nilradical | (~nilradica@user/naso) |
| 2023-06-25 01:59:00 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-06-25 01:59:33 +0000 | nilradical | (~nilradica@user/naso) (Client Quit) |
| 2023-06-25 02:00:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 02:03:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-25 02:06:05 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-25 02:06:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 02:16:34 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 02:25:41 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-25 02:25:41 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-25 02:25:41 +0000 | finn_elija | FinnElija |
| 2023-06-25 02:25:55 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 02:26:20 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-06-25 02:29:28 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-06-25 02:30:32 +0000 | td_ | (~td@i5387092D.versanet.de) (Ping timeout: 246 seconds) |
| 2023-06-25 02:32:31 +0000 | td_ | (~td@i53870908.versanet.de) |
| 2023-06-25 02:37:10 +0000 | Guest15 | (~Guest15@lnsm2-montreal01-69-158-37-31.internet.virginmobile.ca) |
| 2023-06-25 02:39:23 +0000 | Guest15 | (~Guest15@lnsm2-montreal01-69-158-37-31.internet.virginmobile.ca) (Client Quit) |
| 2023-06-25 02:43:59 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 240 seconds) |
| 2023-06-25 02:44:12 +0000 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) |
| 2023-06-25 02:44:35 +0000 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Changing host) |
| 2023-06-25 02:44:35 +0000 | nyc | (~nyc@user/nyc) |
| 2023-06-25 03:02:27 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2023-06-25 03:04:47 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::3) (Ping timeout: 264 seconds) |
| 2023-06-25 03:10:04 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-25 03:16:10 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf9:2000:2f46:f521:c777:24fd) |
| 2023-06-25 03:16:47 +0000 | aforemny | (~aforemny@i59f516e5.versanet.de) (Ping timeout: 264 seconds) |
| 2023-06-25 03:17:04 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 03:18:46 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-25 03:31:45 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-06-25 03:33:32 +0000 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection) |
| 2023-06-25 03:40:29 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-165-003.46.114.pool.telefonica.de) |
| 2023-06-25 03:46:02 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-06-25 03:51:05 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-25 03:51:27 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-06-25 04:04:20 +0000 | czy | (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-06-25 04:08:32 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-06-25 04:12:59 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-25 04:20:45 +0000 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (Server closed connection) |
| 2023-06-25 04:20:53 +0000 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2023-06-25 04:27:40 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-06-25 04:53:09 +0000 | falafel | (~falafel@2607:fb91:86c:d890:9962:f260:f358:d40) |
| 2023-06-25 04:54:16 +0000 | <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 05:02:06 +0000 | kimiamania6 | (~924ba01c@user/kimiamania) (Ping timeout: 246 seconds) |
| 2023-06-25 05:05:28 +0000 | kimiamania6 | (~924ba01d@user/kimiamania) |
| 2023-06-25 05:07:35 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-25 05:20:02 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-25 05:26:28 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-06-25 05:35:15 +0000 | trev | (~trev@user/trev) |
| 2023-06-25 05:35:29 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-25 05:40:12 +0000 | falafel | (~falafel@2607:fb91:86c:d890:9962:f260:f358:d40) (Ping timeout: 245 seconds) |
| 2023-06-25 05:41:07 +0000 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) (Server closed connection) |
| 2023-06-25 05:41:19 +0000 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) |
| 2023-06-25 05:42:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 05:48:52 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 05:50:49 +0000 | arkeet | (arkeet@moriya.ca) (Server closed connection) |
| 2023-06-25 05:51:07 +0000 | arkeet | (~arkeet@moriya.ca) |
| 2023-06-25 05:51:18 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-25 06:01:20 +0000 | pat67 | (~pat67@145.14.135.131) (Quit: Leaving) |
| 2023-06-25 06:08:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 06:15:32 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-25 06:15:47 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-25 06:16:10 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-06-25 06:19:35 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 260 seconds) |
| 2023-06-25 06:22:47 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-06-25 06:22:52 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-06-25 06:40:22 +0000 | chromoblob | (~user@37.113.180.121) |
| 2023-06-25 06:44:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 06:45:02 +0000 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-25 06:55:52 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-06-25 06:57:52 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-25 06:59:53 +0000 | acidjnk | (~acidjnk@p200300d6e7072f587412bceb5afbd15d.dip0.t-ipconnect.de) |
| 2023-06-25 07:03:13 +0000 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-06-25 07:16:11 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 07:16:28 +0000 | Nokurn | (~jeremiah@cpe-76-86-186-227.socal.res.rr.com) |
| 2023-06-25 07:16:33 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-06-25 07:21:02 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-06-25 07:24:12 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-06-25 07:42:33 +0000 | hisa384 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-25 07:44:06 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-06-25 07:44:23 +0000 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-06-25 07:44:24 +0000 | hisa384 | hisa38 |
| 2023-06-25 07:44:28 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-25 08:00:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 08:06:52 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 08:14:04 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-25 08:23:29 +0000 | actioninja | (~actioninj@user/actioninja) (Read error: Connection reset by peer) |
| 2023-06-25 08:25:35 +0000 | actioninja | (~actioninj@user/actioninja) |
| 2023-06-25 08:32:01 +0000 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2023-06-25 08:32:48 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-06-25 08:36:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 08:40:19 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-25 08:44:33 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-25 08:44:47 +0000 | chromoblob | (~user@37.113.180.121) |
| 2023-06-25 08:46:49 +0000 | <Athas> | jackdk: yes, that is what I will probably end up doing. |
| 2023-06-25 08:55:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2989:814e:3688:2bc9) |
| 2023-06-25 08:59:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 09:00:35 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) (Remote host closed the connection) |
| 2023-06-25 09:00:51 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-06-25 09:07:47 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-06-25 09:07:56 +0000 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Ping timeout: 240 seconds) |
| 2023-06-25 09:08:08 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2023-06-25 09:18:41 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-06-25 09:18:52 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2023-06-25 09:19:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 09:21:29 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-06-25 09:27:04 +0000 | anpad | (~pandeyan@user/anpad) (Read error: Connection reset by peer) |
| 2023-06-25 09:29:11 +0000 | anpad | (~pandeyan@user/anpad) |
| 2023-06-25 09:32:46 +0000 | liskin | (~liskin@xmonad/liskin) (Server closed connection) |
| 2023-06-25 09:32:59 +0000 | Nokurn | (~jeremiah@cpe-76-86-186-227.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2023-06-25 09:33:05 +0000 | liskin | (~liskin@xmonad/liskin) |
| 2023-06-25 09:36:46 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-06-25 09:40:32 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-25 09:49:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 09:53:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 09:54:00 +0000 | pera | (~pera@user/pera) |
| 2023-06-25 09:54:22 +0000 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
| 2023-06-25 09:59:36 +0000 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 2023-06-25 10:01:03 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) |
| 2023-06-25 10:05:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) (Ping timeout: 240 seconds) |
| 2023-06-25 10:14:59 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-06-25 10:21:01 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (Server closed connection) |
| 2023-06-25 10:21:18 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) |
| 2023-06-25 10:26:06 +0000 | doyougnu | (~node0@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 10:26:26 +0000 | doyougnu | (~node0@45.46.170.68) |
| 2023-06-25 10:46:05 +0000 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8) |
| 2023-06-25 10:48:03 +0000 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-06-25 10:54:19 +0000 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8) |
| 2023-06-25 10:56:24 +0000 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) (Server closed connection) |
| 2023-06-25 10:56:39 +0000 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) |
| 2023-06-25 10:59:53 +0000 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-06-25 11:02:36 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) |
| 2023-06-25 11:03:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 11:07:10 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) (Ping timeout: 260 seconds) |
| 2023-06-25 11:07:41 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-25 11:11:27 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 245 seconds) |
| 2023-06-25 11:13:11 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 264 seconds) |
| 2023-06-25 11:13:58 +0000 | mechap | (~mechap@user/mechap) |
| 2023-06-25 11:17:42 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 11:18:39 +0000 | doyougnu | (~node0@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 11:20:31 +0000 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-06-25 11:22:47 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-06-25 11:24:35 +0000 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-06-25 11:28:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-06-25 11:32:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 11:42:27 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-06-25 11:43:53 +0000 | doyougnu | (~doyougnu@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 11:44:00 +0000 | mmhat | (~mmh@p200300f1c74b7d41ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-06-25 11:44:43 +0000 | doyougnU | (~doyougnU@45.46.170.68) |
| 2023-06-25 11:46:11 +0000 | doyougnU | (~doyougnU@45.46.170.68) (Client Quit) |
| 2023-06-25 11:46:31 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-25 11:47:01 +0000 | doyougnU | (~doyougnU@45.46.170.68) |
| 2023-06-25 11:52:42 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-25 11:53:41 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2023-06-25 11:54:30 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2023-06-25 11:54:31 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2023-06-25 11:54:31 +0000 | haritz | (~hrtz@user/haritz) |
| 2023-06-25 11:56:11 +0000 | natto | (~natto@140.238.225.67) (Quit: a.) |
| 2023-06-25 11:57:01 +0000 | natto | (~natto@140.238.225.67) |
| 2023-06-25 12:00:44 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) (Server closed connection) |
| 2023-06-25 12:01:04 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2023-06-25 12:01:16 +0000 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 2023-06-25 12:02:28 +0000 | pera | (~pera@user/pera) (Quit: leaving) |
| 2023-06-25 12:16:07 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-06-25 12:17:45 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 2023-06-25 12:18:16 +0000 | mechap | (~mechap@user/mechap) |
| 2023-06-25 12:23:24 +0000 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-06-25 12:24:03 +0000 | doyougnU | (~doyougnU@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 12:55:29 +0000 | oo_miguel1 | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-06-25 12:56:08 +0000 | <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 12:57:23 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2023-06-25 12:58:57 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 245 seconds) |
| 2023-06-25 12:58:58 +0000 | oo_miguel1 | oo_miguel |
| 2023-06-25 13:01:51 +0000 | jjhoo | (~jahakala@user/jjhoo) (Server closed connection) |
| 2023-06-25 13:02:04 +0000 | jjhoo | (~jahakala@user/jjhoo) |
| 2023-06-25 13:02:24 +0000 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 4.0.0) |
| 2023-06-25 13:02:59 +0000 | phaazon | (~phaazon@2001:41d0:a:fe76::1) (Ping timeout: 240 seconds) |
| 2023-06-25 13:04:00 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) |
| 2023-06-25 13:05:04 +0000 | lisq | (~quassel@lis.moe) (Server closed connection) |
| 2023-06-25 13:05:13 +0000 | lisq | (~quassel@lis.moe) |
| 2023-06-25 13:05:58 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-25 13:08:21 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) (Ping timeout: 258 seconds) |
| 2023-06-25 13:09:57 +0000 | <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 13:14:23 +0000 | acidjnk | (~acidjnk@p200300d6e7072f587412bceb5afbd15d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-06-25 13:16:30 +0000 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2023-06-25 13:18:07 +0000 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-06-25 13:21:38 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-25 13:26:42 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-25 13:28:02 +0000 | <Lears> | That's too bad. Thanks anyway. |
| 2023-06-25 13:28:38 +0000 | pavonia | (~user@user/siracusa) |
| 2023-06-25 13:32:38 +0000 | spacenautx | (~spacenaut@user/spacenautx) |
| 2023-06-25 13:34:59 +0000 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-06-25 13:35:56 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 2023-06-25 13:36:35 +0000 | mechap | (~mechap@user/mechap) |
| 2023-06-25 13:40:36 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-06-25 13:41:48 +0000 | <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 13:45:30 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-25 13:46:19 +0000 | ripspin | (~chatzilla@1.145.163.118) |
| 2023-06-25 13:48:42 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-25 13:57:04 +0000 | <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 13:58:52 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2023-06-25 14:06:12 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 2023-06-25 14:06:27 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-06-25 14:08:20 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 250 seconds) |
| 2023-06-25 14:12:39 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::3) |
| 2023-06-25 14:13:27 +0000 | son0p | (~ff@181.136.122.143) |
| 2023-06-25 14:16:27 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Quit: WeeChat 3.8) |
| 2023-06-25 14:19:08 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 2023-06-25 14:19:47 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-06-25 14:19:47 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 245 seconds) |
| 2023-06-25 14:20:02 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 14:24:29 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 14:24:44 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-25 14:37:20 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-25 14:38:21 +0000 | oats_ | (~thomas@user/oats) (Server closed connection) |
| 2023-06-25 14:38:39 +0000 | oats_ | (~thomas@user/oats) |
| 2023-06-25 14:41:53 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 14:50:19 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-06-25 15:00:23 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Quit: WeeChat 3.6) |
| 2023-06-25 15:00:56 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 15:18:39 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-25 15:18:39 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-25 15:18:39 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 15:23:03 +0000 | geranim0 | (~geranim0@modemcable182.140-177-173.mc.videotron.ca) |
| 2023-06-25 15:27:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 15:28:01 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-06-25 15:28:11 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-25 15:28:41 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-25 15:29:57 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-25 15:29:57 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-25 15:29:57 +0000 | finn_elija | FinnElija |
| 2023-06-25 15:30:19 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-25 15:31:38 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-25 15:32:21 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-25 15:34:29 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-25 15:36:22 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-06-25 15:37:41 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 246 seconds) |
| 2023-06-25 15:38:10 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 15:38:28 +0000 | infinity0_ | (~infinity0@pwned.gg) |
| 2023-06-25 15:38:29 +0000 | infinity0 | (~infinity0@pwned.gg) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2023-06-25 15:38:29 +0000 | infinity0_ | infinity0 |
| 2023-06-25 15:38:59 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 264 seconds) |
| 2023-06-25 15:39:56 +0000 | spacenautx | (~spacenaut@user/spacenautx) |
| 2023-06-25 15:46:19 +0000 | nehsou^ | (~nehsou@c-71-204-38-59.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-06-25 15:50:35 +0000 | acidjnk | (~acidjnk@p200300d6e7072f58d4f02286a979ebfa.dip0.t-ipconnect.de) |
| 2023-06-25 15:57:08 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 252 seconds) |
| 2023-06-25 15:58:58 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-06-25 15:59:06 +0000 | ddellacosta | (~ddellacos@146.70.166.230) |
| 2023-06-25 16:06:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) |
| 2023-06-25 16:07:04 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-25 16:10:35 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-06-25 16:10:44 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) (Ping timeout: 240 seconds) |
| 2023-06-25 16:11:08 +0000 | ddellacosta | (~ddellacos@146.70.166.230) (Ping timeout: 240 seconds) |
| 2023-06-25 16:13:26 +0000 | ddellacosta | (~ddellacos@146.70.168.216) |
| 2023-06-25 16:16:07 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-165-003.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-06-25 16:17:17 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-25 16:19:25 +0000 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) |
| 2023-06-25 16:19:25 +0000 | wroathe | (~wroathe@c-24-118-213-219.hsd1.mn.comcast.net) (Changing host) |
| 2023-06-25 16:19:25 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 16:20:37 +0000 | ddellacosta | (~ddellacos@146.70.168.216) (Ping timeout: 245 seconds) |
| 2023-06-25 16:20:49 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 16:22:32 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-25 16:22:46 +0000 | ddellacosta | (~ddellacos@143.244.47.73) |
| 2023-06-25 16:24:39 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-06-25 16:25:42 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-25 16:26:28 +0000 | incertia | (~incertia@209.122.71.127) |
| 2023-06-25 16:28:08 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 16:30:55 +0000 | biberu | (~biberu@user/biberu) |
| 2023-06-25 16:31:57 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-25 16:37:08 +0000 | dolio | (~dolio@130.44.134.54) (Ping timeout: 240 seconds) |
| 2023-06-25 16:37:22 +0000 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (Server closed connection) |
| 2023-06-25 16:37:30 +0000 | tnks | (sid412124@id-412124.helmsley.irccloud.com) |
| 2023-06-25 16:44:01 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-06-25 16:44:46 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-165-003.46.114.pool.telefonica.de) |
| 2023-06-25 16:49:40 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-25 16:50:06 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-25 16:53:12 +0000 | ripspin | (~chatzilla@1.145.163.118) (Remote host closed the connection) |
| 2023-06-25 16:53:26 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 250 seconds) |
| 2023-06-25 16:55:25 +0000 | spacenautx | (~spacenaut@user/spacenautx) |
| 2023-06-25 16:56:40 +0000 | hongminhee | (sid295@id-295.tinside.irccloud.com) (Server closed connection) |
| 2023-06-25 16:56:49 +0000 | hongminhee | (sid295@id-295.tinside.irccloud.com) |
| 2023-06-25 17:02:40 +0000 | stallmanator | (~stallmana@user/stallmanator) (Quit: Ping timeout (120 seconds)) |
| 2023-06-25 17:02:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 17:02:50 +0000 | ddellacosta | (~ddellacos@143.244.47.73) (Quit: WeeChat 3.8) |
| 2023-06-25 17:03:07 +0000 | stallmanator | (~stallmana@user/stallmanator) |
| 2023-06-25 17:08:37 +0000 | dost^ | (~dost@c-71-204-38-59.hsd1.ga.comcast.net) |
| 2023-06-25 17:10:47 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) |
| 2023-06-25 17:13:22 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-06-25 17:13:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 17:18:29 +0000 | ddellacosta | (~ddellacos@146.70.185.136) |
| 2023-06-25 17:20:54 +0000 | mechap | (~mechap@user/mechap) |
| 2023-06-25 17:23:06 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-165-003.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-06-25 17:23:42 +0000 | mmhat | (~mmh@p200300f1c74b7d41ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-06-25 17:35:02 +0000 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2023-06-25 17:36:42 +0000 | AlexNoo_ | (~AlexNoo@178.34.150.66) |
| 2023-06-25 17:38:47 +0000 | Alex_test | (~al_test@178.34.163.88) (Ping timeout: 246 seconds) |
| 2023-06-25 17:39:22 +0000 | AlexZenon | (~alzenon@178.34.163.88) (Ping timeout: 250 seconds) |
| 2023-06-25 17:40:05 +0000 | AlexNoo | (~AlexNoo@178.34.163.88) (Ping timeout: 240 seconds) |
| 2023-06-25 17:43:44 +0000 | Alex_test | (~al_test@178.34.150.66) |
| 2023-06-25 17:44:45 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-06-25 17:44:49 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Quit: WeeChat 3.6) |
| 2023-06-25 17:45:09 +0000 | AlexZenon | (~alzenon@178.34.150.66) |
| 2023-06-25 17:52:37 +0000 | AlexNoo_ | AlexNoo |
| 2023-06-25 17:53:41 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-25 17:55:31 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-165-003.46.114.pool.telefonica.de) |
| 2023-06-25 17:55:51 +0000 | <gurkenglas> | exists might not be the right terminology |
| 2023-06-25 17:56:09 +0000 | <gurkenglas> | (i assume both my last messages these minutes made it) |
| 2023-06-25 17:56:48 +0000 | <ncf> | "exists might not be" was your first |
| 2023-06-25 17:56:52 +0000 | <Hecate> | aye |
| 2023-06-25 17:56:57 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-25 17:59:34 +0000 | <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 18:00:02 +0000 | <c_wraith> | that sounds related to parametricity |
| 2023-06-25 18:00:28 +0000 | <c_wraith> | But is kind of the opposite. parametricity tells you what you don't know. |
| 2023-06-25 18:02:00 +0000 | <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 18:02:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 18:02:27 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-25 18:03:03 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 18:03:25 +0000 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-06-25 18:03:29 +0000 | incertia | (~incertia@209.122.71.127) (Ping timeout: 240 seconds) |
| 2023-06-25 18:03:47 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-25 18:04:07 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Client Quit) |
| 2023-06-25 18:04:37 +0000 | <ncf> | cannot parse |
| 2023-06-25 18:05:00 +0000 | incertia | (~incertia@209.122.71.127) |
| 2023-06-25 18:05:14 +0000 | <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 18:06:35 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2023-06-25 18:07:35 +0000 | hammond | (proscan@gateway02.insomnia247.nl) (Changing host) |
| 2023-06-25 18:07:35 +0000 | hammond | (proscan@user/hammond2) |
| 2023-06-25 18:16:12 +0000 | texasmynsted | (~username@99.96.221.112) (Quit: WeeChat 3.0) |
| 2023-06-25 18:17:43 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-06-25 18:24:29 +0000 | <nut> | when i run: ldd my_haskell_program, why don't i see GHC RTS as an dependency? |
| 2023-06-25 18:26:03 +0000 | <geekosaur> | unless you specifically built it shared, all haskell dependencies will be linked statically |
| 2023-06-25 18:29:35 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 18:30:20 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Client Quit) |
| 2023-06-25 18:30:23 +0000 | <nut> | is that's one of the reason why haskell program seems bigger? |
| 2023-06-25 18:31:39 +0000 | <yushyin> | it certainly contributes to it |
| 2023-06-25 18:32:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 18:37:51 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-25 18:41:59 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-06-25 18:44:46 +0000 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Quit: WeeChat 3.6) |
| 2023-06-25 18:45:56 +0000 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2023-06-25 18:48:32 +0000 | nut | (~nut@176-151-21-224.abo.bbox.fr) |
| 2023-06-25 18:55:23 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-25 18:55:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 18:59:47 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-06-25 19:07:10 +0000 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 2023-06-25 19:07:32 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-06-25 19:07:36 +0000 | caubert | (~caubert@user/caubert) |
| 2023-06-25 19:10:11 +0000 | sudden | (~cat@user/sudden) (Ping timeout: 264 seconds) |
| 2023-06-25 19:10:44 +0000 | sudden | (~cat@user/sudden) |
| 2023-06-25 19:12:37 +0000 | <monochrom> | Something like 80-99% of the size is because of static linking. :) |
| 2023-06-25 19:12:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 19:13:39 +0000 | sunarch | (~sunarch@user/sunarch) |
| 2023-06-25 19:17:36 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-25 19:18:05 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-25 19:18:05 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-25 19:18:05 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 19:18:28 +0000 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-06-25 19:18:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 19:18:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-06-25 19:21:19 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-06-25 19:22:07 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-25 19:27:18 +0000 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Read error: Connection reset by peer) |
| 2023-06-25 19:28:08 +0000 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-06-25 19:29:59 +0000 | nut | (~nut@176-151-21-224.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2023-06-25 19:30:14 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::38e4) |
| 2023-06-25 19:31:01 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-08a1-ddae-00eb-83a7.rev.sfr.net) |
| 2023-06-25 19:31:43 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-08a1-ddae-00eb-83a7.rev.sfr.net) |
| 2023-06-25 19:40:01 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Reconnecting) |
| 2023-06-25 19:40:14 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-06-25 19:40:15 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-25 19:40:15 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-25 19:40:15 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 19:41:15 +0000 | michalz | (~michalz@185.246.207.200) |
| 2023-06-25 19:46:24 +0000 | doyougnu | (~node0@45.46.170.68) |
| 2023-06-25 19:48:11 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-06-25 19:49:33 +0000 | mmhat | (~mmh@p200300f1c74b7d41ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-06-25 19:51:39 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-25 19:54:11 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-25 19:54:26 +0000 | geranim0 | (~geranim0@modemcable182.140-177-173.mc.videotron.ca) (Remote host closed the connection) |
| 2023-06-25 20:01:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 20:03:38 +0000 | doyougnu | (~node0@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-25 20:03:57 +0000 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-06-25 20:06:00 +0000 | myyo | (~myyo@71-211-168-167.hlrn.qwest.net) |
| 2023-06-25 20:06:26 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-06-25 20:06:44 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-25 20:06:52 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-06-25 20:07:20 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-25 20:07:39 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-25 20:15:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 20:18:26 +0000 | myyo | (~myyo@71-211-168-167.hlrn.qwest.net) () |
| 2023-06-25 20:22:19 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-25 20:27:07 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-25 20:27:08 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-06-25 20:28:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 20:28:19 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-25 20:33:26 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-06-25 20:37:02 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-25 20:38:49 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-25 20:45:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 20:47:40 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-08a1-ddae-00eb-83a7.rev.sfr.net) (Remote host closed the connection) |
| 2023-06-25 20:53:49 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-06-25 20:56:59 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 264 seconds) |
| 2023-06-25 20:57:36 +0000 | mechap | (~mechap@user/mechap) |
| 2023-06-25 20:59:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 21:05:12 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds) |
| 2023-06-25 21:10:51 +0000 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-06-25 21:11:43 +0000 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-06-25 21:15:52 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-06-25 21:16:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-06-25 21:16:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 21:17:21 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-25 21:25:23 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 21:31:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-25 21:41:10 +0000 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-25 21:41:23 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-25 21:59:02 +0000 | ario | (~ario@159.65.220.102) (Server closed connection) |
| 2023-06-25 21:59:09 +0000 | ario | (~ario@159.65.220.102) |
| 2023-06-25 22:08:10 +0000 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection) |
| 2023-06-25 22:12:31 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-06-25 22:15:44 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-06-25 22:18:26 +0000 | dost^ | (~dost@c-71-204-38-59.hsd1.ga.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-25 22:18:26 +0000 | hdggxin | (~hdggxin@122.175.41.19) (Ping timeout: 250 seconds) |
| 2023-06-25 22:21:35 +0000 | acidjnk | (~acidjnk@p200300d6e7072f58d4f02286a979ebfa.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-06-25 22:21:52 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-25 22:26:15 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) (Remote host closed the connection) |
| 2023-06-25 22:27:17 +0000 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-06-25 22:27:32 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-25 22:29:31 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-25 22:29:47 +0000 | mmhat | (~mmh@p200300f1c74b7d41ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-06-25 22:30:10 +0000 | mmhat | (~mmh@p200300f1c74b7df3ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-06-25 22:31:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-25 22:33:32 +0000 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 2023-06-25 22:34:25 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-06-25 22:36:35 +0000 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-06-25 22:36:37 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-25 22:41:24 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) |
| 2023-06-25 22:41:56 +0000 | <segfaultfizzbuzz> | "We also show how we can generically derive a map function over any polynomial data type that is fully in-place and uses neither heap- nor stack space." https://www.microsoft.com/en-us/research/uploads/prod/2023/05/fbip.pdf |
| 2023-06-25 22:41:58 +0000 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) |
| 2023-06-25 22:42:10 +0000 | <segfaultfizzbuzz> | what is the third alternative to the heap and the stack |
| 2023-06-25 22:46:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-06-25 22:46:51 +0000 | migas | (~migas@astra4961.startdedicated.net) (Quit: The Lounge - https://thelounge.github.io) |
| 2023-06-25 22:47:11 +0000 | migas | (~migas@astra4961.startdedicated.net) |
| 2023-06-25 22:48:40 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-25 22:50:10 +0000 | <segfaultfizzbuzz> | i guess they are saying that whatever is being operated on has already been allocated, and the mutate that space? |
| 2023-06-25 22:50:14 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-06-25 22:50:39 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Quit: WeeChat 3.8) |
| 2023-06-25 22:51:14 +0000 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2023-06-25 22:51:36 +0000 | <dolio> | Presumably it re-uses the space from the structure you fed in. |
| 2023-06-25 22:51:48 +0000 | troydm | (~troydm@user/troydm) |
| 2023-06-25 22:52:00 +0000 | <dolio> | Because the map is consuming the original structure. |
| 2023-06-25 22:52:25 +0000 | <segfaultfizzbuzz> | doesn't make sense, what if i want to map a binary number to a randomly generated midjourney image of either a dog or a cat eating spagetti? |
| 2023-06-25 22:52:43 +0000 | <segfaultfizzbuzz> | 1 bit of space somehow becomes a one megabyte jpeg? |
| 2023-06-25 22:53:15 +0000 | <dolio> | map is the function `(a -> b) -> F a -> F b` |
| 2023-06-25 22:55:50 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c4:bb57:30a:20d0) |
| 2023-06-25 22:56:28 +0000 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2023-06-25 22:57:57 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-06-25 22:59:47 +0000 | segfaultfizzbuzz | (~segfaultf@12.172.217.142) (Ping timeout: 245 seconds) |
| 2023-06-25 23:02:08 +0000 | <monochrom> | There are many "you know what I mean" there that becomes very long and boring when spelled out. |
| 2023-06-25 23:02:24 +0000 | <monochrom> | Firstly add "extra", i.e., "does not use extra space". |
| 2023-06-25 23:02:41 +0000 | <monochrom> | Secondally add "apart from a small O(1) amount". |
| 2023-06-25 23:02:58 +0000 | <monochrom> | Thirdly add "apart from what the a->b function adds". |
| 2023-06-25 23:03:26 +0000 | <monochrom> | There may be a fourthly but I haven't found one. |
| 2023-06-25 23:03:31 +0000 | <monochrom> | For now. :) |
| 2023-06-25 23:10:08 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-06-25 23:21:35 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-06-25 23:32:26 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-25 23:32:26 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-25 23:32:26 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-25 23:41:02 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 245 seconds) |
| 2023-06-25 23:47:34 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-06-25 23:48:24 +0000 | oljenkins | (~philipp@p5dec4bb3.dip0.t-ipconnect.de) (Server closed connection) |
| 2023-06-25 23:48:39 +0000 | oljenkins | (~philipp@p5dec4bb3.dip0.t-ipconnect.de) |
| 2023-06-25 23:49:47 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 264 seconds) |
| 2023-06-25 23:49:47 +0000 | mauke_ | mauke |
| 2023-06-25 23:58:33 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |