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