| 2023-07-04 00:05:09 +0200 | stites[m] | (~stitesbee@2001:470:69fc:105::3:7bdc) |
| 2023-07-04 00:05:41 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-04 00:08:06 +0200 | nick1 | (~nick@2600:8807:9084:7800:f9c4:557:c1bd:d23d) |
| 2023-07-04 00:09:52 +0200 | acidjnk | (~acidjnk@p200300d6e7072f22393f0c042d41b426.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-07-04 00:12:28 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-07-04 00:31:13 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Remote host closed the connection) |
| 2023-07-04 00:32:53 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-07-04 00:33:11 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2023-07-04 00:33:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) |
| 2023-07-04 00:41:48 +0200 | tokie | (~tokie@tokie.net) (Server closed connection) |
| 2023-07-04 00:42:15 +0200 | tokie | (~tokie@tokie.net) |
| 2023-07-04 00:43:00 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2023-07-04 00:43:42 +0200 | nick1 | (~nick@2600:8807:9084:7800:f9c4:557:c1bd:d23d) (Ping timeout: 260 seconds) |
| 2023-07-04 00:47:20 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-07-04 00:48:58 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-07-04 00:50:32 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-07-04 00:54:56 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-07-04 00:58:51 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-04 01:03:08 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-248.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-07-04 01:14:48 +0200 | nckx | (~nckx@guix/contributor/nckx) (Server closed connection) |
| 2023-07-04 01:15:05 +0200 | azr4e1 | (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) |
| 2023-07-04 01:15:07 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-07-04 01:15:54 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-07-04 01:16:16 +0200 | nckx | (~nckx@guix/contributor/nckx) |
| 2023-07-04 01:17:20 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) |
| 2023-07-04 01:19:16 +0200 | xff0x_ | (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 250 seconds) |
| 2023-07-04 01:20:09 +0200 | xff0x_ | (~xff0x@ai086045.d.east.v6connect.net) |
| 2023-07-04 01:20:46 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-07-04 01:25:14 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-04 01:35:39 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-07-04 01:38:17 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-07-04 01:40:56 +0200 | marvel83 | (~marvel83@bcdcac82.skybroadband.com) (Quit: Connection error?!) |
| 2023-07-04 01:41:08 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-07-04 01:41:08 +0200 | mauke_ | mauke |
| 2023-07-04 01:41:44 +0200 | timetravel | (~timetrave@bcdcac82.skybroadband.com) |
| 2023-07-04 01:48:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Remote host closed the connection) |
| 2023-07-04 01:53:59 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2023-07-04 01:54:50 +0200 | azr4e1 | (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Remote host closed the connection) |
| 2023-07-04 01:57:48 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-07-04 02:01:35 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-04 02:02:08 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-07-04 02:03:18 +0200 | califax | (~califax@user/califx) |
| 2023-07-04 02:04:56 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 246 seconds) |
| 2023-07-04 02:05:10 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-04 02:05:30 +0200 | falafel | (~falafel@2603-7000-a700-8710-5924-59e8-af54-511d.res6.spectrum.com) |
| 2023-07-04 02:05:48 +0200 | JimL | (~quassel@89.162.16.26) (Server closed connection) |
| 2023-07-04 02:06:01 +0200 | JimL | (~quassel@89.162.16.26) |
| 2023-07-04 02:06:53 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-07-04 02:08:44 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-04 02:09:08 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 246 seconds) |
| 2023-07-04 02:20:52 +0200 | ddellacosta | (~ddellacos@146.70.171.100) |
| 2023-07-04 02:29:02 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 2023-07-04 02:29:34 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-04 02:36:30 +0200 | j4cc3b | (~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184) (Ping timeout: 260 seconds) |
| 2023-07-04 02:37:20 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-07-04 02:46:18 +0200 | dontdieych | (~alarm@132.226.169.184) (Server closed connection) |
| 2023-07-04 02:46:43 +0200 | dontdieych | (~alarm@132.226.169.184) |
| 2023-07-04 02:52:58 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2023-07-04 03:11:25 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-04 03:11:25 +0200 | Nikopol | (nikopol@user/astrorigin) (Ping timeout: 240 seconds) |
| 2023-07-04 03:13:52 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-07-04 03:17:32 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-04 03:17:32 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-07-04 03:20:11 +0200 | <glguy> | Has optics had a lot of adoption over lens? I've been out of the generalized data access game for a while |
| 2023-07-04 03:21:37 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-04 03:22:03 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) (Server closed connection) |
| 2023-07-04 03:22:58 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-04 03:23:41 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) |
| 2023-07-04 03:23:48 +0200 | meejah | (~meejah@rutas.meejah.ca) (Server closed connection) |
| 2023-07-04 03:23:56 +0200 | meejah | (~meejah@rutas.meejah.ca) |
| 2023-07-04 03:27:36 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-07-04 03:29:17 +0200 | xff0x_ | (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 246 seconds) |
| 2023-07-04 03:32:47 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 246 seconds) |
| 2023-07-04 03:38:34 +0200 | <jackdk> | I don't have stats, but there seems to be enough people who care about it that it remains usable and probably has an easier learning curve. I stuck with `lens` because you can provide many optics without depending on it directly (which `optics` can wrap via `lensVL` or whatever), and `generic-lens`/`generic-optics` means you can provide "normal" records to people, who can then get whatever lenses they need without TH or additional deps. |
| 2023-07-04 03:41:58 +0200 | Lycurgus | (~juan@user/Lycurgus) (Ping timeout: 260 seconds) |
| 2023-07-04 03:44:26 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-04 03:50:49 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 2023-07-04 03:50:59 +0200 | falafel | (~falafel@2603-7000-a700-8710-5924-59e8-af54-511d.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-07-04 03:51:02 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-04 04:05:46 +0200 | txaas | (~txaas@user/jarlg) (Ping timeout: 246 seconds) |
| 2023-07-04 04:06:36 +0200 | hsw__ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-07-04 04:07:18 +0200 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 2023-07-04 04:10:52 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-07-04 04:13:45 +0200 | falafel | (~falafel@2603-7000-a700-8710-ad2b-e64f-5362-2b26.res6.spectrum.com) |
| 2023-07-04 04:15:27 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-07-04 04:16:59 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-07-04 04:17:03 +0200 | falafel_ | (~falafel@2603-7000-a700-8710-4f02-91a6-8d3e-030c.res6.spectrum.com) |
| 2023-07-04 04:17:26 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-04 04:17:27 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-04 04:17:27 +0200 | finn_elija | FinnElija |
| 2023-07-04 04:18:17 +0200 | falafel | (~falafel@2603-7000-a700-8710-ad2b-e64f-5362-2b26.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-07-04 04:18:46 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-04 04:21:14 +0200 | td_ | (~td@i53870939.versanet.de) (Ping timeout: 246 seconds) |
| 2023-07-04 04:23:05 +0200 | td_ | (~td@i53870926.versanet.de) |
| 2023-07-04 04:27:22 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-04 04:37:03 +0200 | LenaDresner[m] | (~lenadresn@2001:470:69fc:105::3:3c53) (Server closed connection) |
| 2023-07-04 04:37:58 +0200 | LenaDresner[m] | (~lenadresn@2001:470:69fc:105::3:3c53) |
| 2023-07-04 04:38:05 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-04 04:40:37 +0200 | nick1 | (~nick@98.186.208.162) |
| 2023-07-04 04:44:35 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 2023-07-04 04:45:34 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Remote host closed the connection) |
| 2023-07-04 04:46:13 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 2023-07-04 04:49:55 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-04 04:50:59 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-07-04 04:54:35 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-04 04:55:08 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-07-04 04:56:19 +0200 | nick2 | (~nick@196.sub-174-203-72.myvzw.com) |
| 2023-07-04 04:56:48 +0200 | nick1 | (~nick@98.186.208.162) (Ping timeout: 240 seconds) |
| 2023-07-04 04:58:18 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Server closed connection) |
| 2023-07-04 04:58:34 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2023-07-04 05:04:18 +0200 | <jackdk> | Can someone recommend me a json library which tracks the order of declaration of object fields? aeson does not and will not do this. My first thought was to try waargonaut, but a) I've had to set a _lot_ of `allow-newer:` on its various dependencies, plus one of its transitive deps (`hw-json-simd`) does not build for me. |
| 2023-07-04 05:10:20 +0200 | <glguy> | Ugh, I don't want more people using https://hackage.haskell.org/package/json-0.10/docs/Text-JSON.html#t:JSObject ... but I think it preserves that |
| 2023-07-04 05:11:33 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Server closed connection) |
| 2023-07-04 05:11:50 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
| 2023-07-04 05:18:50 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-04 05:20:12 +0200 | nick2 | (~nick@196.sub-174-203-72.myvzw.com) (Ping timeout: 250 seconds) |
| 2023-07-04 05:31:03 +0200 | <probie> | jackdk: Thanks for the reminder that I still have "write brain dead simple JSON library" on my todo list |
| 2023-07-04 05:32:08 +0200 | falafel_ | (~falafel@2603-7000-a700-8710-4f02-91a6-8d3e-030c.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-07-04 05:32:30 +0200 | <jackdk> | glguy: how badly do you not want people using that lib? Because parsing an alist into an insert-ordered-container is pretty much what I want |
| 2023-07-04 05:33:41 +0200 | <glguy> | No one is paying much attention to it, but if it does what you want already, then it's yours |
| 2023-07-04 05:34:56 +0200 | <jackdk> | The other option, if you think it's better long-term, is I code against aeson for now, fix up waargonaut over some unknown timespan and switch across that way. |
| 2023-07-04 05:37:44 +0200 | nick2 | (~nick@98.186.192.139) |
| 2023-07-04 05:39:21 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-04 05:41:58 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-04 05:44:09 +0200 | nick2 | (~nick@98.186.192.139) (Ping timeout: 240 seconds) |
| 2023-07-04 05:46:05 +0200 | falafel_ | (~falafel@2603-7000-a700-8710-eaf0-2d54-7cac-32aa.res6.spectrum.com) |
| 2023-07-04 05:46:59 +0200 | <probie> | jackdk: in the worst case, you can probably use `Data.Aeson.Decoding.ByteString.bsToTokens` directly (or the variant for lazy bytestrings) |
| 2023-07-04 05:48:34 +0200 | azr4e1 | (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) |
| 2023-07-04 05:52:19 +0200 | <jackdk> | probie: legitimately tempting |
| 2023-07-04 05:53:02 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-04 05:57:17 +0200 | azr4e1 | (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Remote host closed the connection) |
| 2023-07-04 05:58:11 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd9:ab00:4c8b:566d:e69c:6108) |
| 2023-07-04 05:58:49 +0200 | aforemny | (~aforemny@i59F516EC.versanet.de) (Ping timeout: 246 seconds) |
| 2023-07-04 06:08:38 +0200 | sm[i] | (~smi]@plaintextaccounting/sm) |
| 2023-07-04 06:10:18 +0200 | lyxia | (~lyxia@poisson.chat) (Server closed connection) |
| 2023-07-04 06:10:29 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-04 06:10:35 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2023-07-04 06:16:19 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-07-04 06:32:20 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 246 seconds) |
| 2023-07-04 06:45:53 +0200 | falafel_ | (~falafel@2603-7000-a700-8710-eaf0-2d54-7cac-32aa.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-04 06:46:20 +0200 | falafel | (~falafel@2603-7000-a700-8710-eaf0-2d54-7cac-32aa.res6.spectrum.com) |
| 2023-07-04 06:49:03 +0200 | DDR | (~DDR@2604:3d08:4c7f:8250:fb86:6006:3945:ad7c) (Quit: DDR is not Dance Dance Revolution) |
| 2023-07-04 06:54:23 +0200 | ddellacosta | (~ddellacos@146.70.171.100) (Ping timeout: 246 seconds) |
| 2023-07-04 06:56:31 +0200 | ddellacosta | (~ddellacos@146.70.168.10) |
| 2023-07-04 07:11:38 +0200 | Buggys | (Buggys@shelltalk.net) (Ping timeout: 252 seconds) |
| 2023-07-04 07:13:48 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-07-04 07:13:54 +0200 | <probie> | If I've got a type like `data Foo f = C1 (f T1) | C2 (f T2) (f T3)` where in most cases, f will be Identity, do you think it's worth doing something like `data FooF f = C1F (f T1) | C2F (f T2) (f T3)`, `type Foo = FooF Identity`, `pattern C1 x = C1F (Identity x)`? |
| 2023-07-04 07:15:49 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-04 07:16:20 +0200 | <EvanR> | maybe consider Compose? |
| 2023-07-04 07:19:07 +0200 | `2jt | (~jtomas@90.162.208.36) |
| 2023-07-04 07:20:01 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-04 07:20:53 +0200 | <probie> | How does `Compose` help here? |
| 2023-07-04 07:21:47 +0200 | <jackdk> | probie: the pattern synonyms are something I haven't seen suggested here before. The usual trick is to make a type family `HKD f a` where `HKD Identity a = a` but every other `f` passes through. I don't like that because it makes things really awkward if you want to do hoists and other fun things. |
| 2023-07-04 07:22:10 +0200 | <jackdk> | I probably wouldn't bother with pattern synonyms either but it seems less fraught than the HKD type family |
| 2023-07-04 07:29:50 +0200 | <glguy> | I've done the pattern synonym version before, but the whole thing feels very heavy weight |
| 2023-07-04 07:30:06 +0200 | <probie> | The type family makes it harder to write things like `foo :: Applicative f => Foo (Compose f g) -> f (Foo g)` |
| 2023-07-04 07:30:53 +0200 | <glguy> | You could bake composition into the type family version, too |
| 2023-07-04 07:32:41 +0200 | trev | (~trev@user/trev) |
| 2023-07-04 07:33:39 +0200 | <probie> | but that gets more complex. Perhaps I should just imitate generic-sop, go with `type I = Identity`, `pattern I x = Identity x` and accept that there will be a little noise |
| 2023-07-04 07:35:13 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-04 07:36:29 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-07-04 07:36:57 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-07-04 07:43:38 +0200 | <probie> | Actually, on that, what is a good name for `class Thing t where thing :: Applicative f => (forall a . h a -> Compose f g a) -> t h -> f (t g)`? `Traversable1` is already taken |
| 2023-07-04 07:53:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 250 seconds) |
| 2023-07-04 07:57:38 +0200 | <jackdk> | probie: rank2classes calls it `Rank2.Traversable`, `barbies` calls it `TraversableB`, conkin calls it `Conkin.Traversable`, hkd calls it `FTraversable` |
| 2023-07-04 07:58:18 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Server closed connection) |
| 2023-07-04 07:58:26 +0200 | Buliarous | (~gypsydang@46.232.210.139) |
| 2023-07-04 07:58:37 +0200 | <jackdk> | While I'm dreaming impossible thoughts, I would like if `generics-sop`'s trick made it into `base`. |
| 2023-07-04 08:02:41 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-04 08:06:55 +0200 | michalz | (~michalz@185.246.207.215) |
| 2023-07-04 08:07:39 +0200 | mauke | (~mauke@user/mauke) (Quit: leaving) |
| 2023-07-04 08:09:48 +0200 | falafel | (~falafel@2603-7000-a700-8710-eaf0-2d54-7cac-32aa.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-07-04 08:12:15 +0200 | nehsou^ | (~nehsou@24.125.210.85) |
| 2023-07-04 08:14:51 +0200 | Buggys | (Buggys@shelltalk.net) |
| 2023-07-04 08:18:25 +0200 | jstolarek | (~jstolarek@staticline-31-183-152-161.toya.net.pl) |
| 2023-07-04 08:19:06 +0200 | aaronm04 | (~user@user/aaronm04) (WeeChat 3.8) |
| 2023-07-04 08:19:32 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-07-04 08:29:48 +0200 | tureba | (~tureba@tureba.org) (Server closed connection) |
| 2023-07-04 08:30:05 +0200 | tureba | (~tureba@tureba.org) |
| 2023-07-04 08:30:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-07-04 08:35:45 +0200 | Guest5033 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-04 08:35:48 +0200 | justache | (~justache@user/justache) (Server closed connection) |
| 2023-07-04 08:36:06 +0200 | justache | (~justache@user/justache) |
| 2023-07-04 08:41:45 +0200 | srk | (~sorki@user/srk) (Remote host closed the connection) |
| 2023-07-04 08:42:04 +0200 | srk | (~sorki@user/srk) |
| 2023-07-04 08:47:58 +0200 | <Axman6> | which trick? |
| 2023-07-04 08:48:51 +0200 | <DigitalKiwi> | https://youtu.be/WOZwxqQlyLg |
| 2023-07-04 08:50:40 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) |
| 2023-07-04 08:51:06 +0200 | <DigitalKiwi> | i just realized that jack white and jack whitehall are different people |
| 2023-07-04 08:53:03 +0200 | <DigitalKiwi> | i've seen jack whitehall shows so long ago i forgot his name i guess because i started seeing jack white songs in the car and thought it was cool that he branched out from comedy lol :( |
| 2023-07-04 08:54:06 +0200 | <jackdk> | Axman6: what probie was saying above: `type I = Identity`, `pattern I x = Identity x` |
| 2023-07-04 08:59:18 +0200 | foul_owl | (~kerry@71.212.137.212) (Ping timeout: 260 seconds) |
| 2023-07-04 09:04:29 +0200 | sm[i] | (~smi]@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 2023-07-04 09:05:33 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Server closed connection) |
| 2023-07-04 09:05:48 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3a86:39da:f0e5:d795) |
| 2023-07-04 09:05:59 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
| 2023-07-04 09:08:16 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-07-04 09:12:50 +0200 | acidjnk | (~acidjnk@p200300d6e7072f2765686619b7fdb571.dip0.t-ipconnect.de) |
| 2023-07-04 09:13:18 +0200 | <dminuoso_> | jackdk: Can you elaborate on "tracking order of declaration of object fields"? |
| 2023-07-04 09:13:28 +0200 | foul_owl | (~kerry@185.219.141.164) |
| 2023-07-04 09:13:52 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-07-04 09:15:32 +0200 | <Axman6> | {"foo": true, "bar": 1} being distinguishable from {"bar":1, "foo": true} |
| 2023-07-04 09:15:33 +0200 | <jackdk> | In `{"k1": v1, "k2", v2}` I want to know that `k1` came before `k2` |
| 2023-07-04 09:19:47 +0200 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) |
| 2023-07-04 09:20:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-07-04 09:21:44 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-07-04 09:22:14 +0200 | CiaoSen | (~Jura@2a05:5800:28e:ba00:664b:f0ff:fe37:9ef) |
| 2023-07-04 09:25:52 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-07-04 09:28:08 +0200 | html | (~html@31.173.240.117) |
| 2023-07-04 09:32:41 +0200 | <dminuoso_> | jackdk: So aeson lets you do that. |
| 2023-07-04 09:33:52 +0200 | <jackdk> | dminuoso_: not according to https://github.com/haskell/aeson/issues/368 and dupes thereof, which is why I was looking at working with the token stream directly. I would love to be proven wrong though. |
| 2023-07-04 09:33:56 +0200 | <dminuoso_> | Or at least Im really sure there's combinators for that, because something like {"a":1, "a": true} is explicitly supported |
| 2023-07-04 09:34:18 +0200 | finsternis | (~X@23.226.237.192) (Server closed connection) |
| 2023-07-04 09:34:39 +0200 | finsternis | (~X@23.226.237.192) |
| 2023-07-04 09:34:49 +0200 | <dminuoso_> | jackdk: do you care about producing or parsing such output? |
| 2023-07-04 09:35:17 +0200 | <jackdk> | dminuoso_: parsing. `attoparsec-aeson` has https://hackage.haskell.org/package/attoparsec-aeson-2.2.0.0/docs/Data-Aeson-Parser.html#v:jsonWith but that must produce a `Parser Value` |
| 2023-07-04 09:35:22 +0200 | <dminuoso_> | To be blunt, RFC8259 specifies JSON to be unordered at least. |
| 2023-07-04 09:35:34 +0200 | <jackdk> | The use case is I need to care about the order of shape fields in an AWS service definition |
| 2023-07-04 09:38:54 +0200 | <dminuoso_> | jackdk: jsonAccum' should work no? |
| 2023-07-04 09:39:02 +0200 | <dminuoso_> | Ah but no, that just preserves order of duplicates. |
| 2023-07-04 09:39:02 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 2023-07-04 09:39:39 +0200 | <dminuoso_> | jsonWith :: ([(Key, Value)] -> Either String Object) -> Parser Value |
| 2023-07-04 09:39:40 +0200 | <dminuoso_> | This parser is parameterized by a function to construct an Value from a raw list of key-value pairs, where duplicates are preserved. The pairs appear in reverse order from the source. |
| 2023-07-04 09:39:57 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3a86:39da:f0e5:d795) (Quit: WeeChat 2.8) |
| 2023-07-04 09:40:10 +0200 | <jackdk> | yeah I mention that above - because you have to return `Object` in the callback you can't smuggle out any additional info |
| 2023-07-04 09:40:20 +0200 | <dminuoso_> | You can smuggle it out by reshaping the JSON |
| 2023-07-04 09:40:29 +0200 | <dminuoso_> | Say turn an Object into an Array of objects. |
| 2023-07-04 09:41:05 +0200 | <jackdk> | the callback has to return `Either String Object`but yes you could make an awful object of singleton objects where the keys are stringified ints |
| 2023-07-04 09:41:59 +0200 | <jackdk> | The new parser in `aeson-2.1.2.0` lets you walk the token stream directly, which looks much nicer. Then I can accumulate a `Seq Key` next to a `Map Key whatever` where I need to |
| 2023-07-04 09:42:14 +0200 | <jackdk> | See `Data.Aeson.Decoding.*` |
| 2023-07-04 09:42:19 +0200 | <dminuoso_> | You can also just copy paste the implementation of jsonWith and tweak it |
| 2023-07-04 09:42:36 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-07-04 09:42:59 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:f184:4168:559b:d91b) |
| 2023-07-04 09:43:09 +0200 | <dminuoso_> | Right, that's the same thing really |
| 2023-07-04 09:47:15 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-04 09:51:18 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-07-04 09:53:26 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-07-04 09:58:13 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-04 09:59:33 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Server closed connection) |
| 2023-07-04 09:59:51 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
| 2023-07-04 10:01:18 +0200 | sajith | (~sajith@user/sajith) (Server closed connection) |
| 2023-07-04 10:01:36 +0200 | sajith | (~sajith@user/sajith) |
| 2023-07-04 10:04:50 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-07-04 10:08:16 +0200 | Nikopol | (nikopol@yoga.astrorigin.com) |
| 2023-07-04 10:08:16 +0200 | Nikopol | (nikopol@yoga.astrorigin.com) (Changing host) |
| 2023-07-04 10:08:16 +0200 | Nikopol | (nikopol@user/astrorigin) |
| 2023-07-04 10:10:39 +0200 | <probie> | dminuoso_: re: RFC8259 see section 4. It makes no assertion about whether or not they're unordered (even unique keys is only a SHOULD) |
| 2023-07-04 10:11:09 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-07-04 10:11:30 +0200 | <jackdk> | probie: I think dminuoso_ refers to s1: "An object is an unordered collection of zero or more name/value pairs, ..." |
| 2023-07-04 10:12:10 +0200 | <probie> | true - that seems somewhat at odds with what follows |
| 2023-07-04 10:15:05 +0200 | merijn | (~merijn@185.143.104.11) |
| 2023-07-04 10:15:19 +0200 | html | (~html@31.173.240.117) (Quit: Client closed) |
| 2023-07-04 10:16:38 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-07-04 10:16:42 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-07-04 10:18:31 +0200 | <probie> | > where the keys are stringified ints |
| 2023-07-04 10:18:39 +0200 | <probie> | isn't that what arrays are in JS? :p |
| 2023-07-04 10:19:03 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Server closed connection) |
| 2023-07-04 10:19:24 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2023-07-04 10:19:47 +0200 | phma | (phma@2001:5b0:215a:8658:90:4018:da2:9069) |
| 2023-07-04 10:21:43 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-188.46.114.pool.telefonica.de) |
| 2023-07-04 10:21:59 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:11b7:38be:6d89:995c) |
| 2023-07-04 10:25:54 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d7c:c5d8:f5d2:bdeb) |
| 2023-07-04 10:27:31 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-07-04 10:35:49 +0200 | danse-nr3 | (~francesco@151.43.227.139) |
| 2023-07-04 10:37:36 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-04 10:39:57 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-04 10:44:15 +0200 | <dminuoso_> | probie: No, its not at odd. The note in section 4 is merely an observation that software exists that *considers* it unordered. |
| 2023-07-04 10:45:03 +0200 | <dminuoso_> | Its somewhat poorly phrased, but its meant as a "you will have a better life if you dont use duplicate object keys" |
| 2023-07-04 10:48:18 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-04 10:49:00 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-04 10:50:24 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 2023-07-04 10:50:48 +0200 | janus | (janus@anubis.0x90.dk) (Server closed connection) |
| 2023-07-04 10:50:58 +0200 | janus | (janus@anubis.0x90.dk) |
| 2023-07-04 10:53:58 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2023-07-04 10:56:30 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-07-04 10:57:03 +0200 | html | (~User@31.173.240.117) |
| 2023-07-04 10:58:57 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-07-04 11:05:17 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-07-04 11:06:22 +0200 | aerc[m] | (~aercmatri@2001:470:69fc:105::3:67b9) (Remote host closed the connection) |
| 2023-07-04 11:06:23 +0200 | teo | (~teo@user/teo) (Remote host closed the connection) |
| 2023-07-04 11:09:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-04 11:15:35 +0200 | danse-nr3 | (~francesco@151.43.227.139) (Ping timeout: 264 seconds) |
| 2023-07-04 11:15:45 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-07-04 11:16:49 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-07-04 11:16:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-04 11:17:13 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) |
| 2023-07-04 11:21:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Ping timeout: 246 seconds) |
| 2023-07-04 11:21:36 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-04 11:23:29 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-07-04 11:25:07 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-04 11:25:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2023-07-04 11:26:27 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-07-04 11:31:34 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-07-04 11:32:00 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-07-04 11:35:33 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-04 11:35:47 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2023-07-04 11:37:51 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-04 11:40:55 +0200 | ft | (~ft@p508db151.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-07-04 11:41:06 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-07-04 11:41:08 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2023-07-04 11:48:14 +0200 | Guest5033 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2023-07-04 11:51:56 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-04 11:55:52 +0200 | danse-nr3 | (~francesco@151.47.242.125) |
| 2023-07-04 12:02:11 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-07-04 12:03:47 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-07-04 12:09:18 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-07-04 12:09:35 +0200 | CiaoSen | (~Jura@2a05:5800:28e:ba00:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds) |
| 2023-07-04 12:11:42 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-07-04 12:16:24 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-04 12:19:10 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-04 12:19:58 +0200 | html | (~User@31.173.240.117) (Ping timeout: 260 seconds) |
| 2023-07-04 12:31:45 +0200 | html | (~User@31.173.240.117) |
| 2023-07-04 12:35:29 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-07-04 12:37:09 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:f184:4168:559b:d91b) (Ping timeout: 240 seconds) |
| 2023-07-04 12:37:25 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-07-04 12:39:16 +0200 | MajorBiscuit | (~MajorBisc@c-001-005-040.client.tudelft.eduvpn.nl) |
| 2023-07-04 12:39:36 +0200 | mmhat | (~mmh@p200300f1c722e4f8ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-07-04 12:39:40 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-04 12:39:51 +0200 | j4cc3b | (~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184) |
| 2023-07-04 12:40:21 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-07-04 12:44:07 +0200 | j4cc3b | (~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184) (Ping timeout: 246 seconds) |
| 2023-07-04 13:00:27 +0200 | xff0x_ | (~xff0x@ai086045.d.east.v6connect.net) |
| 2023-07-04 13:06:27 +0200 | `2jt | (~jtomas@90.162.208.36) (Ping timeout: 245 seconds) |
| 2023-07-04 13:11:41 +0200 | `2jt | (~jtomas@90.162.208.36) |
| 2023-07-04 13:14:23 +0200 | kenran | (~user@user/kenran) |
| 2023-07-04 13:14:39 +0200 | j4cc3b | (~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184) |
| 2023-07-04 13:19:08 +0200 | j4cc3b | (~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184) (Ping timeout: 240 seconds) |
| 2023-07-04 13:20:30 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-07-04 13:26:48 +0200 | hammond | (proscan@user/hammond2) (Server closed connection) |
| 2023-07-04 13:26:55 +0200 | hammond | (proscan@gateway02.insomnia247.nl) |
| 2023-07-04 13:33:53 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-04 13:34:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-07-04 13:37:10 +0200 | nehsou^ | (~nehsou@24.125.210.85) (Remote host closed the connection) |
| 2023-07-04 13:38:11 +0200 | txaas | (~txaas@user/jarlg) |
| 2023-07-04 13:44:23 +0200 | Buggys | (Buggys@shelltalk.net) (Ping timeout: 264 seconds) |
| 2023-07-04 13:45:49 +0200 | jargon | (~jargon@184.101.73.95) |
| 2023-07-04 13:46:17 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:984c:1807:2944:a356) (Read error: Connection reset by peer) |
| 2023-07-04 13:46:41 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:984c:1807:2944:a356) |
| 2023-07-04 13:47:42 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Quit: euandreh) |
| 2023-07-04 13:50:34 +0200 | txaas | (~txaas@user/jarlg) (Quit: WeeChat 3.6) |
| 2023-07-04 13:52:38 +0200 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2023-07-04 13:52:44 +0200 | ddellacosta | (~ddellacos@146.70.168.10) (Ping timeout: 240 seconds) |
| 2023-07-04 13:52:59 +0200 | califax | (~califax@user/califx) |
| 2023-07-04 13:55:53 +0200 | ddellacosta | (~ddellacos@146.70.168.181) |
| 2023-07-04 13:56:13 +0200 | danse-nr3 | (~francesco@151.47.242.125) (Ping timeout: 246 seconds) |
| 2023-07-04 13:59:51 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-07-04 14:00:55 +0200 | jargon | (~jargon@184.101.73.95) (Remote host closed the connection) |
| 2023-07-04 14:11:04 +0200 | danse-nr3 | (~francesco@151.47.242.125) |
| 2023-07-04 14:19:11 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-04 14:21:20 +0200 | danse-nr3 | (~francesco@151.47.242.125) (Ping timeout: 246 seconds) |
| 2023-07-04 14:22:54 +0200 | dsrt^ | (~dsrt@24.125.210.85) |
| 2023-07-04 14:25:15 +0200 | rainbyte__ | (~rainbyte@181.31.239.226) |
| 2023-07-04 14:25:47 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 264 seconds) |
| 2023-07-04 14:27:00 +0200 | chromoblob | (~user@37.113.162.25) |
| 2023-07-04 14:27:27 +0200 | jstolarek | (~jstolarek@staticline-31-183-152-161.toya.net.pl) (Quit: leaving) |
| 2023-07-04 14:27:56 +0200 | rainbyte__ | rainbyte |
| 2023-07-04 14:29:30 +0200 | danse-nr3 | (~francesco@151.47.242.125) |
| 2023-07-04 14:33:21 +0200 | Buggys | (Buggys@shelltalk.net) |
| 2023-07-04 14:41:25 +0200 | mmhat | (~mmh@p200300f1c722e4f8ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.1) |
| 2023-07-04 14:42:53 +0200 | Guest5033 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-04 14:43:49 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-07-04 14:47:23 +0200 | ddellacosta | (~ddellacos@146.70.168.181) (Ping timeout: 246 seconds) |
| 2023-07-04 14:51:46 +0200 | ryantrinkle | (~ryantrink@204.2.90.61) (Ping timeout: 250 seconds) |
| 2023-07-04 14:56:59 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 264 seconds) |
| 2023-07-04 14:58:49 +0200 | <dminuoso_> | % 1 1 |
| 2023-07-04 14:58:49 +0200 | <yahb2> | <interactive>:51:1: error: ; • Could not deduce (Num t0) ; arising from a type ambiguity check for ; the inferred type for ‘it’ ; from the context: (Num t, Num (t -> t1)) ... |
| 2023-07-04 14:58:58 +0200 | <dminuoso_> | % :set -XNoFlexibleContexts |
| 2023-07-04 14:58:58 +0200 | <yahb2> | <no output> |
| 2023-07-04 14:58:59 +0200 | <dminuoso_> | % 1 1 |
| 2023-07-04 14:58:59 +0200 | <yahb2> | <interactive>:55:1: error: ; • Non type-variable argument in the constraint: Num (t1 -> t2) ; (Use FlexibleContexts to permit this) ; • When checking the inferred type ; it ::... |
| 2023-07-04 14:59:15 +0200 | dminuoso_ | loves GHC diagnostics |
| 2023-07-04 15:03:14 +0200 | ddellacosta | (~ddellacos@143.244.47.76) |
| 2023-07-04 15:06:53 +0200 | ryantrinkle | (~ryantrink@204.2.90.61) |
| 2023-07-04 15:07:37 +0200 | <int-e> | % :set -XFlexibleCont4exts -XAllowAmbiguousTypes |
| 2023-07-04 15:07:37 +0200 | <yahb2> | Some flags have not been recognized: -XFlexibleCont4exts |
| 2023-07-04 15:07:43 +0200 | <int-e> | % :set -XFlexibleContexts -XAllowAmbiguousTypes |
| 2023-07-04 15:07:43 +0200 | <yahb2> | <no output> |
| 2023-07-04 15:07:45 +0200 | <int-e> | % 1 1 |
| 2023-07-04 15:07:45 +0200 | <yahb2> | <interactive>:61:1: error: ; • No instance for (Num (Integer -> ())) arising from a use of ‘it’ ; (maybe you haven't applied a function to enough arguments?) ; • In the first argume... |
| 2023-07-04 15:08:04 +0200 | <int-e> | % :set -XNoAllowAmbiguousTypes |
| 2023-07-04 15:08:04 +0200 | <yahb2> | <no output> |
| 2023-07-04 15:10:31 +0200 | ksqsf | (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) |
| 2023-07-04 15:12:01 +0200 | shryke | (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) |
| 2023-07-04 15:13:28 +0200 | crazazy | (~chatzilla@130.89.171.133) |
| 2023-07-04 15:13:30 +0200 | <dminuoso_> | That inferred type `Integer -> ()` is lovely too. |
| 2023-07-04 15:15:17 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-07-04 15:16:17 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-07-04 15:18:30 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-04 15:21:32 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-07-04 15:23:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-07-04 15:25:31 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-07-04 15:26:11 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-04 15:31:17 +0200 | <dminuoso_> | Im not really sure what kind of type system would be adequate for numbers. Here's a checklist of things I want: a) Automatic non-narrowing coercions, b) Switch between modular arithmatic and trap-on-overflow, c) Nothing overly polymorphic where `1` can freely be monomorphized into `String -> IO ()` |
| 2023-07-04 15:32:01 +0200 | <dminuoso_> | And for a) that would be limited to machine-sized at most, so Int does not automatically promote to Integer. |
| 2023-07-04 15:34:04 +0200 | <hellwolf[m]> | what's the topic at the moment, is it a right time to budge in with my random crazy thoughts? |
| 2023-07-04 15:34:21 +0200 | <dminuoso_> | hellwolf[m]: There's always time for crazy thoughts. |
| 2023-07-04 15:37:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-04 15:38:21 +0200 | <hellwolf[m]> | hear me out: separating Haskell language into "High Haskell" and "Low Haskell", two monikers respectively mean a (High) Haskell without IO support at all/fully denotational subset of the language/removing irrelevant extensions because of IO/striding closer to dependently typed version; while (Low) Haskell stay on course what GHC has been doing focusing on tooling and industrial usages. |
| 2023-07-04 15:38:21 +0200 | <hellwolf[m]> | High Haskell should be full of libraries produces intermediary representations (such as using wasm) that declarative describe what the program should do effectively; but leave the dirty job to Low Haskell or equivalent C++/Rust/etc. runtime to interprete those effects. |
| 2023-07-04 15:39:29 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-07-04 15:39:33 +0200 | <dminuoso_> | hellwolf[m]: Mmm, so to some degree there is such a split. |
| 2023-07-04 15:40:07 +0200 | <hellwolf[m]> | you could start with creating a denotative-base and go from there |
| 2023-07-04 15:40:38 +0200 | ksqsf | (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) (Ping timeout: 260 seconds) |
| 2023-07-04 15:40:47 +0200 | <dminuoso_> | I was referring to https://github.com/haskellfoundation/tech-proposals/pull/47 of course. |
| 2023-07-04 15:40:50 +0200 | <hellwolf[m]> | the exact denotative design of IOs is not an easy task; but there can be periods of principled vs unprincipled designs until we figure something elegant and simpel out |
| 2023-07-04 15:41:06 +0200 | <hellwolf[m]> | ah good to know! thanks! |
| 2023-07-04 15:41:16 +0200 | <dminuoso_> | I think IO is a red herring. |
| 2023-07-04 15:41:33 +0200 | <dminuoso_> | You dont need denotational semantics for IO, since you can write pure code just fine. |
| 2023-07-04 15:41:53 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-07-04 15:41:53 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2023-07-04 15:41:53 +0200 | Feuermagier_ | Feuermagier |
| 2023-07-04 15:41:56 +0200 | <dminuoso_> | And there's various explorations for effect systems, in particular free(r) monads |
| 2023-07-04 15:42:10 +0200 | <hellwolf[m]> | algebraic effects is probably closer to general way of denotating these effects. |
| 2023-07-04 15:42:34 +0200 | <hellwolf[m]> | some IO do need sequential/linear semantics, like file accessing/modification APIs; but many can be parallel too |
| 2023-07-04 15:43:03 +0200 | <dminuoso_> | On a grand scale, forcing effect systems down everybodies throat will not improve anything. |
| 2023-07-04 15:43:25 +0200 | <hellwolf[m]> | instead we indoctrinate the IO monad :) |
| 2023-07-04 15:43:28 +0200 | <dminuoso_> | I find effect systems to be complicated, hard to reason about, and they lead to shameful diagmostics. |
| 2023-07-04 15:43:30 +0200 | danse-nr3 | (~francesco@151.47.242.125) (Read error: Connection reset by peer) |
| 2023-07-04 15:43:32 +0200 | <dminuoso_> | IO is simple. |
| 2023-07-04 15:43:43 +0200 | <hellwolf[m]> | "simple" <-- define it |
| 2023-07-04 15:44:01 +0200 | danse-nr3 | (~francesco@151.47.246.160) |
| 2023-07-04 15:44:04 +0200 | <hellwolf[m]> | javascript is simple too to accomplish certain task. |
| 2023-07-04 15:44:14 +0200 | <dminuoso_> | hellwolf[m]: IO is roughly "All syscalls included" |
| 2023-07-04 15:44:40 +0200 | <hellwolf[m]> | (to some people) |
| 2023-07-04 15:44:41 +0200 | <dminuoso_> | I mean there's a bit of laying in between due to how async IO is for example realized |
| 2023-07-04 15:45:03 +0200 | <dminuoso_> | But I dont think the nature of "what is IO" has created actual, measurable problems in engineering. |
| 2023-07-04 15:45:08 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 246 seconds) |
| 2023-07-04 15:45:18 +0200 | <dminuoso_> | It also likely hasnt impacted much engineering either. |
| 2023-07-04 15:46:46 +0200 | <hellwolf[m]> | these syscall won't exist how they are in 20 more years; but a IO-less High Haskell could. |
| 2023-07-04 15:47:15 +0200 | <hellwolf[m]> | in the mean time, we don't need to rock the boat completely, and we can keep what we have but focus on division of labors. |
| 2023-07-04 15:47:33 +0200 | <hellwolf[m]> | reverse the strategy: denotative shell, imperitive core |
| 2023-07-04 15:47:35 +0200 | <dminuoso_> | What benefits do you hope to gain? |
| 2023-07-04 15:47:41 +0200 | <hellwolf[m]> | *imperative |
| 2023-07-04 15:48:37 +0200 | <hellwolf[m]> | > What benefits do you hope to gain? |
| 2023-07-04 15:48:37 +0200 | <hellwolf[m]> | All said by https://www.youtube.com/watch?v=k6rY5Mvx84E . I am just being radicalized from time to time to brainstorm about it |
| 2023-07-04 15:48:38 +0200 | <lambdabot> | <hint>:1:35: error: |
| 2023-07-04 15:48:38 +0200 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 2023-07-04 15:48:41 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-07-04 15:49:46 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 2023-07-04 15:50:06 +0200 | <dminuoso_> | I have not seen his presentation yet. |
| 2023-07-04 15:51:50 +0200 | <dminuoso_> | hellwolf[m]: Oh is this presentation going to be "Agda is what Haskell should be"? |
| 2023-07-04 15:51:58 +0200 | <dminuoso_> | Because I've seen quite a few of those by Conal before. :0 |
| 2023-07-04 15:52:00 +0200 | <dminuoso_> | :-) |
| 2023-07-04 15:52:30 +0200 | <hellwolf[m]> | hah, in some way, but it doesn't have to pan out that way |
| 2023-07-04 15:53:40 +0200 | <dminuoso_> | Hah, skipped a bit into the front, and of course there's just Agda in final third. |
| 2023-07-04 16:01:50 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-04 16:05:18 +0200 | ksqsf | (~user@111.19.96.197) |
| 2023-07-04 16:05:48 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-04 16:06:02 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-04 16:12:48 +0200 | crazazy | (~chatzilla@130.89.171.133) (Ping timeout: 240 seconds) |
| 2023-07-04 16:12:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d7c:c5d8:f5d2:bdeb) (Ping timeout: 240 seconds) |
| 2023-07-04 16:18:48 +0200 | <Unicorn_Princess> | hm. did mathematicians agree to include zero into the natural numbers while i wasn't looking? back in my day they started at 1... |
| 2023-07-04 16:18:56 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-07-04 16:20:00 +0200 | <geekosaur> | I thought naturals started at 0, whole being 0 or 1 was an open argument |
| 2023-07-04 16:21:54 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-07-04 16:22:24 +0200 | <merijn> | Unicorn_Princess: Things are divided |
| 2023-07-04 16:22:55 +0200 | <merijn> | I always learned 0 as part of the naturals, and only online discovered decades later this was apparently controversial/wrong according to misguided heretics |
| 2023-07-04 16:23:23 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 2023-07-04 16:24:16 +0200 | tv1 | (~tv@user/tv) |
| 2023-07-04 16:24:32 +0200 | tv | (~tv@user/tv) (Ping timeout: 246 seconds) |
| 2023-07-04 16:24:48 +0200 | <maralorn> | Unicorn_Princess: I think generally people from the computer science of logic sure of things prefer the 0 to be included. Normal mathematicians usually don't. |
| 2023-07-04 16:25:03 +0200 | <maralorn> | *or logic |
| 2023-07-04 16:25:15 +0200 | <maralorn> | *side if things |
| 2023-07-04 16:25:38 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-07-04 16:26:01 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-07-04 16:26:55 +0200 | <Unicorn_Princess> | on the other hand i guess it's a bit weird the naturals wouldn't include the identity under addition number |
| 2023-07-04 16:27:32 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 2023-07-04 16:27:49 +0200 | <maralorn> | That is certainly an argument people make. |
| 2023-07-04 16:28:04 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-07-04 16:29:39 +0200 | <maralorn> | My standard argument is basically that I don't want my matrices to have a row zero. Also C^0 is a stupid vector space. Stuff like that... |
| 2023-07-04 16:30:04 +0200 | <Unicorn_Princess> | thinking of it further, no identity under addition would be totally consistent with the attitude of not including zero tho. if you don't wanna change your number, just don't add to it, problem solved :) |
| 2023-07-04 16:32:10 +0200 | <dminuoso_> | For consistency naturals should start at 2, such that neither multiplication nor addition gets an identity. |
| 2023-07-04 16:32:21 +0200 | <Unicorn_Princess> | lmao |
| 2023-07-04 16:32:41 +0200 | <maralorn> | That sounds only fair. |
| 2023-07-04 16:33:34 +0200 | <maralorn> | Also fixes that weird issue that 1 is not a prime even though it is a natural number which can only be divided by 1 and itself. |
| 2023-07-04 16:35:46 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-07-04 16:36:04 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 2023-07-04 16:36:16 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-07-04 16:37:13 +0200 | <dminuoso_> | Not sure why thats a weird issue, though. |
| 2023-07-04 16:38:01 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-07-04 16:40:05 +0200 | ksqsf | (~user@111.19.96.197) (Ping timeout: 246 seconds) |
| 2023-07-04 16:47:12 +0200 | crazazy | (~chatzilla@130.89.171.133) |
| 2023-07-04 16:48:22 +0200 | crazazy | (~chatzilla@130.89.171.133) (Client Quit) |
| 2023-07-04 16:52:08 +0200 | ksqsf | (~user@111.19.96.197) |
| 2023-07-04 16:57:14 +0200 | ksqsf | (~user@111.19.96.197) (Ping timeout: 246 seconds) |
| 2023-07-04 16:57:21 +0200 | rainbyte__ | (~rainbyte@host85.181-9-198.telecom.net.ar) |
| 2023-07-04 16:59:11 +0200 | rainbyte | (~rainbyte@181.31.239.226) (Ping timeout: 246 seconds) |
| 2023-07-04 16:59:15 +0200 | jargon | (~jargon@184.101.73.95) |
| 2023-07-04 17:04:25 +0200 | rainbyte_ | (~rainbyte@181.31.239.226) |
| 2023-07-04 17:07:06 +0200 | rainbyte__ | (~rainbyte@host85.181-9-198.telecom.net.ar) (Ping timeout: 252 seconds) |
| 2023-07-04 17:08:20 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-04 17:10:20 +0200 | <shryke> | There's also a similar debate whether an empty set can be compact or not |
| 2023-07-04 17:10:54 +0200 | <dminuoso_> | What is a compact set? |
| 2023-07-04 17:11:23 +0200 | ksqsf | (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) |
| 2023-07-04 17:13:12 +0200 | timetravel | (~timetrave@bcdcac82.skybroadband.com) (Ping timeout: 240 seconds) |
| 2023-07-04 17:13:15 +0200 | <shryke> | dminuoso_: https://en.wikipedia.org/wiki/Compact_space#Open_cover_definition |
| 2023-07-04 17:13:35 +0200 | <ncf> | why is that controversial? |
| 2023-07-04 17:14:29 +0200 | <ncf> | i guess because the FIP definition requires a nonempty intersection? |
| 2023-07-04 17:14:53 +0200 | <ncf> | well no, even that holds vacuously |
| 2023-07-04 17:15:27 +0200 | <ncf> | shryke: are you sure there's a debate? |
| 2023-07-04 17:15:39 +0200 | <shryke> | I would not call it controversial - in some branches of maths it is more useful to allow compact empty sets (e.g. analysis), and in some branches they prefer to disallow them (iirc, algebraic topology does that sometimes) |
| 2023-07-04 17:16:11 +0200 | ksqsf | (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) (Ping timeout: 264 seconds) |
| 2023-07-04 17:16:18 +0200 | timetravel | (~timetrave@bcdcac82.skybroadband.com) |
| 2023-07-04 17:16:49 +0200 | <shryke> | ncf: well, we had two staunch defenders of these two points of in the lab, it was fun hear them argue over that question |
| 2023-07-04 17:17:14 +0200 | <shryke> | Like "Friday evening over a beer argument" |
| 2023-07-04 17:18:16 +0200 | <ncf> | that's the only reasonable setting to discuss the meaning of words anyway |
| 2023-07-04 17:18:22 +0200 | <shryke> | In my books the argument whether zero is a natural number falls in the same category =) |
| 2023-07-04 17:19:47 +0200 | <hpc> | hot take: zero is the only negative natural number |
| 2023-07-04 17:20:17 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-07-04 17:20:47 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-07-04 17:20:56 +0200 | <DigitalKiwi> | but one is the loneliest |
| 2023-07-04 17:21:18 +0200 | ripspin | (~chatzilla@1.145.208.112) |
| 2023-07-04 17:22:00 +0200 | html | (~User@31.173.240.117) (Ping timeout: 260 seconds) |
| 2023-07-04 17:22:39 +0200 | <dminuoso_> | shryke: I think the main issue is the desire of having some all-encompassing singular normative definition. Rather than saying "Natural numbers should...", its more useful to just use \N^* and \N_0 or some such. |
| 2023-07-04 17:23:09 +0200 | <dminuoso_> | Natural numbers is not something that simply arises out of nature, its just a construction that happens to be useful for particular things. And if its particularly useful to include zero, do it, If not, dont. |
| 2023-07-04 17:23:30 +0200 | <dminuoso_> | Any discussions about whether "naturals should" seems to be more founded in religion than in the context of a mathematical discussion or a proof. |
| 2023-07-04 17:23:31 +0200 | <shryke> | dminuoso_: yes, I subscribe to this point of view |
| 2023-07-04 17:24:43 +0200 | <hpc> | dminuoso_: only church numerals are founded in religion :D |
| 2023-07-04 17:24:56 +0200 | <dminuoso_> | hpc: touché |
| 2023-07-04 17:25:18 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-07-04 17:29:53 +0200 | <DigitalKiwi> | romans, famously all atheists |
| 2023-07-04 17:30:07 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-04 17:30:26 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-04 17:32:05 +0200 | merijn | (~merijn@185.143.104.11) (Ping timeout: 246 seconds) |
| 2023-07-04 17:37:08 +0200 | <DigitalKiwi> | i'm pretty sure some of you are an AI so i love giving you these amazing facts that are definitely true |
| 2023-07-04 17:40:18 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Server closed connection) |
| 2023-07-04 17:40:30 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-07-04 17:47:27 +0200 | dsrt^ | (~dsrt@24.125.210.85) (Remote host closed the connection) |
| 2023-07-04 17:47:45 +0200 | dsrt^ | (~dsrt@24.125.210.85) |
| 2023-07-04 17:47:56 +0200 | ystael | (~ystael@user/ystael) |
| 2023-07-04 17:49:11 +0200 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection) |
| 2023-07-04 17:49:30 +0200 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) |
| 2023-07-04 17:53:27 +0200 | <maralorn> | dminuoso_: That is the sane position on this which I apply when doing math, but that's not what I come to this channel for. |
| 2023-07-04 17:53:57 +0200 | <maralorn> | <dminuoso_> "Not sure why thats a weird issue..." <- Why is it not weird? |
| 2023-07-04 17:54:04 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-04 17:54:22 +0200 | <Nosrep> | ideas why my program is 15% slower after switching from ghc 9.2.7 to 9.4.5? |
| 2023-07-04 17:54:34 +0200 | danse-nr3 | (~francesco@151.47.246.160) (Ping timeout: 246 seconds) |
| 2023-07-04 17:58:15 +0200 | <EvanR> | what the natural numbers "really are" sounds dubious and materialistic. How do they behave with respect to other types, i.e. what laws does induction obey. Then you can paint whatever numbers on the side |
| 2023-07-04 17:58:28 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-04 17:58:37 +0200 | <DigitalKiwi> | you have 2 versions of ghc in ram now so it's got more memory pressure so it's slower (swapping) |
| 2023-07-04 17:59:13 +0200 | <Nosrep> | in ram how? |
| 2023-07-04 17:59:24 +0200 | <geekosaur> | seems to me the whole thing is based on gatekeepers for the concept of "number" — whole, no natural, no rational, no real, … |
| 2023-07-04 18:00:29 +0200 | <DigitalKiwi> | cache hits they just keep everything they can in ram now |
| 2023-07-04 18:01:27 +0200 | <nyc> | Nosrep: I'm seeing a similar 15% slowdown, mostly involving GC burden from increased allocations traceable to strictness & unboxing failing on typeclass methods, but it was between 8.10.7 & 9.2.8 not 9.2.8 & 9.4.5 though. |
| 2023-07-04 18:01:39 +0200 | <DigitalKiwi> | https://gitlab.haskell.org/ghc/ghc/-/issues/22425 |
| 2023-07-04 18:01:47 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-07-04 18:02:29 +0200 | <Nosrep> | ill check how memory is doing in profiler |
| 2023-07-04 18:02:38 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-07-04 18:03:21 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-07-04 18:04:53 +0200 | <DigitalKiwi> | Nosrep: i was just joshing you with my first two comments lol the gitlab might be actually helpful |
| 2023-07-04 18:05:14 +0200 | <Nosrep> | i thuoght something was off |
| 2023-07-04 18:05:16 +0200 | <Nosrep> | ill check it out thanks |
| 2023-07-04 18:05:22 +0200 | <nyc> | https://gitlab.haskell.org/ghc/ghc/-/issues/21281 is the one I'm suspecting. |
| 2023-07-04 18:06:08 +0200 | Guest5033 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2023-07-04 18:06:58 +0200 | <DigitalKiwi> | https://www.youtube.com/watch?v=EwvHL4eoVPM&t=44s |
| 2023-07-04 18:07:45 +0200 | <DigitalKiwi> | hehehe https://twitter.com/ArchKiwi/status/1676254952044261376 |
| 2023-07-04 18:08:25 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-04 18:09:37 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-07-04 18:13:27 +0200 | <EvanR> | class IsNat t where z :: t; s :: t -> t; ind :: (P : t -> Type) -> ((m : t) -> P m -> P (s m)) -> P z -> (n : t) -> P n -- now a type starting at zero and a type starting at one can both exist. Or others? |
| 2023-07-04 18:15:50 +0200 | <tomsmeding> | EvanR: https://github.com/TodePond/DreamBerd#arrays |
| 2023-07-04 18:17:01 +0200 | <EvanR> | lol |
| 2023-07-04 18:17:26 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-07-04 18:18:03 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-07-04 18:18:44 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-188.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-07-04 18:19:52 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-07-04 18:21:28 +0200 | <EvanR> | in the undependent version, times :: (a -> a) -> a -> Nat -> a, which we don't seem to have in haskell. I guess fairbairn threshold |
| 2023-07-04 18:21:47 +0200 | dsrt^ | (~dsrt@24.125.210.85) (Ping timeout: 246 seconds) |
| 2023-07-04 18:21:56 +0200 | y04nn | (~username@2a03:1b20:5:f011::aaae) |
| 2023-07-04 18:22:21 +0200 | <ncf> | no that one is definitely above. i don't know why we don't have it |
| 2023-07-04 18:22:33 +0200 | <ncf> | iterate f !! n is horrible |
| 2023-07-04 18:25:09 +0200 | <geekosaur> | tomsmeding, remember how perl's `$[` used to work? |
| 2023-07-04 18:25:32 +0200 | tomsmeding | has never written any perl |
| 2023-07-04 18:26:14 +0200 | <tomsmeding> | EvanR: check also the rest of that readme, it's great |
| 2023-07-04 18:26:46 +0200 | <geekosaur> | used to be you could set `$[` and change the base index for all arrays anywhere |
| 2023-07-04 18:27:06 +0200 | <geekosaur> | (in that interpreter instance) |
| 2023-07-04 18:27:15 +0200 | <tomsmeding> | sounds like APL |
| 2023-07-04 18:27:33 +0200 | <tomsmeding> | also I get discomfort from a variable name with an unbalanced number of brackets |
| 2023-07-04 18:29:06 +0200 | <hpc> | i like to balance the 'd's and 'b's in my code too |
| 2023-07-04 18:29:15 +0200 | <gnalzo> | $[ was a very bad idea, imho |
| 2023-07-04 18:30:16 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-07-04 18:34:52 +0200 | jargon | (~jargon@184.101.73.95) (Remote host closed the connection) |
| 2023-07-04 18:39:48 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-07-04 18:40:23 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-04 18:44:50 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-04 18:45:41 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-04 18:46:18 +0200 | gurkenglas | (~gurkengla@46.114.178.188) |
| 2023-07-04 18:46:30 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-07-04 18:49:36 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-07-04 18:52:22 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-04 18:56:11 +0200 | <EvanR> | tomsmeding, print("Hello {name}€!")! |
| 2023-07-04 18:56:34 +0200 | <EvanR> | is this a real language seems like one |
| 2023-07-04 18:58:08 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 240 seconds) |
| 2023-07-04 19:02:26 +0200 | aniketd[m] | (~aniketdma@2001:470:69fc:105::dede) |
| 2023-07-04 19:07:30 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:11b7:38be:6d89:995c) (Remote host closed the connection) |
| 2023-07-04 19:07:40 +0200 | <EvanR> | the best esoteric language is haskell |
| 2023-07-04 19:10:42 +0200 | ksqsf | (~user@111.19.96.197) |
| 2023-07-04 19:14:32 +0200 | mauke | (~mauke@user/mauke) |
| 2023-07-04 19:18:59 +0200 | <int-e> | Rust isn't far off, it can do println!("Hello {name}!"); |
| 2023-07-04 19:19:22 +0200 | MajorBiscuit | (~MajorBisc@c-001-005-040.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.6) |
| 2023-07-04 19:20:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-04 19:22:11 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2023-07-04 19:24:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-07-04 19:35:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-04 19:37:06 +0200 | danse-nr3 | (~francesco@151.47.246.229) |
| 2023-07-04 19:38:57 +0200 | mikoto-chan | (~mikoto-ch@2001:999:488:d184:9306:5ace:c46b:f29d) |
| 2023-07-04 19:39:56 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-07-04 19:42:26 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-07-04 19:44:08 +0200 | danse-nr3_ | (~francesco@151.47.254.202) |
| 2023-07-04 19:45:26 +0200 | ksqsf | (~user@111.19.96.197) (Ping timeout: 246 seconds) |
| 2023-07-04 19:46:33 +0200 | orcus- | (~orcus@81.78.253.214) |
| 2023-07-04 19:46:34 +0200 | danse-nr3 | (~francesco@151.47.246.229) (Ping timeout: 246 seconds) |
| 2023-07-04 19:46:43 +0200 | orcus- | (~orcus@81.78.253.214) (Remote host closed the connection) |
| 2023-07-04 19:48:25 +0200 | eugenrh | (~eugenrh@2a01:4f9:c011:265::1) |
| 2023-07-04 19:48:26 +0200 | arahael | (~arahael@210.84.24.98) (Ping timeout: 260 seconds) |
| 2023-07-04 19:50:12 +0200 | rainbyte_ | (~rainbyte@181.31.239.226) (Ping timeout: 245 seconds) |
| 2023-07-04 19:52:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-04 19:53:27 +0200 | ft | (~ft@p508db151.dip0.t-ipconnect.de) |
| 2023-07-04 19:55:08 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 2023-07-04 19:56:26 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-04 19:58:49 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-04 19:59:49 +0200 | ripspin | (~chatzilla@1.145.208.112) (Remote host closed the connection) |
| 2023-07-04 20:00:27 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-04 20:00:55 +0200 | `2jt | (~jtomas@90.162.208.36) (Ping timeout: 246 seconds) |
| 2023-07-04 20:01:28 +0200 | danse-nr3_ | (~francesco@151.47.254.202) (Ping timeout: 240 seconds) |
| 2023-07-04 20:02:57 +0200 | rainbyte_ | (~rainbyte@181.31.239.226) |
| 2023-07-04 20:05:09 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-07-04 20:10:05 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-07-04 20:11:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-07-04 20:13:58 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-04 20:14:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-07-04 20:14:55 +0200 | ft | (~ft@p508db151.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-07-04 20:15:25 +0200 | falafel | (~falafel@2603-7000-a700-8710-37d3-e147-03ee-b9da.res6.spectrum.com) |
| 2023-07-04 20:16:33 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-04 20:17:28 +0200 | ft | (~ft@p508db151.dip0.t-ipconnect.de) |
| 2023-07-04 20:19:02 +0200 | mikoto-chan | (~mikoto-ch@2001:999:488:d184:9306:5ace:c46b:f29d) (Ping timeout: 246 seconds) |
| 2023-07-04 20:19:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-04 20:21:34 +0200 | rainbyte_ | (~rainbyte@181.31.239.226) (Ping timeout: 246 seconds) |
| 2023-07-04 20:28:43 +0200 | Anymyo | (~rscastilh@187.40.124.54) |
| 2023-07-04 20:31:44 +0200 | mikoto-chan | (~mikoto-ch@2001:999:488:d184:9306:5ace:c46b:f29d) |
| 2023-07-04 20:32:53 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2023-07-04 20:33:25 +0200 | dispater- | (~dispater@81.78.253.214) |
| 2023-07-04 20:35:27 +0200 | orcus- | (~orcus@81.78.253.214) |
| 2023-07-04 20:37:06 +0200 | dispater- | (~dispater@81.78.253.214) (Remote host closed the connection) |
| 2023-07-04 20:37:07 +0200 | orcus- | (~orcus@81.78.253.214) (Remote host closed the connection) |
| 2023-07-04 20:38:58 +0200 | ksqsf | (~user@111.19.96.197) |
| 2023-07-04 20:42:13 +0200 | ubert | (~Thunderbi@p548c89d1.dip0.t-ipconnect.de) (Quit: ubert) |
| 2023-07-04 20:43:32 +0200 | ksqsf | (~user@111.19.96.197) (Ping timeout: 246 seconds) |
| 2023-07-04 20:44:07 +0200 | Anymyo | (~rscastilh@187.40.124.54) () |
| 2023-07-04 20:49:37 +0200 | falafel | (~falafel@2603-7000-a700-8710-37d3-e147-03ee-b9da.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-04 20:50:02 +0200 | falafel | (~falafel@2603-7000-a700-8710-ee2a-d627-8c15-721a.res6.spectrum.com) |
| 2023-07-04 20:53:01 +0200 | rainbyte_ | (~rainbyte@181.31.239.226) |
| 2023-07-04 20:54:27 +0200 | Tlsx | (~rscastilh@187.40.124.54) |
| 2023-07-04 20:57:41 +0200 | Tlsx | (~rscastilh@187.40.124.54) () |
| 2023-07-04 21:07:56 +0200 | Guest5033 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-04 21:08:58 +0200 | <tomsmeding> | EvanR: you haven't read the entire readme, I see |
| 2023-07-04 21:11:54 +0200 | Tlsx | (~rscastilh@187.40.124.54) |
| 2023-07-04 21:13:18 +0200 | HerlockSholmes | (~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 2023-07-04 21:14:33 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-04 21:16:38 +0200 | Tlsx | (~rscastilh@187.40.124.54) () |
| 2023-07-04 21:16:50 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-04 21:28:53 +0200 | Tlsx | (~rscastilh@187.40.124.54) |
| 2023-07-04 21:28:59 +0200 | danse-nr3 | (~francesco@151.47.252.180) |
| 2023-07-04 21:33:22 +0200 | ystael | (~ystael@user/ystael) |
| 2023-07-04 21:36:28 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-07-04 21:41:01 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-07-04 21:42:35 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-04 21:45:08 +0200 | taupiqueur | (~taupiqueu@2a02-8440-2440-d7b5-5838-ad63-dd18-a740.rev.sfr.net) |
| 2023-07-04 21:46:39 +0200 | <EvanR> | oh it's quite a bit longer than I expected |
| 2023-07-04 21:48:47 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-04 21:52:49 +0200 | mikoto-chan | (~mikoto-ch@2001:999:488:d184:9306:5ace:c46b:f29d) (Ping timeout: 240 seconds) |
| 2023-07-04 21:54:10 +0200 | Tlsx | (~rscastilh@187.40.124.54) () |
| 2023-07-04 21:59:04 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-04 22:02:21 +0200 | pavonia | (~user@user/siracusa) |
| 2023-07-04 22:06:32 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-04 22:06:32 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-04 22:06:32 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-04 22:18:39 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2440-d7b5-5838-ad63-dd18-a740.rev.sfr.net) |
| 2023-07-04 22:21:52 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-04 22:22:19 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-07-04 22:27:58 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-04 22:28:30 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-07-04 22:35:19 +0200 | taupiqueur | (~taupiqueu@2a02-8440-2440-d7b5-5838-ad63-dd18-a740.rev.sfr.net) (Quit: WeeChat 3.8) |
| 2023-07-04 22:36:21 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2440-d7b5-5838-ad63-dd18-a740.rev.sfr.net) (Remote host closed the connection) |
| 2023-07-04 22:37:47 +0200 | danse-nr3 | (~francesco@151.47.252.180) (Ping timeout: 264 seconds) |
| 2023-07-04 22:40:10 +0200 | ksqsf | (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) |
| 2023-07-04 22:40:15 +0200 | masterbuilder | (~masterbui@user/masterbuilder) (Quit: Lost terminal) |
| 2023-07-04 22:52:57 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-07-04 22:58:09 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 2023-07-04 23:05:00 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-07-04 23:06:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-07-04 23:06:23 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-07-04 23:06:31 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-04 23:07:18 +0200 | Dykam | (Dykam@dykam.nl) (Server closed connection) |
| 2023-07-04 23:07:27 +0200 | Dykam | (Dykam@dykam.nl) |
| 2023-07-04 23:11:48 +0200 | ghostbuster | (~admin@user/ghostbuster) (Server closed connection) |
| 2023-07-04 23:12:12 +0200 | ghostbuster | (~admin@user/ghostbuster) |
| 2023-07-04 23:13:20 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 246 seconds) |
| 2023-07-04 23:14:59 +0200 | ksqsf | (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) (Ping timeout: 264 seconds) |
| 2023-07-04 23:20:14 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-04 23:20:45 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-07-04 23:21:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-04 23:25:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) |
| 2023-07-04 23:25:41 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-07-04 23:26:09 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-07-04 23:27:37 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-04 23:28:17 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2023-07-04 23:29:51 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-07-04 23:31:17 +0200 | motherfsck | (~motherfsc@user/motherfsck) (K-Lined) |
| 2023-07-04 23:31:30 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-04 23:32:48 +0200 | int-e | (~noone@int-e.eu) (Server closed connection) |
| 2023-07-04 23:32:57 +0200 | int-e | (~noone@int-e.eu) |
| 2023-07-04 23:33:31 +0200 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2023-07-04 23:34:40 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-07-04 23:36:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-04 23:37:17 +0200 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection) |
| 2023-07-04 23:40:18 +0200 | shane | (~shane@ana.rch.ist) (Server closed connection) |
| 2023-07-04 23:40:25 +0200 | shane | (~shane@ana.rch.ist) |
| 2023-07-04 23:41:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection) |
| 2023-07-04 23:41:50 +0200 | talismanick | (~user@2601:204:ef01:8ca0::a3e7) (Ping timeout: 246 seconds) |
| 2023-07-04 23:42:06 +0200 | nick2 | (~nick@2600:100d:b115:5b19:1404:72ff:f345:f58d) |
| 2023-07-04 23:42:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) |
| 2023-07-04 23:42:42 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 245 seconds) |
| 2023-07-04 23:48:48 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2023-07-04 23:50:50 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 250 seconds) |
| 2023-07-04 23:53:14 +0200 | falafel | (~falafel@2603-7000-a700-8710-ee2a-d627-8c15-721a.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-07-04 23:54:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection) |