| 2023-10-09 00:03:22 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-10-09 00:10:49 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 00:15:41 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 00:16:49 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2023-10-09 00:18:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-09 00:28:51 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 00:29:11 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 260 seconds) |
| 2023-10-09 00:29:53 +0200 | stites | (~stites@2607:fb91:dc3:1267:8194:4057:3670:88d7) |
| 2023-10-09 00:32:26 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-09 00:33:09 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 00:33:40 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 00:34:01 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-09 00:38:07 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 00:50:33 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 00:53:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-09 00:53:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 00:55:13 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 01:05:10 +0200 | stites | (~stites@2607:fb91:dc3:1267:8194:4057:3670:88d7) (Read error: Connection reset by peer) |
| 2023-10-09 01:05:31 +0200 | stites | (~stites@130.44.147.204) |
| 2023-10-09 01:05:34 +0200 | califax_ | (~califax@user/califx) |
| 2023-10-09 01:06:19 +0200 | califax | (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2023-10-09 01:06:40 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 01:06:51 +0200 | califax_ | califax |
| 2023-10-09 01:10:02 +0200 | xigua | (~xigua@user/xigua) |
| 2023-10-09 01:11:24 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 01:13:45 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-09 01:18:19 +0200 | NinjaTrappeur | (~ninja@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 264 seconds) |
| 2023-10-09 01:19:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-09 01:23:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c9:e2cd:7450:1f71) (Remote host closed the connection) |
| 2023-10-09 01:24:14 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 01:27:55 +0200 | NinjaTrappeur | (~ninja@about/aquilenet/vodoo/NinjaTrappeur) |
| 2023-10-09 01:28:36 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 01:33:05 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-09 01:40:17 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 01:45:35 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-09 01:53:37 +0200 | Guest3051 | sa |
| 2023-10-09 01:55:55 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c9:e2cd:7450:1f71) |
| 2023-10-09 01:56:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-09 01:56:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 01:58:51 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 01:59:11 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-10-09 02:00:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c9:e2cd:7450:1f71) (Ping timeout: 260 seconds) |
| 2023-10-09 02:01:53 +0200 | captnemo | (~captnemo@193.32.127.239) |
| 2023-10-09 02:03:58 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 02:06:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-09 02:06:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 02:15:07 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 02:15:56 +0200 | czy | (~user@121.231.44.109) (Ping timeout: 255 seconds) |
| 2023-10-09 02:19:49 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 02:21:01 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-09 02:29:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-10-09 02:29:59 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-09 02:31:14 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 2023-10-09 02:33:18 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 02:37:35 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-09 02:37:44 +0200 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) |
| 2023-10-09 02:37:44 +0200 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) (Changing host) |
| 2023-10-09 02:37:44 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-10-09 02:40:58 +0200 | cpressey | (~cpressey@host-2-102-9-134.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-09 02:42:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c9:e2cd:7450:1f71) |
| 2023-10-09 02:48:20 +0200 | tdammers | (~tdammers@219-131-178-143.ftth.glasoperator.nl) (Ping timeout: 255 seconds) |
| 2023-10-09 02:49:50 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 02:50:51 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2023-10-09 02:50:58 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-09 02:52:19 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-10-09 02:53:25 +0200 | lena64t | (~lena64t@gateway/tor-sasl/hck) |
| 2023-10-09 02:54:38 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 02:56:07 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 264 seconds) |
| 2023-10-09 03:06:56 +0200 | mmhat | (~mmh@p200300f1c74e6fa7ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-10-09 03:07:06 +0200 | mmhat | (~mmh@p200300f1c74e6fa7ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-10-09 03:07:12 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 03:07:45 +0200 | tdammers | (~tdammers@219-131-178-143.ftth.glasoperator.nl) |
| 2023-10-09 03:11:35 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-09 03:23:39 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 03:25:41 +0200 | otto_s | (~user@p5b044871.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2023-10-09 03:26:53 +0200 | otto_s | (~user@p4ff27261.dip0.t-ipconnect.de) |
| 2023-10-09 03:28:12 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 2023-10-09 03:28:50 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
| 2023-10-09 03:31:05 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2023-10-09 03:34:35 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-10-09 03:35:10 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-09 03:39:55 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-09 03:40:10 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 03:40:28 +0200 | califax | (~califax@user/califx) |
| 2023-10-09 03:41:51 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-10-09 03:45:06 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 03:58:57 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 04:03:24 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 2023-10-09 04:06:33 +0200 | Cajun | (~Cajun@user/cajun) (Quit: Client closed) |
| 2023-10-09 04:12:54 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-09 04:12:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-10-09 04:12:54 +0200 | finn_elija | FinnElija |
| 2023-10-09 04:15:46 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 04:20:46 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 04:32:35 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 04:36:50 +0200 | powderedhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Leaving) |
| 2023-10-09 04:37:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-09 04:37:05 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-09 04:40:25 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-09 04:49:09 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-10-09 04:49:18 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 04:55:22 +0200 | td_ | (~td@i53870918.versanet.de) (Ping timeout: 255 seconds) |
| 2023-10-09 04:55:35 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-09 04:57:19 +0200 | td_ | (~td@i53870939.versanet.de) |
| 2023-10-09 04:59:51 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-09 05:00:00 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2023-10-09 05:00:14 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-09 05:01:13 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) |
| 2023-10-09 05:03:25 +0200 | srk | (~sorki@user/srk) (Remote host closed the connection) |
| 2023-10-09 05:03:44 +0200 | srk | (~sorki@user/srk) |
| 2023-10-09 05:08:07 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 05:12:36 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 05:12:53 +0200 | aforemny | (~aforemny@i59F516DE.versanet.de) |
| 2023-10-09 05:14:02 +0200 | aforemny_ | (~aforemny@i59F516D9.versanet.de) (Ping timeout: 255 seconds) |
| 2023-10-09 05:15:16 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-09 05:19:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-09 05:26:21 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 05:28:45 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-10-09 05:32:35 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-09 05:34:15 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2023-10-09 05:44:59 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 05:45:00 +0200 | khumba | (~khumba@user/khumba) () |
| 2023-10-09 05:46:45 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-10-09 05:46:55 +0200 | Inst | (~Inst@120.244.192.250) () |
| 2023-10-09 05:49:31 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 05:51:15 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-09 06:00:38 +0200 | actioninja | (~actioninj@user/actioninja) (Quit: see ya mane) |
| 2023-10-09 06:01:13 +0200 | actioninja | (~actioninj@user/actioninja) |
| 2023-10-09 06:02:06 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 06:05:03 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-09 06:06:37 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 06:17:51 +0200 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-10-09 06:18:45 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 06:23:08 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 2023-10-09 06:25:27 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-10-09 06:26:08 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-09 06:27:06 +0200 | michalz | (~michalz@185.246.207.215) |
| 2023-10-09 06:31:53 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-10-09 06:36:50 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 06:39:54 +0200 | bilegeek | (~bilegeek@2600:1008:b058:7972:86bd:56d8:83ef:566f) (Quit: Leaving) |
| 2023-10-09 06:41:16 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 06:44:49 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-10-09 06:45:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-09 06:53:00 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 06:57:50 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 06:57:52 +0200 | Ou42 | (~Ou42@2600:1700:e930:41b0:36ed:9bf9:bd4d:f49e) |
| 2023-10-09 07:08:56 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-10-09 07:09:41 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 07:14:06 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 07:14:30 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-10-09 07:23:47 +0200 | Ou42 | (~Ou42@2600:1700:e930:41b0:36ed:9bf9:bd4d:f49e) (Quit: Rick Rolled 1 too many times) |
| 2023-10-09 07:25:59 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 07:30:20 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 2023-10-09 07:32:52 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 2023-10-09 07:34:18 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-09 07:42:18 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-09 07:42:57 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 07:47:24 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 08:00:36 +0200 | captnemo | (~captnemo@193.32.127.239) (Ping timeout: 260 seconds) |
| 2023-10-09 08:01:03 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 08:04:34 +0200 | acidjnk | (~acidjnk@p200300d6e7072f5891f914b8da82fdcb.dip0.t-ipconnect.de) |
| 2023-10-09 08:05:24 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 08:06:20 +0200 | krei-se- | (~krei-se@p50874770.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-09 08:07:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2023-10-09 08:08:24 +0200 | krei-se | (~krei-se@p50874770.dip0.t-ipconnect.de) |
| 2023-10-09 08:13:55 +0200 | vglfr | (~vglfr@88.155.165.25) |
| 2023-10-09 08:15:11 +0200 | krei-se | (~krei-se@p50874770.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-09 08:17:01 +0200 | vglfr | (~vglfr@88.155.165.25) (Read error: Connection reset by peer) |
| 2023-10-09 08:17:21 +0200 | vglfr | (~vglfr@138.199.53.250) |
| 2023-10-09 08:18:17 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-10-09 08:18:39 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-09 08:19:23 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 08:20:47 +0200 | krei-se | (~krei-se@p50874770.dip0.t-ipconnect.de) |
| 2023-10-09 08:23:58 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 08:26:19 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-09 08:30:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-09 08:31:06 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-10-09 08:34:48 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-09 08:36:23 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 08:37:44 +0200 | krei-se | (~krei-se@p50874770.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-09 08:38:04 +0200 | vglfr | (~vglfr@138.199.53.250) (Remote host closed the connection) |
| 2023-10-09 08:38:46 +0200 | vglfr | (~vglfr@138.199.53.250) |
| 2023-10-09 08:40:51 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 08:42:05 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-09 08:42:11 +0200 | krei-se | (~krei-se@p50874770.dip0.t-ipconnect.de) |
| 2023-10-09 08:46:40 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 08:47:17 +0200 | vglfr | (~vglfr@138.199.53.250) (Remote host closed the connection) |
| 2023-10-09 08:48:00 +0200 | vglfr | (~vglfr@138.199.53.250) |
| 2023-10-09 08:51:19 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 08:51:23 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-10-09 08:53:30 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-10-09 08:53:53 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-09 08:56:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-10-09 08:56:44 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-09 08:57:05 +0200 | vglfr | (~vglfr@138.199.53.250) (Remote host closed the connection) |
| 2023-10-09 08:57:50 +0200 | vglfr | (~vglfr@88.155.165.25) |
| 2023-10-09 08:57:58 +0200 | vglfr | (~vglfr@88.155.165.25) (Read error: Connection reset by peer) |
| 2023-10-09 08:58:13 +0200 | vglfr | (~vglfr@138.199.53.250) |
| 2023-10-09 09:00:39 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 2023-10-09 09:01:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b8cd:c7ec:7d27:7720) |
| 2023-10-09 09:02:38 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 09:07:04 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 09:11:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 09:15:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-09 09:16:46 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-09 09:16:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 09:18:49 +0200 | CiaoSen | (~Jura@2a05:5800:29e:ae00:664b:f0ff:fe37:9ef) |
| 2023-10-09 09:20:40 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 09:22:14 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-09 09:22:42 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-10-09 09:23:18 +0200 | cpressey | (~cpressey@host-2-102-9-134.as13285.net) |
| 2023-10-09 09:23:55 +0200 | Inst | (~Inst@120.244.192.250) () |
| 2023-10-09 09:25:05 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-09 09:36:59 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 09:41:16 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 09:48:17 +0200 | danse-nr3 | (~francesco@151.35.152.200) |
| 2023-10-09 09:50:41 +0200 | <danse-nr3> | hello #haskell |
| 2023-10-09 09:52:45 +0200 | <sshine> | hello |
| 2023-10-09 09:52:48 +0200 | <sshine> | on behalf of #haskell |
| 2023-10-09 09:53:32 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 09:54:04 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-09 09:56:39 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-09 09:57:04 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-10-09 09:57:09 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2023-10-09 09:58:20 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 09:58:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-09 10:05:53 +0200 | <haskellbridge> | <m​auke> HELLO *shouts from the bridge* |
| 2023-10-09 10:09:36 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 10:10:49 +0200 | vglfr | (~vglfr@138.199.53.250) (Ping timeout: 252 seconds) |
| 2023-10-09 10:11:10 +0200 | vglfr | (~vglfr@88.155.165.25) |
| 2023-10-09 10:11:27 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) |
| 2023-10-09 10:13:44 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:21c9:e2cd:7450:1f71) (Remote host closed the connection) |
| 2023-10-09 10:13:44 +0200 | vglfr | (~vglfr@88.155.165.25) (Read error: Connection reset by peer) |
| 2023-10-09 10:13:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-09 10:14:10 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 10:14:24 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF20042E7A7F7CBA9C62A.dsl.pool.telekom.hu) |
| 2023-10-09 10:16:22 +0200 | <danse-nr3> | hehe people despise this bridge quite a bit but i can assure the audio quality is pretty good, no need to shout =D |
| 2023-10-09 10:17:37 +0200 | <danse-nr3> | and we have got <pointyparens> to remind us you are writing from a better place |
| 2023-10-09 10:17:56 +0200 | simendsjo | (~user@84.211.91.241) (Remote host closed the connection) |
| 2023-10-09 10:22:10 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-09 10:22:44 +0200 | <danse-nr3> | that reminds me of a technique used in multicast network sshine... i think it is called "feedback message suppression" or something along those lines. Basically, one node answering to an ack is enough so that the network protocol can scale reducing messages |
| 2023-10-09 10:23:50 +0200 | <sshine> | I remember there was a script that would rewrite bridge messages locally in the client. |
| 2023-10-09 10:24:12 +0200 | <sshine> | this was from when irc-irc bridges across networks were popular |
| 2023-10-09 10:24:43 +0200 | <sshine> | I remember various #tcl channels were all connected |
| 2023-10-09 10:25:00 +0200 | <sshine> | the community was so small that it was a real benefit. |
| 2023-10-09 10:25:31 +0200 | <danse-nr3> | uh i was referring more to replying "on behalf of #haskell" :P |
| 2023-10-09 10:25:41 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-09 10:25:50 +0200 | <sshine> | mauke, can you do a /me from the other side of the bridge, so I can see how the bridge displays it? |
| 2023-10-09 10:25:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2023-10-09 10:26:10 +0200 | vglfr | (~vglfr@88.155.165.25) |
| 2023-10-09 10:26:13 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-10-09 10:26:29 +0200 | <sshine> | danse-nr3, ah :) |
| 2023-10-09 10:27:38 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 10:27:52 +0200 | sshine | is doing some modbus broadcasting at work, but only the master does the broadcasting; would be neat if clients could be delegated to answer a broadcast on behalf of everyone. :P |
| 2023-10-09 10:30:05 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-10-09 10:32:06 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 10:43:26 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-09 10:44:10 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 10:44:22 +0200 | <danse-nr3> | oh, network protocols in haskell? I thought that would be rare |
| 2023-10-09 10:47:53 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-10-09 10:48:19 +0200 | <tomsmeding> | sshine: what irc client are you using |
| 2023-10-09 10:48:32 +0200 | <tomsmeding> | we'd just been discussing this last night in #-offtopic |
| 2023-10-09 10:48:46 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 10:52:15 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-10-09 11:01:16 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 11:06:06 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 11:06:37 +0200 | chele | (~chele@user/chele) |
| 2023-10-09 11:08:32 +0200 | chele | (~chele@user/chele) (Client Quit) |
| 2023-10-09 11:08:43 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-10-09 11:08:57 +0200 | haskellbridge | <m​auke> wonders if this works |
| 2023-10-09 11:09:20 +0200 | <tomsmeding> | it does, and my reformatting script doesn't process it lol |
| 2023-10-09 11:09:21 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-09 11:09:51 +0200 | chele | (~chele@user/chele) |
| 2023-10-09 11:09:51 +0200 | <tomsmeding> | but /me'ing is uncommon enough on the matrix side that I'm not going to bother to change it |
| 2023-10-09 11:13:19 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-10-09 11:17:36 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 11:18:30 +0200 | laxmik | (~laxmik@host-178-72-203-74.ip.nej.cz) |
| 2023-10-09 11:20:08 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-10-09 11:22:05 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-09 11:23:54 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-10-09 11:30:45 +0200 | tomith | (tomith@user/tomith) (Quit: tomith) |
| 2023-10-09 11:35:49 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 11:40:31 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 11:44:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 2023-10-09 11:47:07 +0200 | laxmik | (~laxmik@host-178-72-203-74.ip.nej.cz) (Quit: laxmik) |
| 2023-10-09 11:47:47 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-09 11:53:31 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 11:56:55 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-09 11:58:05 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 2023-10-09 12:06:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-09 12:11:59 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 12:12:34 +0200 | pounce | (~pounce@user/cute/pounce) (Ping timeout: 245 seconds) |
| 2023-10-09 12:15:07 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2023-10-09 12:16:23 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-10-09 12:16:31 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 12:18:47 +0200 | billchenchina | (~billchenc@117.136.52.34) |
| 2023-10-09 12:19:06 +0200 | CiaoSen | (~Jura@2a05:5800:29e:ae00:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-10-09 12:19:08 +0200 | billchenchina | (~billchenc@117.136.52.34) (Remote host closed the connection) |
| 2023-10-09 12:21:13 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:230::10) |
| 2023-10-09 12:21:27 +0200 | Guest|73 | (~Guest|73@172.226.87.17) |
| 2023-10-09 12:28:39 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-09 12:29:21 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 12:31:27 +0200 | Guest|73 | (~Guest|73@172.226.87.17) (Quit: Connection closed) |
| 2023-10-09 12:33:18 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-09 12:33:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-10-09 12:33:18 +0200 | finn_elija | FinnElija |
| 2023-10-09 12:34:08 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 12:38:23 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:230::10) (Remote host closed the connection) |
| 2023-10-09 12:39:07 +0200 | <kuribas> | How does GHC do compared to GHC for optimizating purely functional code, and having an efficient runtime. |
| 2023-10-09 12:39:36 +0200 | <kuribas> | Because my coworkers are claiming that java's runtime is superior, but I have doubts when it comes to purely functional programming. |
| 2023-10-09 12:39:47 +0200 | <kuribas> | Especially since GHC has now a parallel GC. |
| 2023-10-09 12:40:59 +0200 | danse-nr3 | (~francesco@151.35.152.200) (Ping timeout: 255 seconds) |
| 2023-10-09 12:43:00 +0200 | <haskellbridge> | <m​auke> Ghc is on par with ghc, I'd say |
| 2023-10-09 12:46:59 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 12:49:33 +0200 | <int-e> | I suspect that it's a rather lousy Java compiler though... but don't quote me on that. |
| 2023-10-09 12:50:08 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-09 12:51:36 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 12:51:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-09 12:52:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 13:03:07 +0200 | CiaoSen | (~Jura@2a05:5800:29e:ae00:664b:f0ff:fe37:9ef) |
| 2023-10-09 13:03:20 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 13:03:56 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 260 seconds) |
| 2023-10-09 13:06:35 +0200 | poscat | (~poscat@user/poscat) |
| 2023-10-09 13:06:46 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 2023-10-09 13:07:49 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 13:18:15 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-09 13:19:33 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 13:19:49 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Quit: Reconnecting) |
| 2023-10-09 13:20:02 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-09 13:21:05 +0200 | califax_ | (~califax@user/califx) |
| 2023-10-09 13:21:07 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2023-10-09 13:21:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds) |
| 2023-10-09 13:21:29 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2023-10-09 13:21:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2023-10-09 13:21:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2023-10-09 13:21:51 +0200 | lena64t | (~lena64t@gateway/tor-sasl/hck) (Ping timeout: 252 seconds) |
| 2023-10-09 13:22:13 +0200 | califax | (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2023-10-09 13:22:47 +0200 | califax_ | califax |
| 2023-10-09 13:23:17 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-09 13:23:21 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-10-09 13:23:24 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-10-09 13:23:33 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-10-09 13:23:49 +0200 | lena64t | (~lena64t@gateway/tor-sasl/hck) |
| 2023-10-09 13:24:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-09 13:24:10 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 13:24:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-10-09 13:25:31 +0200 | captnemo | (~captnemo@2a03:1b20:a:f011::e42f) |
| 2023-10-09 13:35:35 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 13:36:15 +0200 | <sand-witch> | Java runtime is great in general, but it doesn't fit needs of lazy FP. There are GC optimisations, that are only relevant for lazy languages, for example - selector forwarding, that allows haskell GC to transform thunks of from "case x of (a, b) -> a" into "a" and collect "b". Disabling this optimisation will cause huge performance and memory drawdowns (see the last paragraph of this responce of Kmett:... |
| 2023-10-09 13:36:20 +0200 | <sand-witch> | ... https://www.reddit.com/r/haskell/comments/8dr3xw/comment/dxq53tv) |
| 2023-10-09 13:38:27 +0200 | <kuribas> | sand-witch: how can you collect b, if it may be shared? |
| 2023-10-09 13:40:06 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 13:40:50 +0200 | <sand-witch> | * collect b in case it is not shared with something |
| 2023-10-09 13:42:39 +0200 | <sand-witch> | I mean, GHC/Haskell has moving GC, so "collect" in this context means that GC doesn't move it to the new allocated area and ofc GC will move "b" in case it linked somewhere else |
| 2023-10-09 13:43:54 +0200 | <kuribas> | ah right |
| 2023-10-09 13:48:40 +0200 | lg1883 | (~lg188@82.18.98.230) |
| 2023-10-09 13:49:31 +0200 | lg188 | (~lg188@82.18.98.230) (Ping timeout: 255 seconds) |
| 2023-10-09 13:49:31 +0200 | lg1883 | lg188 |
| 2023-10-09 13:51:59 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 13:56:22 +0200 | danse-nr3 | (~francesco@151.37.167.157) |
| 2023-10-09 13:56:26 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 13:58:05 +0200 | <sand-witch> | There also are benefits of Java runtime that are irrelevant for immutable FP code: jvm developers invest a lot of resources into escape analysis to avoid allocations (and avoiding allocations is the most effective way to optimise programming languages with automatic GC). This becomes complicated for Java because all objects in java have identity (i.e. they are mutable, so you can distinguish one object with the same fields from the... |
| 2023-10-09 13:58:11 +0200 | <sand-witch> | ... other one, if they don't point to the same memory). In GHC/Haskell objects have no identity*, so GHC simply unpacks them using synergy of simple worker/wrapper transformation, inlining, dead code elimination and case-of-known. * I don't count ST/IORef-s here |
| 2023-10-09 14:06:20 +0200 | <kuribas> | I see surprisingly little information about GHC's parallel GC, given how big of an impact that has... |
| 2023-10-09 14:08:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-10-09 14:08:54 +0200 | <kuribas> | oh wait, it's parallel, but not concurrent... |
| 2023-10-09 14:09:30 +0200 | <__monty__> | Do you mean the non-moving GC? Because AFAIK the parallel GC is more of a "only use if you know what you're doing, which requires having done some serious measurements." |
| 2023-10-09 14:09:39 +0200 | seeg123456 | (~seeg12345@64.176.64.83) (Quit: Gateway shutdown) |
| 2023-10-09 14:10:03 +0200 | <int-e> | the parallel GC is the thing that does garbage collection with multiple threads |
| 2023-10-09 14:10:20 +0200 | <sand-witch> | there are two GCs, parallel moving GC and concurrent non-moving GC (however even with non-moving concurrent GC first generation always moving) |
| 2023-10-09 14:10:21 +0200 | mmhat | (~mmh@p200300f1c74e6fa7ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-10-09 14:10:23 +0200 | <kuribas> | ah right, I want the non-moving GC then. |
| 2023-10-09 14:10:32 +0200 | <int-e> | as kuribas said, it's not concurrent (not working in parallel with mutators... that is, the haskell threads doing the actual computation) |
| 2023-10-09 14:10:33 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 14:10:41 +0200 | seeg123456 | (~seeg12345@64.176.64.83) |
| 2023-10-09 14:11:56 +0200 | <int-e> | and I believe that there's an exception for nurseries (first generation)? I recall a paper on that, with eager promotion when references to that nursery would end up on a later generation heap. |
| 2023-10-09 14:12:36 +0200 | <int-e> | But as often with these papers I don't know whether it actually ended up in GHC or was just experimental. |
| 2023-10-09 14:12:44 +0200 | <sand-witch> | As fas as I understand, non-moving GC slower than moving GC in general, but has shorter GC pauses, so you have more oppotunities of writing soft realtime code. |
| 2023-10-09 14:13:08 +0200 | <kuribas> | yes, it is for servers where latency is important. |
| 2023-10-09 14:13:09 +0200 | <sand-witch> | nurseries are first generation, right |
| 2023-10-09 14:13:11 +0200 | <int-e> | Non-moving GC is independent of that? I guess it would be easier to make concurrent. |
| 2023-10-09 14:13:16 +0200 | <kuribas> | or for games maybe? |
| 2023-10-09 14:13:29 +0200 | mmhat | (~mmh@p200300f1c74e6fa7ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-10-09 14:13:44 +0200 | <int-e> | Or incremental, which is a possible middle ground. |
| 2023-10-09 14:14:34 +0200 | <int-e> | (What I mean by incremental GC is one that stops the world for GCs but doesn't go through the whole heap at once.) |
| 2023-10-09 14:14:37 +0200 | <sand-witch> | As I can see, ICRainbow uses concurrent GC for game development in haskell |
| 2023-10-09 14:15:28 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 14:16:24 +0200 | <sand-witch> | (ICRainbow is this guy: https://github.com/dpwiz) |
| 2023-10-09 14:17:05 +0200 | <kuribas> | which game? |
| 2023-10-09 14:17:25 +0200 | <kuribas> | well, people use C# for game development now. |
| 2023-10-09 14:17:36 +0200 | <sand-witch> | Game engine :) https://gitlab.com/keid/engine |
| 2023-10-09 14:20:04 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-09 14:25:37 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2023-10-09 14:26:47 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 14:30:18 +0200 | <kuribas> | I am a bit spectical of using haskell for game development. |
| 2023-10-09 14:30:58 +0200 | <kuribas> | I'd rather implement a low level ECS in rust or so, with manual memory management, then write a haskell (or idris) wrapper to safely manipulate it. |
| 2023-10-09 14:31:03 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 14:33:58 +0200 | <sand-witch> | I'm not sure about triple A games, but IMO for (almost) all less ambitious games haskell is good enough by itself |
| 2023-10-09 14:35:50 +0200 | <aforemny> | i felt garbage collection a real obstacle to games in haskell. in my little experience, with writing games and writing performant haskell, having to deal with garbage collector pauses is no fun developing a game, when, say, in rust game-dev, you don't have that problem at all |
| 2023-10-09 14:38:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2023-10-09 14:41:56 +0200 | danse-nr3 | (~francesco@151.37.167.157) (Remote host closed the connection) |
| 2023-10-09 14:42:19 +0200 | danse-nr3 | (~francesco@151.37.167.157) |
| 2023-10-09 14:43:53 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 14:43:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-10-09 14:45:31 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-09 14:45:31 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-09 14:45:31 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-09 14:48:21 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 14:56:06 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-10-09 14:56:27 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-09 15:01:19 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-10-09 15:02:34 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 15:03:28 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-10-09 15:03:54 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 4.0.4) |
| 2023-10-09 15:06:19 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 245 seconds) |
| 2023-10-09 15:07:01 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 15:10:48 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 2023-10-09 15:11:19 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-10-09 15:13:19 +0200 | ph88 | (~ph88@ip5b406c07.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2023-10-09 15:13:28 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-10-09 15:16:34 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-10-09 15:17:01 +0200 | chele | (~chele@user/chele) |
| 2023-10-09 15:18:49 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 15:19:28 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-10-09 15:22:45 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-10-09 15:23:52 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 15:27:13 +0200 | cpressey | (~cpressey@host-2-102-9-134.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-09 15:34:45 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 15:34:54 +0200 | cpressey | (~cpressey@host-80-47-5-146.as13285.net) |
| 2023-10-09 15:39:42 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 15:40:05 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-09 15:43:59 +0200 | SanchayanMaity_ | (~Sanchayan@2401:4900:1cb8:cdc3:71a:d838:f627:972c) |
| 2023-10-09 15:44:26 +0200 | SanchayanMaity_ | (~Sanchayan@2401:4900:1cb8:cdc3:71a:d838:f627:972c) (Client Quit) |
| 2023-10-09 15:45:30 +0200 | SanchayanMaity_ | (~Sanchayan@2401:4900:1cb8:cdc3:71a:d838:f627:972c) |
| 2023-10-09 15:46:18 +0200 | SanchayanMaity_ | (~Sanchayan@2401:4900:1cb8:cdc3:71a:d838:f627:972c) (Client Quit) |
| 2023-10-09 15:47:38 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-10-09 15:49:03 +0200 | <haskellbridge> | <s​m> aforemny: did you experience it as a problem ? |
| 2023-10-09 15:49:20 +0200 | <haskellbridge> | <s​m> haskellers who've made games always seem to say that GC pauses were a non-issue |
| 2023-10-09 15:51:52 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 15:52:33 +0200 | <exarkun> | Also, "games" is a very broad area. Making a "game" certainly does not imply one single narrow set of requirements. |
| 2023-10-09 15:56:33 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 15:58:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 16:00:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-09 16:00:58 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 16:02:59 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-10-09 16:09:28 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-09 16:09:53 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 16:12:33 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-09 16:14:32 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 16:20:02 +0200 | infinity0 | (~infinity0@pwned.gg) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2023-10-09 16:23:41 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-10-09 16:24:31 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-09 16:26:40 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-09 16:26:54 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 16:30:04 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 248 seconds) |
| 2023-10-09 16:31:13 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 16:32:14 +0200 | privacy | (~privacy@user/privacy) |
| 2023-10-09 16:34:59 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-09 16:36:42 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 272 seconds) |
| 2023-10-09 16:41:44 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Ping timeout: 255 seconds) |
| 2023-10-09 16:43:18 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 16:44:12 +0200 | CiaoSen | (~Jura@2a05:5800:29e:ae00:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 2023-10-09 16:44:20 +0200 | danse-nr3_ | (~francesco@151.35.191.11) |
| 2023-10-09 16:44:21 +0200 | danse-nr3 | (~francesco@151.37.167.157) (Read error: Connection reset by peer) |
| 2023-10-09 16:46:34 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-10-09 16:47:51 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 16:51:17 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-09 16:53:17 +0200 | _rec___ | (~ryan@c-71-229-216-65.hsd1.co.comcast.net) |
| 2023-10-09 16:53:30 +0200 | _rec___ | (~ryan@c-71-229-216-65.hsd1.co.comcast.net) () |
| 2023-10-09 16:54:11 +0200 | _rec_1 | (~Thunderbi@c-71-229-216-65.hsd1.co.comcast.net) |
| 2023-10-09 16:54:27 +0200 | <_rec_1> | hello |
| 2023-10-09 16:59:24 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 17:02:55 +0200 | <geekosaur> | hi |
| 2023-10-09 17:03:35 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-09 17:06:09 +0200 | iris_67 | (~iris_67@2804:14c:5b61:83f2:f29b:e40b:7bc8:4ef2) |
| 2023-10-09 17:15:56 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 17:17:54 +0200 | _rec_1 | (~Thunderbi@c-71-229-216-65.hsd1.co.comcast.net) (Remote host closed the connection) |
| 2023-10-09 17:19:48 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-09 17:20:12 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 2023-10-09 17:24:23 +0200 | privacy | (~privacy@user/privacy) (Remote host closed the connection) |
| 2023-10-09 17:24:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-09 17:30:52 +0200 | sabino | (~sabino@user/sabino) |
| 2023-10-09 17:32:57 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 17:37:22 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 17:37:30 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2023-10-09 17:38:16 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-09 17:43:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b8cd:c7ec:7d27:7720) (Quit: WeeChat 2.8) |
| 2023-10-09 17:43:50 +0200 | stackdroid18 | (14094@de1.hashbang.sh) |
| 2023-10-09 17:44:11 +0200 | todi | (~todi@p4fd1ae09.dip0.t-ipconnect.de) |
| 2023-10-09 17:49:59 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 17:51:54 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-09 17:52:01 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-09 17:52:17 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-09 17:52:52 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-09 17:54:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 2023-10-09 17:54:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 2023-10-09 17:54:36 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 17:54:46 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-09 17:58:00 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-09 17:59:46 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 260 seconds) |
| 2023-10-09 18:00:39 +0200 | stites | (~stites@2607:fb91:dcf:5265:c7a5:8dfc:6762:14b0) |
| 2023-10-09 18:02:02 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-10-09 18:04:34 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-09 18:05:08 +0200 | cpressey | (~cpressey@host-80-47-5-146.as13285.net) (Quit: Client closed) |
| 2023-10-09 18:06:23 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 18:06:28 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-10-09 18:11:04 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 18:13:54 +0200 | <EvanR> | aforemny, there are many gc tuning RTS flags to try when making an interactive haskell program with a lot of stuff in memory |
| 2023-10-09 18:14:43 +0200 | iris_67 | (~iris_67@2804:14c:5b61:83f2:f29b:e40b:7bc8:4ef2) (Ping timeout: 245 seconds) |
| 2023-10-09 18:14:59 +0200 | <EvanR> | https://downloads.haskell.org/ghc/latest/docs/users_guide/runtime_control.html#rts-options-to-cont… |
| 2023-10-09 18:15:11 +0200 | <EvanR> | which might come in handy if you actually experience issues |
| 2023-10-09 18:15:44 +0200 | <EvanR> | another "trick" we have now is putting large read-only data in a compact region |
| 2023-10-09 18:16:17 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-09 18:18:41 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-09 18:19:47 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2023-10-09 18:22:12 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-10-09 18:22:16 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-10-09 18:23:18 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 18:24:52 +0200 | stites | (~stites@2607:fb91:dcf:5265:c7a5:8dfc:6762:14b0) (Read error: Connection reset by peer) |
| 2023-10-09 18:25:12 +0200 | stites | (~stites@130.44.147.204) |
| 2023-10-09 18:27:19 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-09 18:27:41 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 18:28:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 2023-10-09 18:32:04 +0200 | vglfr | (~vglfr@88.155.165.25) (Read error: Connection reset by peer) |
| 2023-10-09 18:32:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 2023-10-09 18:32:25 +0200 | vglfr | (~vglfr@138.199.53.241) |
| 2023-10-09 18:35:56 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-09 18:36:56 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-10-09 18:41:45 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 18:46:04 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 248 seconds) |
| 2023-10-09 18:47:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-09 18:47:59 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2023-10-09 18:54:14 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 245 seconds) |
| 2023-10-09 18:57:05 +0200 | danse-nr3_ | (~francesco@151.35.191.11) (Ping timeout: 255 seconds) |
| 2023-10-09 18:58:07 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 18:58:13 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 255 seconds) |
| 2023-10-09 18:59:21 +0200 | bilegeek | (~bilegeek@2600:1008:b022:5d70:d1fb:281b:8426:8eb0) |
| 2023-10-09 18:59:26 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-09 19:00:21 +0200 | vglfr | (~vglfr@138.199.53.241) (Ping timeout: 260 seconds) |
| 2023-10-09 19:01:05 +0200 | vglfr | (~vglfr@88.155.165.25) |
| 2023-10-09 19:01:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 2023-10-09 19:02:35 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2023-10-09 19:04:56 +0200 | Square | (~Square@user/square) |
| 2023-10-09 19:05:25 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 2023-10-09 19:05:31 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-09 19:05:45 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-09 19:06:58 +0200 | danse-nr3_ | (~francesco@151.35.191.11) |
| 2023-10-09 19:07:03 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-09 19:09:10 +0200 | dibblego | (~dibblego@122.199.1.93) |
| 2023-10-09 19:09:10 +0200 | dibblego | (~dibblego@122.199.1.93) (Changing host) |
| 2023-10-09 19:09:10 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-10-09 19:09:12 +0200 | phma | (~phma@2001:5b0:2143:cec8:c3c:3fa4:1ab9:dd90) (Read error: Connection reset by peer) |
| 2023-10-09 19:10:41 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-09 19:13:41 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Quit: reconnecting) |
| 2023-10-09 19:13:57 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-09 19:14:45 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 19:15:05 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 255 seconds) |
| 2023-10-09 19:17:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 2023-10-09 19:18:06 +0200 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) |
| 2023-10-09 19:18:06 +0200 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) (Changing host) |
| 2023-10-09 19:18:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-10-09 19:18:25 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-10-09 19:19:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 19:19:36 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 19:25:13 +0200 | phma | (~phma@host-67-44-208-50.hnremote.net) |
| 2023-10-09 19:30:04 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-09 19:30:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-10-09 19:31:05 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-09 19:32:26 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 19:32:40 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-10-09 19:34:49 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-10-09 19:37:12 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 19:37:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-10-09 19:39:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-09 19:48:53 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-10-09 19:49:10 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 19:54:01 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2023-10-09 19:55:14 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-10-09 19:57:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-10-09 19:58:33 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-10-09 20:00:27 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 2023-10-09 20:01:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 20:02:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 2023-10-09 20:05:27 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-10-09 20:05:40 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 20:07:12 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 2023-10-09 20:07:24 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-10-09 20:07:44 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-09 20:07:44 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-09 20:07:44 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-09 20:07:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-10-09 20:09:41 +0200 | stackdroid18 | (14094@de1.hashbang.sh) (Quit: hasta la vista... tchau!) |
| 2023-10-09 20:10:21 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 255 seconds) |
| 2023-10-09 20:12:47 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-09 20:13:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 20:15:21 +0200 | rgw | (~R@2605:a601:a0df:5600:4991:d4f3:eae6:6) |
| 2023-10-09 20:15:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-09 20:15:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 20:18:47 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-09 20:19:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-10-09 20:19:50 +0200 | <tomsmeding> | the GHC.Exts module documentation has the following sentence: "Note: no other base module should import this module." |
| 2023-10-09 20:20:04 +0200 | <tomsmeding> | surely Int needs to find its way into Prelude somehow |
| 2023-10-09 20:20:18 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 20:20:21 +0200 | <tomsmeding> | is that "no other base module" ... with exceptions? |
| 2023-10-09 20:21:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 20:21:24 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-10-09 20:22:01 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-10-09 20:22:55 +0200 | captnemo | (~captnemo@2a03:1b20:a:f011::e42f) (Quit: WeeChat 4.0.4) |
| 2023-10-09 20:23:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 2023-10-09 20:24:00 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-09 20:27:23 +0200 | bilegeek | (~bilegeek@2600:1008:b022:5d70:d1fb:281b:8426:8eb0) (Quit: Leaving) |
| 2023-10-09 20:27:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-09 20:28:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-09 20:28:38 +0200 | <monochrom> | I think there is a diamond. Both Prelude and GHC.Exts got Int from a deeper module. |
| 2023-10-09 20:29:16 +0200 | AlexZenon | (~alzenon@178.34.163.10) (Ping timeout: 255 seconds) |
| 2023-10-09 20:30:13 +0200 | AlexZenon | (~alzenon@178.34.163.10) |
| 2023-10-09 20:30:31 +0200 | <rgw> | doesn't it get it from ghc.base? |
| 2023-10-09 20:30:47 +0200 | <geekosaur> | GHC.Integer |
| 2023-10-09 20:31:27 +0200 | <geekosaur> | which is extra special, I think there's only one module allowed to import it directly because of import loops |
| 2023-10-09 20:32:09 +0200 | <geekosaur> | but maybe I'm misremembering and there's something even deeper with that constraint (GHC.BigInt?) |
| 2023-10-09 20:32:32 +0200 | <dolio> | Also, that documentation is probably for random schmoes. You should not be directly importing GHC.Exts in your new library. |
| 2023-10-09 20:33:11 +0200 | <rgw> | https://raw.githubusercontent.com/ghc/ghc/master/libraries/base/GHC/Base.hs |
| 2023-10-09 20:33:19 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-10-09 20:33:21 +0200 | <rgw> | there's a note on ghc.num.integer |
| 2023-10-09 20:33:22 +0200 | <tomsmeding> | monochrom: ah |
| 2023-10-09 20:34:00 +0200 | <tomsmeding> | rgw: ah! Yes I remember seeing that |
| 2023-10-09 20:34:09 +0200 | <rgw> | To ensure that GHC.Num.Integer is there, we must ensure that there is a visible |
| 2023-10-09 20:34:09 +0200 | <rgw> | dependency on GHC.Num.Integer from every module in base. We make GHC.Base |
| 2023-10-09 20:34:09 +0200 | <rgw> | depend on GHC.Num.Integer; and everything else either depends on GHC.Base, |
| 2023-10-09 20:34:09 +0200 | <rgw> | directly on GHC.Num.Integer, or does not have NoImplicitPrelude (and hence |
| 2023-10-09 20:34:09 +0200 | <rgw> | depends on Prelude). |
| 2023-10-09 20:34:11 +0200 | <tomsmeding> | my memory was faulty |
| 2023-10-09 20:34:18 +0200 | <geekosaur> | actually GHC.Exts is the one GHC-tree module randoms are allowed to import |
| 2023-10-09 20:34:22 +0200 | <geekosaur> | the others are unsafe |
| 2023-10-09 20:34:31 +0200 | <rgw> | i just looked at the source |
| 2023-10-09 20:34:35 +0200 | <geekosaur> | (as in nobody guarantees the API won't change) |
| 2023-10-09 20:34:45 +0200 | <rgw> | that line got added in a commit with a comment of just "added comment" |
| 2023-10-09 20:35:00 +0200 | <dolio> | Oh, I misread. "no other base module" |
| 2023-10-09 20:35:06 +0200 | <rgw> | https://github.com/ghc/ghc/commit/1116d7b2ac4da7feb28e4d4f41e1686a436fbcf3 |
| 2023-10-09 20:35:07 +0200 | <tomsmeding> | > The lookup is only disabled for packages ghc-prim and ghc-bignum, which aren't allowed to contain any Integer literal. |
| 2023-10-09 20:35:16 +0200 | <rgw> | so i have no clue as to why even |
| 2023-10-09 20:35:17 +0200 | <tomsmeding> | that's... a pretty quirky restriction |
| 2023-10-09 20:35:22 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-09 20:35:31 +0200 | <tomsmeding> | lol that commit |
| 2023-10-09 20:36:51 +0200 | <monochrom> | I guess "Add to doc 'no other base module should import this'" is considered too redundant. |
| 2023-10-09 20:37:27 +0200 | <monochrom> | Right? Commit messages must be shorter than the commit content. :) |
| 2023-10-09 20:37:54 +0200 | <dolio> | Pretty sure I've violated that rule. |
| 2023-10-09 20:38:15 +0200 | <rgw> | commit: changed, removed and added code |
| 2023-10-09 20:38:18 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-10-09 20:38:40 +0200 | <tomsmeding> | I have quite a few one-char commits :p |
| 2023-10-09 20:38:42 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-10-09 20:39:32 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-10-09 20:39:53 +0200 | <monochrom> | We are pretty much trained or primed to: paper title < paper abstract < paper text, commit message < code comment < code, etc. |
| 2023-10-09 20:40:07 +0200 | <rgw> | writing is a skill |
| 2023-10-09 20:40:07 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-10-09 20:40:27 +0200 | <monochrom> | and often forget that some exceptions can happen with just cause. |
| 2023-10-09 20:42:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-09 20:43:26 +0200 | <tomsmeding> | or just 'cause |
| 2023-10-09 20:43:51 +0200 | <tomsmeding> | when do we get visible type application already |
| 2023-10-09 20:43:57 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-10-09 20:44:00 +0200 | <tomsmeding> | er, the 'forall a ->' thing |
| 2023-10-09 20:44:09 +0200 | <tomsmeding> | I'm tired of Proxy's |
| 2023-10-09 20:44:11 +0200 | <monochrom> | Write in Core directly. >:) |
| 2023-10-09 20:44:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 2023-10-09 20:46:32 +0200 | danse-nr3_ | (~francesco@151.35.191.11) (Ping timeout: 255 seconds) |
| 2023-10-09 20:46:38 +0200 | <monochrom> | Isn't there some fundamental conflict between type inference and getting too close to System F? |
| 2023-10-09 20:47:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-09 20:47:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 2023-10-09 20:52:39 +0200 | <geekosaur> | unrestricted type level lambdas are the problem there iirc. this should be okay |
| 2023-10-09 20:53:03 +0200 | bilegeek | (~bilegeek@2600:1008:b022:5d70:d1fb:281b:8426:8eb0) |
| 2023-10-09 20:58:02 +0200 | <tomsmeding> | ooooooh https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/required_type_arguments.html |
| 2023-10-09 20:58:29 +0200 | <monochrom> | "since 9.10.1" >D |
| 2023-10-09 20:59:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) (Remote host closed the connection) |
| 2023-10-09 21:00:45 +0200 | <tomsmeding> | is there a reason why the 's' key to pop up the search box on hackage works on both the haddock packags and the package contents page for most packages, but for 'base' it doesn't work on the contents page? |
| 2023-10-09 21:01:00 +0200 | <monochrom> | 3 kinds of famous last words. "It will be in GHC 10." "It will be in base-10." "I will do it tomorrow." :) |
| 2023-10-09 21:01:19 +0200 | <tomsmeding> | it will also be in base 10 |
| 2023-10-09 21:01:31 +0200 | todi | (~todi@p4fd1ae09.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-09 21:01:58 +0200 | <geekosaur> | every package's haddock was done with its own version of the js and css backing it, presumably whoever built the base docs didn't have the right haddock version or settings |
| 2023-10-09 21:05:18 +0200 | cpressey | (~cpressey@host-80-47-5-146.as13285.net) |
| 2023-10-09 21:06:01 +0200 | <geekosaur> | also re the above, if it's in the docs then it's in GHC HEAD right now if you dare to build it 🙂 |
| 2023-10-09 21:15:16 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-09 21:15:46 +0200 | danza | (~francesco@151.35.170.207) |
| 2023-10-09 21:16:01 +0200 | cpressey | (~cpressey@host-80-47-5-146.as13285.net) (Quit: Client closed) |
| 2023-10-09 21:22:16 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-09 21:24:45 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-10-09 21:26:57 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 2023-10-09 21:28:02 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2023-10-09 21:28:40 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 272 seconds) |
| 2023-10-09 21:28:50 +0200 | danza | (~francesco@151.35.170.207) (Ping timeout: 255 seconds) |
| 2023-10-09 21:34:45 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-09 21:36:05 +0200 | kimiamania4 | (~b4f4a2ab@user/kimiamania) (Quit: PegeLinux) |
| 2023-10-09 21:37:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:645a:6c7:9f96:8355) |
| 2023-10-09 21:37:58 +0200 | kimiamania4 | (~b4f4a2ab@user/kimiamania) |
| 2023-10-09 21:40:00 +0200 | cpressey | (~cpressey@host-80-47-5-146.as13285.net) |
| 2023-10-09 21:41:27 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-09 21:42:26 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 2023-10-09 21:42:57 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-10-09 21:45:34 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-09 21:45:36 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-10-09 21:49:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-09 21:50:48 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-10-09 21:56:48 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-10-09 21:58:53 +0200 | vglfr | (~vglfr@88.155.165.25) (Read error: Connection reset by peer) |
| 2023-10-09 22:00:40 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-09 22:01:35 +0200 | Jackneill | (~Jackneill@20014C4E1E1DF20042E7A7F7CBA9C62A.dsl.pool.telekom.hu) (Ping timeout: 255 seconds) |
| 2023-10-09 22:03:26 +0200 | <EvanR> | somewhere I saw a pseudo haskell explanation of algebraic data types where an example defines list like data [a] = [] | a : [a], which is plausible, and then data Char = 'A' | 'B' | 'C' | ... | 'whateverthefinalcharis' which seems to be pushing it |
| 2023-10-09 22:03:41 +0200 | <EvanR> | the question is, did any ML-like language ever define Char like this, or list for that matter |
| 2023-10-09 22:05:12 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-09 22:05:23 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-09 22:05:56 +0200 | <rgw> | how can you define Char as something in '' if that is the definition of a char? |
| 2023-10-09 22:06:27 +0200 | <rgw> | like wouldn't it just be data Char = '' | 'a' |
| 2023-10-09 22:06:43 +0200 | <EvanR> | what is '' |
| 2023-10-09 22:06:45 +0200 | <rgw> | Char a |
| 2023-10-09 22:06:54 +0200 | <rgw> | well yeah, what is []? |
| 2023-10-09 22:06:59 +0200 | <EvanR> | [] is just [] |
| 2023-10-09 22:07:02 +0200 | <EvanR> | 'a' is just 'a' |
| 2023-10-09 22:07:08 +0200 | <rgw> | is it though? |
| 2023-10-09 22:07:09 +0200 | <EvanR> | it's defining the constructors as usual |
| 2023-10-09 22:07:22 +0200 | <rgw> | what defines the meaning of ''? |
| 2023-10-09 22:07:23 +0200 | <EvanR> | except not following the usual rules for constructor names |
| 2023-10-09 22:07:42 +0200 | <rgw> | '' are just used for chars right? |
| 2023-10-09 22:08:03 +0200 | <EvanR> | the meaning of code 'a' is the value 'a' |
| 2023-10-09 22:08:08 +0200 | <monochrom> | ML and Haskell tutorials use the same explanation for lists. And they are telling the truth modulo syntactic issues perhaps. |
| 2023-10-09 22:08:29 +0200 | <monochrom> | I don't think ML tutorials explain Char as a sum or enumeration type. |
| 2023-10-09 22:08:53 +0200 | iris_67 | (~iris_67@2804:14c:5b61:83f2:54ef:d4cb:76a5:fbd4) |
| 2023-10-09 22:10:14 +0200 | <monochrom> | But since you can use 'A' in pattern matching, it is not easy to refute the simple model "Char is a very large and flat sum type". |
| 2023-10-09 22:10:28 +0200 | <EvanR> | right |
| 2023-10-09 22:10:46 +0200 | <monochrom> | IOW it is a very adequate model. |
| 2023-10-09 22:11:00 +0200 | <EvanR> | I wonder if it was taken literally at some point xD |
| 2023-10-09 22:11:55 +0200 | <EvanR> | perhaps with a more limited character set than latest unicode |
| 2023-10-09 22:12:43 +0200 | <monochrom> | I think some people do. Whenever you see some beginner writes a CPU emulator and decide to make a 200-data-constructor ADT because there are 200 opcodes, they are doing it in the same spirit. |
| 2023-10-09 22:12:59 +0200 | <rgw> | https://hackage.haskell.org/package/ascii-char-1.0.1.0/docs/src/ASCII.Char.html#Char |
| 2023-10-09 22:13:25 +0200 | <rgw> | somebody sure did |
| 2023-10-09 22:13:30 +0200 | <monochrom> | haha |
| 2023-10-09 22:13:37 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-09 22:15:53 +0200 | <EvanR> | nice |
| 2023-10-09 22:16:15 +0200 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 240 seconds) |
| 2023-10-09 22:16:48 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-10-09 22:17:38 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-09 22:18:26 +0200 | <rgw> | guess haskell just does it through a lookup in a bitmap |
| 2023-10-09 22:18:40 +0200 | <rgw> | https://hackage.haskell.org/package/base-4.18.1.0/docs/src/GHC.Unicode.Internal.Char.UnicodeData.G… |
| 2023-10-09 22:18:58 +0200 | <geekosaur> | rgw, in MLs ' is also used for type variables, so as actual syntax that Char example would be rather tricky to parse |
| 2023-10-09 22:19:44 +0200 | <geekosaur> | and yes, haskell uses lookup tables generated from the machine readable version of the then-current Unicode standards documentation |
| 2023-10-09 22:20:01 +0200 | <rgw> | the more you know |
| 2023-10-09 22:20:38 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-09 22:27:37 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2023-10-09 22:27:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-09 22:28:28 +0200 | hiyori | (~hiyori@user/hiyori) (Ping timeout: 245 seconds) |
| 2023-10-09 22:29:17 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2023-10-09 22:29:22 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2023-10-09 22:37:03 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-09 22:40:38 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-09 22:40:49 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 2023-10-09 22:43:27 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-10-09 22:44:27 +0200 | <EvanR> | the pseudo haskell data Int = INT_MIN | ... | -3 | -2 | -1 | 0 | 1 | 2 | 3 | ... | INT_MAX is problematic when tested against the pattern matching criteria |
| 2023-10-09 22:45:01 +0200 | <EvanR> | because in some cases (which?) pattern matching numeric literals leads to an equality test |
| 2023-10-09 22:45:07 +0200 | <EvanR> | which sometimes brings in Eq |
| 2023-10-09 22:45:29 +0200 | <EvanR> | which is not what the doctor ordered |
| 2023-10-09 22:45:31 +0200 | <tomsmeding> | in all cases? |
| 2023-10-09 22:45:55 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Remote host closed the connection) |
| 2023-10-09 22:48:30 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 258 seconds) |
| 2023-10-09 22:48:36 +0200 | pavonia | (~user@user/siracusa) |
| 2023-10-09 22:49:11 +0200 | <geekosaur> | yes, in all cases |
| 2023-10-09 22:49:29 +0200 | <EvanR> | big sad |
| 2023-10-09 22:49:31 +0200 | <geekosaur> | and can't work anyway because what about Integer? Word? |
| 2023-10-09 22:49:35 +0200 | <tomsmeding> | :t let m 3 = () in m |
| 2023-10-09 22:49:36 +0200 | <lambdabot> | (Eq a, Num a) => a -> () |
| 2023-10-09 22:49:58 +0200 | <EvanR> | smh |
| 2023-10-09 22:50:09 +0200 | <geekosaur> | all it knows is Num a, it can't pattern match |
| 2023-10-09 22:50:30 +0200 | <EvanR> | logical |
| 2023-10-09 22:50:54 +0200 | <geekosaur> | (here remember that Num used to have Eq as a prerequisite, probably for this reason) |
| 2023-10-09 22:51:45 +0200 | <EvanR> | spock would agree, but mccoy would sip a whiskey and judge m to be const () |
| 2023-10-09 22:53:29 +0200 | <geekosaur> | s/whiskey/mint julep |
| 2023-10-09 22:53:34 +0200 | <EvanR> | when haskell comes up with a killerapp web framework it should be called mccoy |
| 2023-10-09 22:54:24 +0200 | <tomsmeding> | > (const () 4, (let m 3 = () in m) 4) |
| 2023-10-09 22:54:26 +0200 | <lambdabot> | ((),*Exception: <interactive>:3:19-26: Non-exhaustive patterns in function m |
| 2023-10-09 22:54:26 +0200 | <EvanR> | I thought the mint julep was him losing his damn mind on that hippy planet |
| 2023-10-09 22:54:53 +0200 | <tomsmeding> | ghc does not agree with mccoy |
| 2023-10-09 22:54:55 +0200 | <geekosaur> | he's a southerner. gotta be either a mint julep or a bourbon |
| 2023-10-09 22:56:20 +0200 | <EvanR> | :t let m (3 :: Int) = () in m |
| 2023-10-09 22:56:21 +0200 | <lambdabot> | Int -> () |
| 2023-10-09 22:56:25 +0200 | <EvanR> | ok then |
| 2023-10-09 22:56:57 +0200 | <EvanR> | now you can pretend it's algebraic data types again |
| 2023-10-09 22:58:51 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 258 seconds) |
| 2023-10-09 23:01:01 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-09 23:01:30 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 23:04:51 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-10-09 23:06:12 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) (Ping timeout: 272 seconds) |
| 2023-10-09 23:07:56 +0200 | micro_ | (~micro@user/micro) (Ping timeout: 248 seconds) |
| 2023-10-09 23:08:23 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-09 23:09:15 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-10-09 23:12:36 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 240 seconds) |
| 2023-10-09 23:12:40 +0200 | lg1888 | (~lg188@82.18.98.230) |
| 2023-10-09 23:12:47 +0200 | myyo | (~myyo@75-166-145-203.hlrn.qwest.net) |
| 2023-10-09 23:12:56 +0200 | lg188 | (~lg188@82.18.98.230) (Ping timeout: 260 seconds) |
| 2023-10-09 23:13:22 +0200 | <monochrom> | The model begins to break a little bit because now 4 is both a "constructor" of Int and a "constructor" of Integer (and then also Double, Float, Complex, ...) |
| 2023-10-09 23:13:30 +0200 | lg1888 | lg188 |
| 2023-10-09 23:14:06 +0200 | <geekosaur> | I mentioned that one earlier |
| 2023-10-09 23:14:22 +0200 | <geekosaur> | "and can't work anyway because what about…" |
| 2023-10-09 23:14:26 +0200 | lg188 | (~lg188@82.18.98.230) (Read error: Connection reset by peer) |
| 2023-10-09 23:14:44 +0200 | <geekosaur> | "all it knows is Num a" |
| 2023-10-09 23:14:50 +0200 | jathan | (~jathan@69.61.93.38) |
| 2023-10-09 23:14:57 +0200 | <monochrom> | Sorry, missed that. |
| 2023-10-09 23:15:52 +0200 | lg188 | (~lg188@82.18.98.230) |
| 2023-10-09 23:17:41 +0200 | acidjnk | (~acidjnk@p200300d6e7072f5891f914b8da82fdcb.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-10-09 23:18:34 +0200 | micro | (~micro@user/micro) |
| 2023-10-09 23:20:12 +0200 | roboguy__ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-10-09 23:20:12 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Read error: Connection reset by peer) |
| 2023-10-09 23:28:06 +0200 | <EvanR> | import Int hiding xD |
| 2023-10-09 23:28:22 +0200 | <EvanR> | they all have 4 as a constructor and it's simply ambiguous |
| 2023-10-09 23:39:24 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 2023-10-09 23:43:18 +0200 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2023-10-09 23:53:40 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |