Logs on 2023-09-28 (liberachat/#haskell)
| 00:00:03 | × | puke quits (~puke@user/puke) (*.net *.split) |
| 00:00:03 | × | eggplant_ quits (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (*.net *.split) |
| 00:00:03 | × | ft quits (~ft@p3e9bc680.dip0.t-ipconnect.de) (*.net *.split) |
| 00:00:03 | × | [exa] quits (~exa@user/exa/x-3587197) (*.net *.split) |
| 00:00:03 | × | sympt quits (~sympt@user/sympt) (*.net *.split) |
| 00:00:03 | × | anderson quits (~anderson@user/anderson) (*.net *.split) |
| 00:00:03 | × | aforemny quits (~aforemny@i59F516DA.versanet.de) (*.net *.split) |
| 00:00:03 | × | hgolden_ quits (~hgolden@2603-8000-9d00-3ed1-cee1-c701-fc94-6966.res6.spectrum.com) (*.net *.split) |
| 00:00:03 | × | Typedfern quits (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (*.net *.split) |
| 00:00:03 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 00:00:03 | × | hexology quits (~hexology@user/hexology) (*.net *.split) |
| 00:00:04 | × | haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (*.net *.split) |
| 00:00:04 | × | johnw quits (~johnw@69.62.242.138) (*.net *.split) |
| 00:00:04 | × | elkcl quits (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (*.net *.split) |
| 00:00:04 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (*.net *.split) |
| 00:00:05 | × | andjjj23 quits (~irc@107.170.228.47) (*.net *.split) |
| 00:00:05 | × | jludwig quits (~justin@li657-110.members.linode.com) (*.net *.split) |
| 00:00:05 | × | Dykam quits (Dykam@dykam.nl) (*.net *.split) |
| 00:00:05 | × | myxos quits (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (*.net *.split) |
| 00:00:05 | × | quintasan quits (~quassel@quintasan.pl) (*.net *.split) |
| 00:00:05 | × | Igloo quits (~ian@matrix.chaos.earth.li) (*.net *.split) |
| 00:00:05 | × | Hecate quits (~mariposa@user/hecate) (*.net *.split) |
| 00:00:05 | × | B-J quits (~BenziJuni@88-149-64-112.du.xdsl.is) (*.net *.split) |
| 00:00:05 | × | kraftwerk28 quits (~kraftwerk@164.92.219.160) (*.net *.split) |
| 00:00:06 | × | arkeet quits (~arkeet@moriya.ca) (*.net *.split) |
| 00:00:06 | × | meooow_ quits (~meooow@165.232.184.169) (*.net *.split) |
| 00:00:06 | × | urdh quits (~urdh@user/urdh) (*.net *.split) |
| 00:00:06 | × | evanrelf quits (3addc196af@2604:bf00:561:2000::f0) (*.net *.split) |
| 00:00:06 | × | cpli quits (77fc530071@2604:bf00:561:2000::252) (*.net *.split) |
| 00:00:06 | × | sm2n quits (ae95cb1267@user/sm2n) (*.net *.split) |
| 00:00:06 | × | MonsoonSecrecy quits (f78c86e960@2604:bf00:561:2000::f99) (*.net *.split) |
| 00:00:06 | × | jakzale quits (6291399afa@user/jakzale) (*.net *.split) |
| 00:00:06 | × | fluffyballoon quits (45ce440a48@2604:bf00:561:2000::e2) (*.net *.split) |
| 00:00:06 | × | probie quits (cc0b34050a@user/probie) (*.net *.split) |
| 00:00:06 | × | ggb quits (a62ffbaf4f@2604:bf00:561:2000::3ac) (*.net *.split) |
| 00:00:07 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 00:00:07 | × | Pent quits (sid313808@id-313808.lymington.irccloud.com) (*.net *.split) |
| 00:00:07 | × | joel135 quits (sid136450@id-136450.hampstead.irccloud.com) (*.net *.split) |
| 00:00:07 | × | hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 00:00:07 | × | NemesisD quits (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
| 00:00:07 | × | actioninja quits (~actioninj@user/actioninja) (*.net *.split) |
| 00:00:07 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split) |
| 00:00:07 | × | lottaquestions_ quits (~nick@2607:fa49:503d:b200:c923:2296:5b4a:ca69) (*.net *.split) |
| 00:00:07 | × | neptun quits (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split) |
| 00:00:07 | × | Rembane quits (~Rembane@li346-36.members.linode.com) (*.net *.split) |
| 00:00:07 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 00:00:07 | × | s4msung quits (yn4wjv16Ef@user/s4msung) (*.net *.split) |
| 00:00:07 | × | xnbya quits (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
| 00:00:07 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 00:00:07 | × | zups quits (~meow@static.170.50.21.65.clients.your-server.de) (*.net *.split) |
| 00:00:07 | × | codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 00:00:07 | × | Vq quits (~vq@90-225-115-195-no122.tbcn.telia.com) (*.net *.split) |
| 00:00:07 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 00:00:07 | × | natto quits (~natto@129.154.243.159) (*.net *.split) |
| 00:00:07 | × | tomjaguarpaw quits (~tom@172-104-25-182.ip.linodeusercontent.com) (*.net *.split) |
| 00:00:07 | × | robertm quits (robertm@lattice.rojoma.com) (*.net *.split) |
| 00:00:08 | × | tdammers quits (~tdammers@219-131-178-143.ftth.glasoperator.nl) (*.net *.split) |
| 00:00:08 | × | lockywolf quits (~lockywolf@public.lockywolf.net) (*.net *.split) |
| 00:00:08 | × | stilgart quits (~Christoph@chezlefab.net) (*.net *.split) |
| 00:00:08 | × | tureba quits (~tureba@tureba.org) (*.net *.split) |
| 00:00:08 | × | berberman_ quits (~berberman@user/berberman) (*.net *.split) |
| 00:00:08 | × | yushyin quits (QIgO0IDFsU@mail.karif.server-speed.net) (*.net *.split) |
| 00:00:08 | × | andreas303 quits (andreas303@is.drunk.and.ready-to.party) (*.net *.split) |
| 00:00:08 | × | KBar quits (kbar@is.drunk.and.ready-to.party) (*.net *.split) |
| 00:00:08 | × | winny quits (~weechat@user/winny) (*.net *.split) |
| 00:00:09 | × | son0p quits (~ff@181.136.122.143) (*.net *.split) |
| 00:00:09 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (*.net *.split) |
| 00:00:09 | × | mrmr15 quits (~mrmr@user/mrmr) (*.net *.split) |
| 00:00:09 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (*.net *.split) |
| 00:00:10 | × | iteratee quits (~kyle@162.218.222.207) (*.net *.split) |
| 00:00:10 | × | radiance quits (~renegade@bcdcac82.skybroadband.com) (*.net *.split) |
| 00:00:10 | × | cjay quits (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 00:00:10 | × | jjhoo quits (~jahakala@user/jjhoo) (*.net *.split) |
| 00:00:10 | × | migas quits (~migas@astra4961.startdedicated.net) (*.net *.split) |
| 00:00:10 | × | caubert quits (~caubert@user/caubert) (*.net *.split) |
| 00:00:10 | × | Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (*.net *.split) |
| 00:00:10 | × | monochrom quits (trebla@216.138.220.146) (*.net *.split) |
| 00:00:11 | × | sgarcia quits (sgarcia@swarm.znchost.com) (*.net *.split) |
| 00:00:11 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (*.net *.split) |
| 00:00:11 | × | Everything quits (~Everythin@static.208.206.21.65.clients.your-server.de) (*.net *.split) |
| 00:00:11 | × | ringo___ quits (~ringo@157.230.117.128) (*.net *.split) |
| 00:00:11 | × | user2 quits (~user@162.255.84.96) (*.net *.split) |
| 00:00:11 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (*.net *.split) |
| 00:00:11 | × | opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 00:00:11 | × | lilata quits (~lilata@static.5.54.140.128.clients.your-server.de) (*.net *.split) |
| 00:00:11 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 00:00:12 | × | tomku quits (~tomku@user/tomku) (*.net *.split) |
| 00:00:12 | × | noctux quits (~noctux@user/noctux) (*.net *.split) |
| 00:00:12 | × | ridcully_ quits (~ridcully@p57b5294c.dip0.t-ipconnect.de) (*.net *.split) |
| 00:00:12 | × | TMA quits (tma@twin.jikos.cz) (*.net *.split) |
| 00:00:12 | → | xnbya2 joins (~xnbya@2a01:4f8:c17:cbdd::1) |
| 00:00:12 | → | ggb joins (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 00:00:14 | × | hammond quits (proscan@user/hammond2) (K-Lined) |
| 00:00:17 | → | tomjaguarpaw joins (~tom@172.104.25.182) |
| 00:00:17 | → | Adeon joins (sid143283@id-418992.lymington.irccloud.com) |
| 00:00:17 | → | arkeet joins (arkeet@moriya.ca) |
| 00:00:18 | → | neptun joins (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 00:00:19 | → | sgarcia joins (sgarcia@swarm.znchost.com) |
| 00:00:20 | → | johnw joins (~johnw@69.62.242.138) |
| 00:00:22 | → | codedmart joins (~codedmart@li335-49.members.linode.com) |
| 00:00:22 | → | iteratee joins (~kyle@162.218.222.207) |
| 00:00:24 | → | NemesisD joins (sid24071@id-24071.lymington.irccloud.com) |
| 00:00:25 | → | Typedfern joins (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 00:00:26 | → | migas joins (~migas@astra4961.startdedicated.net) |
| 00:00:28 | → | tdammers joins (~tdammers@219-131-178-143.ftth.glasoperator.nl) |
| 00:00:28 | → | fluffyballoon joins (45ce440a48@2604:bf00:561:2000::e2) |
| 00:00:29 | → | hamishmack joins (sid389057@id-389057.hampstead.irccloud.com) |
| 00:00:29 | × | micro quits (~micro@user/micro) (*.net *.split) |
| 00:00:30 | × | bollu quits (~bollu@159.65.151.13) (*.net *.split) |
| 00:00:30 | × | kmein quits (~weechat@user/kmein) (*.net *.split) |
| 00:00:30 | × | dispater quits (~dispater@mail.brprice.uk) (*.net *.split) |
| 00:00:30 | × | Xe quits (~cadey@tailscale/xe) (*.net *.split) |
| 00:00:31 | × | telser quits (~quassel@user/telser) (*.net *.split) |
| 00:00:31 | × | adium quits (adium@user/adium) (*.net *.split) |
| 00:00:31 | × | drlkf quits (~drlkf@192.184.163.34.bc.googleusercontent.com) (*.net *.split) |
| 00:00:31 | × | totbwf quits (sid402332@uxbridge.irccloud.com) (*.net *.split) |
| 00:00:31 | × | Teacup quits (~teacup@user/teacup) (*.net *.split) |
| 00:00:31 | × | mjs2600 quits (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (*.net *.split) |
| 00:00:31 | × | meejah quits (~meejah@rutas.meejah.ca) (*.net *.split) |
| 00:00:31 | × | byorgey quits (~byorgey@155.138.238.211) (*.net *.split) |
| 00:00:32 | × | nullie quits (~nullie@amsterdam.nullie.name) (*.net *.split) |
| 00:00:32 | × | madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 00:00:32 | × | rembo10 quits (~rembo10@main.remulis.com) (*.net *.split) |
| 00:00:32 | → | user2 joins (~user@162.255.84.96) |
| 00:00:36 | → | robertm joins (robertm@lattice.rojoma.com) |
| 00:00:37 | → | Pent joins (sid313808@id-313808.lymington.irccloud.com) |
| 00:00:37 | → | zups joins (~meow@2a01:4f9:c010:6036::1) |
| 00:00:40 | → | totbwf joins (sid402332@id-402332.uxbridge.irccloud.com) |
| 00:00:41 | → | yushyin joins (2s7JFhwo4e@mail.karif.server-speed.net) |
| 00:00:46 | → | winny joins (~weechat@2001:19f0:5c01:d07:5400:3ff:fe8c:41a4) |
| 00:00:46 | → | myxos joins (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 00:00:48 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 00:00:50 | → | monochrom joins (trebla@216.138.220.146) |
| 00:01:00 | → | joel135 joins (sid136450@id-136450.hampstead.irccloud.com) |
| 00:01:00 | → | caubert joins (~caubert@136.244.111.235) |
| 00:01:11 | → | Xe joins (~cadey@174.88.7.211) |
| 00:01:21 | → | aforemny joins (~aforemny@2001:9e8:6cdf:2000:71a7:5333:c9dd:787) |
| 00:01:23 | → | radiance joins (~renegade@bcdcac82.skybroadband.com) |
| 00:01:45 | × | winny quits (~weechat@2001:19f0:5c01:d07:5400:3ff:fe8c:41a4) (Changing host) |
| 00:01:45 | → | winny joins (~weechat@user/winny) |
| 00:01:46 | → | mjs2600 joins (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) |
| 00:02:11 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 00:02:11 | × | caubert quits (~caubert@136.244.111.235) (Changing host) |
| 00:02:11 | → | caubert joins (~caubert@user/caubert) |
| 00:02:15 | × | yushyin quits (2s7JFhwo4e@mail.karif.server-speed.net) (Client Quit) |
| 00:02:16 | × | Xe quits (~cadey@174.88.7.211) (Changing host) |
| 00:02:16 | → | Xe joins (~cadey@tailscale/xe) |
| 00:02:17 | → | opqdonut joins (opqdonut@pseudo.fixme.fi) |
| 00:02:21 | → | Benzi-Junior joins (~BenziJuni@88-149-64-112.du.xdsl.is) |
| 00:02:36 | → | yushyin joins (hzrLYvMpZO@mail.karif.server-speed.net) |
| 00:02:37 | → | nullie joins (~nullie@amsterdam.nullie.name) |
| 00:02:39 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 00:02:39 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 00:02:50 | → | ridcully_ joins (~ridcully@p57b5294c.dip0.t-ipconnect.de) |
| 00:02:52 | → | son0p joins (~ff@181.136.122.143) |
| 00:03:00 | → | noctux joins (~noctux@user/noctux) |
| 00:03:02 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 00:03:15 | × | yushyin quits (hzrLYvMpZO@mail.karif.server-speed.net) (Client Quit) |
| 00:03:36 | → | yushyin joins (RKULrKe6QT@mail.karif.server-speed.net) |
| 00:03:58 | → | jj_ joins (uid620921@id-620921.hampstead.irccloud.com) |
| 00:04:07 | → | Dykam joins (Dykam@dykam.nl) |
| 00:04:17 | → | sm2n joins (ae95cb1267@user/sm2n) |
| 00:04:26 | → | elkcl joins (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 00:04:27 | × | pounce quits (~pounce@user/cute/pounce) (Ping timeout: 260 seconds) |
| 00:04:28 | → | Teacup joins (~teacup@user/teacup) |
| 00:04:56 | → | evanrelf joins (3addc196af@2604:bf00:561:2000::f0) |
| 00:05:11 | → | [exa] joins (~exa@srv3n.blesmrt.net) |
| 00:05:14 | → | Igloo joins (~ian@matrix.chaos.earth.li) |
| 00:05:17 | → | Rembane joins (~Rembane@li346-36.members.linode.com) |
| 00:05:20 | → | Everything joins (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 00:05:20 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 00:05:22 | → | TMA joins (tma@twin.jikos.cz) |
| 00:05:24 | → | dostoyevsky2 joins (~sck@static.251.39.47.78.clients.your-server.de) |
| 00:05:28 | × | dostoyevsky2 quits (~sck@static.251.39.47.78.clients.your-server.de) (Changing host) |
| 00:05:28 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 00:05:29 | → | jakzale joins (6291399afa@user/jakzale) |
| 00:05:37 | → | micro joins (micro@2a01:7e00::f03c:91ff:fe70:1d14) |
| 00:05:37 | → | byorgey joins (~byorgey@155.138.238.211) |
| 00:05:38 | → | meooow joins (~meooow@2400:6180:100:d0::ad9:e001) |
| 00:05:38 | → | quintasan joins (~quassel@quintasan.pl) |
| 00:05:42 | → | tomku joins (~tomku@141-126-184-057.res.spectrum.com) |
| 00:05:43 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) |
| 00:06:06 | × | micro quits (micro@2a01:7e00::f03c:91ff:fe70:1d14) (Changing host) |
| 00:06:06 | → | micro joins (micro@user/micro) |
| 00:06:10 | × | tomku quits (~tomku@141-126-184-057.res.spectrum.com) (Changing host) |
| 00:06:10 | → | tomku joins (~tomku@user/tomku) |
| 00:06:48 | → | berberman joins (~berberman@user/berberman) |
| 00:07:30 | → | andreas303 joins (andreas303@is.drunk.and.ready-to.party) |
| 00:07:39 | → | lottaquestions_ joins (~nick@2607:fa49:503d:b200:19de:bb18:f703:bd80) |
| 00:07:52 | → | hexology joins (~hexology@user/hexology) |
| 00:07:54 | → | dispater joins (~dispater@mail.brprice.uk) |
| 00:08:05 | → | lockywolf joins (~lockywolf@public.lockywolf.net) |
| 00:08:06 | → | urdh joins (~urdh@user/urdh) |
| 00:08:19 | → | madnight joins (~madnight@static.59.103.201.195.clients.your-server.de) |
| 00:08:19 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-cee1-c701-fc94-6966.res6.spectrum.com) |
| 00:08:26 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 00:08:27 | → | V_ joins (~v@ircpuzzles/2022/april/winner/V) |
| 00:08:32 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:08:34 | → | KBar joins (kbar@is.drunk.and.ready-to.party) |
| 00:08:37 | → | cpli joins (77fc530071@2604:bf00:561:2000::252) |
| 00:08:38 | → | kraftwerk28 joins (~kraftwerk@164.92.219.160) |
| 00:08:42 | → | jludwig joins (~justin@li657-110.members.linode.com) |
| 00:08:46 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 00:08:47 | → | adium joins (adium@user/adium) |
| 00:08:59 | → | telser joins (~quassel@user/telser) |
| 00:08:59 | → | MonsoonSecrecy joins (f78c86e960@2604:bf00:561:2000::f99) |
| 00:09:06 | → | Ram-Z joins (~Ram-Z@li1814-254.members.linode.com) |
| 00:09:29 | → | probie joins (cc0b34050a@user/probie) |
| 00:09:33 | → | natto joins (~natto@129.154.243.159) |
| 00:10:05 | × | phma quits (~phma@2001:5b0:2172:8a38:8e65:9c01:9923:6726) (Ping timeout: 240 seconds) |
| 00:10:17 | → | Vq joins (~vq@90-225-115-195-no122.tbcn.telia.com) |
| 00:10:23 | → | Hecate joins (~mariposa@user/hecate) |
| 00:10:27 | → | ft joins (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 00:10:27 | → | cjay joins (cjay@nerdbox.nerd2nerd.org) |
| 00:10:27 | → | stilgart joins (~Christoph@chezlefab.net) |
| 00:10:29 | → | tureba joins (~tureba@tureba.org) |
| 00:10:48 | → | meejah joins (~meejah@rutas.meejah.ca) |
| 00:10:57 | → | jjhoo joins (~jahakala@user/jjhoo) |
| 00:11:08 | → | pounce joins (~pounce@user/cute/pounce) |
| 00:11:50 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 00:11:56 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 00:11:58 | → | ringo___ joins (~ringo@157.230.117.128) |
| 00:11:59 | → | andjjj23 joins (~irc@107.170.228.47) |
| 00:11:59 | → | drlkf joins (~drlkf@192.184.163.34.bc.googleusercontent.com) |
| 00:12:04 | → | s4msung joins (pcWAavz3xz@user/s4msung) |
| 00:12:38 | → | kmein joins (~weechat@user/kmein) |
| 00:12:40 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 00:14:52 | × | yushyin quits (RKULrKe6QT@mail.karif.server-speed.net) (Quit: WeeChat 4.0.4) |
| 00:15:02 | → | yushyin joins (9DYMgg4QG5@mail.karif.server-speed.net) |
| 00:17:44 | → | nyc joins (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) |
| 00:24:44 | × | esph quits (~weechat@user/esph) (Ping timeout: 248 seconds) |
| 00:25:34 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 00:29:39 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 245 seconds) |
| 00:30:43 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:30:43 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:30:43 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:35:04 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 245 seconds) |
| 00:39:59 | → | lilata joins (~lilata@static.5.54.140.128.clients.your-server.de) |
| 00:40:56 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 00:43:07 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 00:45:45 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:47:35 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 00:48:13 | → | leah2 joins (~leah@vuxu.org) |
| 00:48:43 | → | puke joins (~puke@user/puke) |
| 00:51:28 | × | Adran quits (~adran@botters/adran) (Quit: Este é o fim.) |
| 00:58:21 | → | Adran joins (~adran@botters/adran) |
| 01:04:47 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 01:08:50 | V_ | is now known as V |
| 01:13:58 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 01:16:41 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 01:19:31 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 01:27:09 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 01:29:11 | × | cptaffe quits (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:29:24 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:30:14 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 01:31:03 | → | leah2 joins (~leah@vuxu.org) |
| 01:36:37 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 01:37:00 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 01:37:51 | × | otto_s quits (~user@p5b044302.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 01:39:52 | → | otto_s joins (~user@p5b0443b5.dip0.t-ipconnect.de) |
| 01:39:56 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 272 seconds) |
| 01:54:07 | × | xff0x quits (~xff0x@2405:6580:b080:900:e0b7:57fc:bb76:e3a2) (Ping timeout: 260 seconds) |
| 02:01:41 | → | haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 02:09:14 | × | td_ quits (~td@i53870923.versanet.de) (Ping timeout: 245 seconds) |
| 02:11:15 | → | td_ joins (~td@i53870927.versanet.de) |
| 02:16:26 | → | leah2 joins (~leah@vuxu.org) |
| 02:19:45 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:19:45 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:19:45 | finn_elija | is now known as FinnElija |
| 02:22:27 | → | dbeard joins (~dbeard@97-120-206-43.ptld.qwest.net) |
| 02:26:27 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 02:33:36 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 02:36:01 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 255 seconds) |
| 02:38:01 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (Remote host closed the connection) |
| 02:38:04 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:38:16 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) |
| 02:40:55 | → | son0p joins (~ff@181.136.122.143) |
| 02:56:44 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds) |
| 02:58:29 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:01:05 | × | dbeard quits (~dbeard@97-120-206-43.ptld.qwest.net) (Quit: Konversation terminated!) |
| 03:24:09 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 03:25:29 | × | robertm quits (robertm@lattice.rojoma.com) (Quit: WeeChat 3.8) |
| 03:25:39 | → | robertm joins (robertm@lattice.rojoma.com) |
| 03:29:04 | → | sm joins (~sm@plaintextaccounting/sm) |
| 03:33:56 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 272 seconds) |
| 03:34:57 | → | leah2 joins (~leah@vuxu.org) |
| 03:35:05 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 03:42:15 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 03:54:23 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 03:55:37 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 03:57:22 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 03:58:56 | → | aforemny_ joins (~aforemny@2001:9e8:6cc7:ea00:62c9:f31e:c08b:d2de) |
| 03:58:57 | × | aforemny quits (~aforemny@2001:9e8:6cdf:2000:71a7:5333:c9dd:787) (Ping timeout: 260 seconds) |
| 04:00:14 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 04:01:01 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 04:01:24 | → | paddymahoney joins (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 04:05:07 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 04:05:47 | × | cptaffe quits (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:06:19 | × | todi quits (~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 04:06:55 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 04:08:43 | → | danza joins (~francesco@151.37.166.83) |
| 04:08:56 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:09:23 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 04:13:26 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds) |
| 04:14:05 | × | johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 04:15:20 | × | danza quits (~francesco@151.37.166.83) (Ping timeout: 255 seconds) |
| 04:23:20 | → | space100051 joins (~space1000@user/space1000) |
| 04:24:22 | space100051 | is now known as spacetaco |
| 04:26:03 | × | cptaffe quits (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:27:06 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 04:28:15 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 04:40:26 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 04:41:04 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 04:44:52 | × | spacetaco quits (~space1000@user/space1000) (Ping timeout: 272 seconds) |
| 04:48:09 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 04:52:31 | → | sm joins (~sm@plaintextaccounting/sm) |
| 04:52:42 | → | dhil joins (~dhil@2001:8e0:2014:3100:2a34:ac87:c9d1:ec13) |
| 04:53:17 | → | johnw joins (~johnw@69.62.242.138) |
| 04:55:43 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 04:57:11 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 260 seconds) |
| 04:59:47 | → | qqq joins (~qqq@92.43.167.61) |
| 05:01:22 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 05:02:06 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 05:02:36 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 05:03:05 | × | dhil quits (~dhil@2001:8e0:2014:3100:2a34:ac87:c9d1:ec13) (Ping timeout: 240 seconds) |
| 05:10:58 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f601c835531c1f16ce9.dip0.t-ipconnect.de) |
| 05:13:23 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 05:15:43 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 05:16:51 | → | dcoutts joins (~duncan@88.211.110.163) |
| 05:17:21 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 05:17:29 | → | danse-nr3 joins (~francesco@151.37.166.83) |
| 05:18:01 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:18:17 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 05:18:46 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 05:19:24 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:20:59 | → | ubert joins (~Thunderbi@77.119.205.80.wireless.dyn.drei.com) |
| 05:21:10 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 05:25:28 | → | michalz joins (~michalz@185.246.204.125) |
| 05:26:34 | → | sm joins (~sm@plaintextaccounting/sm) |
| 05:27:20 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds) |
| 05:31:05 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 05:33:46 | → | chomwitt joins (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 05:35:49 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 05:37:01 | → | todi joins (~todi@p4fd1a856.dip0.t-ipconnect.de) |
| 05:41:31 | × | todi quits (~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 05:43:37 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-cee1-c701-fc94-6966.res6.spectrum.com) (Quit: Leaving) |
| 05:44:01 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-288d-d437-33d3-7e96.res6.spectrum.com) |
| 05:46:51 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:50:01 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 05:54:30 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 05:56:53 | → | hiyori joins (~hiyori@user/hiyori) |
| 06:01:24 | → | CiaoSen joins (~Jura@2a05:5800:284:7a00:664b:f0ff:fe37:9ef) |
| 06:09:11 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 06:10:14 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 06:13:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:13:51 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 06:14:13 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 252 seconds) |
| 06:15:39 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 06:16:07 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 06:16:51 | <danse-nr3> | good morning all. I was thinking of a solution for safety with auto JSON deriving. When one uses auto deriving, changing a type can have far-reaching consequences. I guess a compact approach should use generic programming. |
| 06:16:52 | <danse-nr3> | The main problem that comes to mind is catching changes in `toJSON` results without skipping relevant values. This reminds me of quickcheck. Has anyone heard of an existing tool or ideas about a solution i could apply here? |
| 06:18:13 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 06:18:46 | → | sm joins (~sm@plaintextaccounting/sm) |
| 06:20:28 | × | lottaquestions_ quits (~nick@2607:fa49:503d:b200:19de:bb18:f703:bd80) (Remote host closed the connection) |
| 06:20:54 | → | lottaquestions_ joins (~nick@2607:fa49:503d:b200:88c7:72c9:dd7f:ebe3) |
| 06:23:40 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 272 seconds) |
| 06:25:24 | → | euleritian joins (~euleritia@77.22.252.18) |
| 06:26:12 | × | dcoutts quits (~duncan@88.211.110.163) (Remote host closed the connection) |
| 06:26:32 | → | dcoutts joins (~duncan@88.211.110.163) |
| 06:30:23 | → | hiyori99 joins (~hiyori@user/hiyori) |
| 06:30:25 | × | hiyori99 quits (~hiyori@user/hiyori) (Client Quit) |
| 06:32:37 | × | qqq quits (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 06:37:23 | → | qqq joins (~qqq@92.43.167.61) |
| 06:38:04 | → | todi joins (~todi@p4fd1a856.dip0.t-ipconnect.de) |
| 06:40:41 | × | dcoutts quits (~duncan@88.211.110.163) (Ping timeout: 255 seconds) |
| 06:42:56 | × | todi quits (~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 06:48:47 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds) |
| 06:49:10 | → | dcoutts joins (~duncan@sgyl-38-b2-v4wan-166939-cust201.vm6.cable.virginm.net) |
| 06:49:41 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 06:49:52 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:92af:21b8:afdb:6256) |
| 06:54:15 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 06:58:10 | → | vpan joins (~vpan@212.117.1.172) |
| 06:58:28 | vpan | is now known as Guest9411 |
| 06:59:03 | Guest9411 | is now known as vpan |
| 06:59:45 | → | misterfish joins (~misterfis@87.215.131.102) |
| 07:00:18 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:04:51 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 07:05:54 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:06:33 | × | vpan quits (~vpan@212.117.1.172) (Read error: Connection reset by peer) |
| 07:06:50 | → | vpan joins (~vpan@212.117.1.172) |
| 07:11:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:24:55 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (Remote host closed the connection) |
| 07:25:02 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:36:35 | → | sm joins (~sm@plaintextaccounting/sm) |
| 07:36:44 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 07:38:24 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 272 seconds) |
| 07:39:09 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 07:40:46 | → | Jackneill joins (~Jackneill@20014C4E1E0E96003FA457C0D681E6D4.dsl.pool.telekom.hu) |
| 07:41:34 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 272 seconds) |
| 07:44:00 | → | sm joins (~sm@plaintextaccounting/sm) |
| 07:45:03 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 07:47:21 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 07:47:27 | × | vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Ping timeout: 240 seconds) |
| 07:49:40 | × | dcoutts quits (~duncan@sgyl-38-b2-v4wan-166939-cust201.vm6.cable.virginm.net) (Ping timeout: 255 seconds) |
| 07:55:46 | × | ph88 quits (~ph88@ip5b406c07.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 07:56:54 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:57:18 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 07:58:45 | → | dcoutts joins (~duncan@pat-125-253.wlan.net.ed.ac.uk) |
| 07:59:16 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) |
| 08:03:15 | → | todi joins (~todi@p4fd1a856.dip0.t-ipconnect.de) |
| 08:03:51 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (Ping timeout: 260 seconds) |
| 08:05:10 | → | danse-nr3_ joins (~francesco@151.35.222.149) |
| 08:06:38 | × | euleritian quits (~euleritia@77.22.252.18) (Ping timeout: 255 seconds) |
| 08:07:40 | × | todi quits (~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 08:07:56 | × | danse-nr3 quits (~francesco@151.37.166.83) (Ping timeout: 260 seconds) |
| 08:10:07 | → | sm joins (~sm@plaintextaccounting/sm) |
| 08:14:49 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:15:23 | → | todi joins (~todi@p4fd1a856.dip0.t-ipconnect.de) |
| 08:18:19 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 08:18:46 | → | phma joins (phma@2001:5b0:211b:87c8:28d4:e22f:2ee:7f96) |
| 08:22:44 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 08:25:04 | × | codedmart quits (~codedmart@li335-49.members.linode.com) (Ping timeout: 245 seconds) |
| 08:25:21 | → | codedmart joins (~codedmart@li335-49.members.linode.com) |
| 08:30:42 | → | privacy joins (~privacy@user/privacy) |
| 08:30:55 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 08:31:10 | → | jinsun joins (~jinsun@user/jinsun) |
| 08:32:47 | × | aku quits (~aku@65.108.245.241) (Ping timeout: 258 seconds) |
| 08:32:55 | → | aku joins (~aku@65.108.245.241) |
| 08:34:23 | → | renpose joins (~renpose@user/renpose) |
| 08:36:12 | × | solution quits (~solution@92-249-141-207.pool.digikabel.hu) (K-Lined) |
| 08:38:01 | → | solution joins (~solution@94-21-82-218.pool.digikabel.hu) |
| 08:38:24 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 08:40:06 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 08:40:31 | × | TheCoffeMaker_ quits (~TheCoffeM@201.235.1.143) (Ping timeout: 252 seconds) |
| 08:40:53 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 08:42:46 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 08:42:49 | → | sm joins (~sm@plaintextaccounting/sm) |
| 08:43:16 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 08:46:04 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:52:16 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) |
| 09:03:11 | → | notzmv joins (~zmv@user/notzmv) |
| 09:15:03 | × | ft quits (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:17:29 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:17:35 | × | danse-nr3_ quits (~francesco@151.35.222.149) (Remote host closed the connection) |
| 09:17:55 | → | danse-nr3_ joins (~francesco@151.35.222.149) |
| 09:18:38 | <lyxia> | danse-nr3_: "don't use deriving" is a possible solution there |
| 09:22:41 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 09:29:03 | <dminuoso> | Indeed, this is one of those downsides of typeclass based de-/serialization approaches. |
| 09:29:22 | <dminuoso> | Changing types will compile but alter the behavior, which runs opposite of all the type safety we tend to embrace in Haskell. |
| 09:30:15 | <dminuoso> | Typeclasses are the Haskell way of implicit coercions. |
| 09:32:58 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:46:05 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:52:43 | <haskellbridge> | <tewuzij> What would deriving do? |
| 09:54:36 | → | subhuman joins (~user@user/subhuman) |
| 09:55:09 | ← | subhuman parts (~user@user/subhuman) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 09:56:43 | <danse-nr3_> | they refer to what i asked some hours ago tewuzij: https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1094038#trid1094038 |
| 09:57:02 | → | califax joins (~califax@user/califx) |
| 10:00:54 | × | chomwitt quits (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 272 seconds) |
| 10:03:42 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:16:06 | × | CiaoSen quits (~Jura@2a05:5800:284:7a00:664b:f0ff:fe37:9ef) (Ping timeout: 272 seconds) |
| 10:17:35 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 255 seconds) |
| 10:21:30 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 10:22:30 | → | jinsun joins (~jinsun@user/jinsun) |
| 10:31:58 | → | __monty__ joins (~toonn@user/toonn) |
| 10:34:54 | aforemny_ | is now known as aforemny |
| 10:35:12 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 10:49:29 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 10:50:41 | → | sm joins (~sm@plaintextaccounting/sm) |
| 10:54:16 | × | privacy quits (~privacy@user/privacy) (Remote host closed the connection) |
| 10:56:40 | → | cpressey joins (~cpressey@host-92-10-148-184.as13285.net) |
| 11:03:10 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 11:03:51 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 11:05:53 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 11:11:34 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 11:13:23 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection) |
| 11:15:58 | → | hseg joins (~gesh@77.137.68.224) |
| 11:16:25 | × | qqq quits (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 11:20:35 | × | danse-nr3_ quits (~francesco@151.35.222.149) (Ping timeout: 255 seconds) |
| 11:21:12 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 11:22:11 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 11:22:48 | → | infinity0 joins (~infinity0@pwned.gg) |
| 11:23:35 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 11:24:35 | → | poscat joins (~poscat@2a09:bac1:19a0:58::1d3:53) |
| 11:25:16 | → | danse-nr3_ joins (~francesco@151.35.222.149) |
| 11:29:05 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f601c835531c1f16ce9.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 11:32:10 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 11:33:33 | → | sm joins (~sm@plaintextaccounting/sm) |
| 11:33:54 | × | poscat quits (~poscat@2a09:bac1:19a0:58::1d3:53) (Remote host closed the connection) |
| 11:34:14 | → | poscat joins (~poscat@2a09:bac5:1f4e:1250::1d3:53) |
| 11:34:23 | → | bontaq joins (~user@ool-45707d2c.dyn.optonline.net) |
| 11:35:24 | → | billchenchina joins (~billchenc@117.136.52.66) |
| 11:37:21 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 11:39:15 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 11:45:23 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 11:49:56 | → | sm joins (~sm@plaintextaccounting/sm) |
| 11:51:32 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f60b8a25095474e5a96.dip0.t-ipconnect.de) |
| 11:52:07 | → | chomwitt joins (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 11:58:56 | × | dcoutts quits (~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 260 seconds) |
| 12:03:01 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 12:05:01 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 12:05:17 | × | cpressey quits (~cpressey@host-92-10-148-184.as13285.net) (Quit: Client closed) |
| 12:05:18 | → | danse-nr3__ joins (~francesco@151.37.139.244) |
| 12:05:37 | × | danse-nr3_ quits (~francesco@151.35.222.149) (Read error: Connection reset by peer) |
| 12:07:00 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 12:08:35 | ← | poscat parts (~poscat@2a09:bac5:1f4e:1250::1d3:53) (Leaving) |
| 12:10:23 | → | poscat joins (~poscat@2a09:bac5:1f4a:1250::1d3:53) |
| 12:10:32 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 12:10:40 | × | danse-nr3__ quits (~francesco@151.37.139.244) (Ping timeout: 255 seconds) |
| 12:11:05 | × | CAT_S quits (apic@brezn3.muc.ccc.de) (Ping timeout: 240 seconds) |
| 12:11:15 | × | renpose quits (~renpose@user/renpose) (Quit: Client closed) |
| 12:11:51 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 12:14:00 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 12:26:49 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 12:26:57 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 12:30:55 | × | billchenchina quits (~billchenc@117.136.52.66) (Ping timeout: 255 seconds) |
| 12:31:23 | → | danse-nr3__ joins (~francesco@151.37.139.244) |
| 12:35:53 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:38:07 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 12:40:56 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 12:41:25 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 12:47:06 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 12:47:30 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 12:56:40 | → | cpressey joins (~cpressey@host-92-10-148-184.as13285.net) |
| 13:03:09 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 13:04:32 | × | CAT_S quits (apic@brezn3.muc.ccc.de) (Ping timeout: 255 seconds) |
| 13:07:15 | → | CiaoSen joins (~Jura@2a05:5800:284:7a00:664b:f0ff:fe37:9ef) |
| 13:08:24 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 13:08:44 | → | EvanR joins (~EvanR@user/evanr) |
| 13:09:13 | → | billchenchina joins (~billchenc@117.136.52.66) |
| 13:10:16 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 272 seconds) |
| 13:17:39 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 13:18:02 | × | billchenchina quits (~billchenc@117.136.52.66) (Ping timeout: 255 seconds) |
| 13:18:56 | → | billchenchina joins (~billchenc@2a0c:b641:7a2:230::10) |
| 13:19:15 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 13:22:49 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:22:49 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:22:49 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:24:36 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 13:25:27 | → | dcoutts joins (~duncan@pat-125-253.wlan.net.ed.ac.uk) |
| 13:28:23 | → | billchenchina- joins (~billchenc@171.113.95.38) |
| 13:29:16 | × | billchenchina- quits (~billchenc@171.113.95.38) (Max SendQ exceeded) |
| 13:30:22 | → | billchenchina- joins (~billchenc@171.113.147.192) |
| 13:31:06 | × | billchenchina quits (~billchenc@2a0c:b641:7a2:230::10) (Ping timeout: 260 seconds) |
| 13:32:09 | × | billchenchina- quits (~billchenc@171.113.147.192) (Max SendQ exceeded) |
| 13:32:28 | × | poscat quits (~poscat@2a09:bac5:1f4a:1250::1d3:53) (Quit: Bye) |
| 13:32:50 | → | poscat joins (~poscat@2a09:bac5:1f4a:1250::1d3:53) |
| 13:33:53 | → | billchenchina- joins (~billchenc@171.113.147.192) |
| 13:34:40 | → | holsta joins (~holsta@user/holsta) |
| 13:34:46 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 13:35:08 | × | hseg quits (~gesh@77.137.68.224) (Ping timeout: 255 seconds) |
| 13:35:08 | → | tomku joins (~tomku@user/tomku) |
| 13:36:54 | <cpressey> | Hi, I have a question about free monads. I understand the Maybe monad is the Free monad over the functor Unit (data Unit a = MkUnit). I can see how that is, I think. But. What functor is the Either monad the free monad over? I have a much harder time seeing that. |
| 13:37:36 | → | gatekempt joins (~gatekempt@user/gatekempt) |
| 13:37:48 | <dolio> | Const e |
| 13:41:25 | <cpressey> | Thanks dolio. |
| 13:42:47 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 13:43:01 | × | Nixkernal quits (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 252 seconds) |
| 13:46:05 | <holsta> | Hi, I am totally new to Haskell and I am looking at hackage for postgrest. It says version 9.0.1, but on GitHub there is a version 11.2.0. Can I install directly from GitHub with, say, cabal? |
| 13:46:31 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 13:46:48 | → | mmhat joins (~mmh@p200300f1c74e6fd2ee086bfffe095315.dip0.t-ipconnect.de) |
| 13:48:58 | <mauke> | apparently with cabal.project: https://cabal.readthedocs.io/en/stable/cabal-project.html#specifying-packages-from-remote-version-control-locations |
| 13:49:49 | <holsta> | Thank you mauke. Do you know if it's normal in the Haskell world that new versions that not published to hackage? |
| 13:50:50 | <mauke> | no, that seems weird |
| 13:51:19 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 13:52:53 | <haskellbridge> | <sm> most reputable packages will have their latest release on hackage. There are some exceptions |
| 13:53:22 | <haskellbridge> | <sm> latest stable/recommended release |
| 13:53:45 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 13:54:34 | → | hiyori joins (~hiyori@user/hiyori) |
| 13:55:01 | <holsta> | Thank you sm. Turns out PostgREST has an open issue to automate hackage releases. Ha. |
| 13:55:29 | <int-e> | holsta: but see the final comment there |
| 13:55:53 | <holsta> | Looks blocked, yes. |
| 13:56:23 | <int-e> | See also #2422 I guess which indicates that they may not be eager to fix this any time soon, or at all: https://github.com/PostgREST/postgrest/issues/2422 |
| 13:57:06 | → | sm joins (~sm@plaintextaccounting/sm) |
| 13:57:56 | <holsta> | Maybe not the ideal project to throw myself at as a Haskell new-person, then. |
| 13:59:01 | × | gatekempt quits (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:59:14 | → | xff0x joins (~xff0x@2405:6580:b080:900:99ba:aaa8:54a8:3a75) |
| 14:01:39 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 14:01:41 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 255 seconds) |
| 14:02:14 | → | hiyori joins (~hiyori@user/hiyori) |
| 14:03:59 | <danse-nr3__> | postgrest is written in haskell, but it is not a project that requires haskell knowledge to be used. The readme shows that they expect users to download a binary and run it, holsta. So in any case, lack of haskell knowledge should not be a blocker there |
| 14:05:32 | <holsta> | danse-nr3__: Right, I wanted to port it to OpenBSD. |
| 14:05:58 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 14:06:36 | × | poscat quits (~poscat@2a09:bac5:1f4a:1250::1d3:53) (Ping timeout: 240 seconds) |
| 14:06:36 | <holsta> | But I just found some cabal v2-build tips. I'll try that. |
| 14:06:45 | <holsta> | Thank you all for your input so far. Very kind of you. |
| 14:09:15 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 14:09:20 | <danse-nr3__> | thanks to you for trying a port. Are you familiar with nix? Personally i gave up with package managers time ago, and currently i try to use platform-independent dependency tracking |
| 14:10:04 | <holsta> | I have seen one other OpenBSD person talk about Nix, but I have zero knowledge otherwise. |
| 14:12:12 | → | poscat joins (~poscat@2a09:bac5:1f4f:1250::1d3:53) |
| 14:16:15 | × | CAT_S quits (apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer) |
| 14:19:19 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 14:19:57 | → | bontaq` joins (~user@165.1.205.230) |
| 14:21:29 | × | bontaq quits (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 14:23:06 | × | stites quits (~stites@130.44.147.204) (Ping timeout: 260 seconds) |
| 14:23:14 | → | stites joins (~stites@2607:fb91:de3:8319:b090:fbd:4350:8f88) |
| 14:25:49 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 14:32:06 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 14:38:22 | × | stites quits (~stites@2607:fb91:de3:8319:b090:fbd:4350:8f88) (Read error: Connection reset by peer) |
| 14:38:42 | → | stites joins (~stites@155.33.133.38) |
| 14:39:26 | → | vglfr joins (~vglfr@188.239.233.89) |
| 14:39:27 | × | stites quits (~stites@155.33.133.38) (Read error: Connection reset by peer) |
| 14:40:09 | → | bontaq`` joins (~user@ool-45707d2c.dyn.optonline.net) |
| 14:40:19 | → | stites joins (~stites@155.33.133.38) |
| 14:41:44 | × | bontaq` quits (~user@165.1.205.230) (Ping timeout: 255 seconds) |
| 14:43:47 | × | johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 14:46:25 | → | shapr joins (~user@2600:1700:c640:3100:1e6f:a11f:46ec:704a) |
| 14:49:16 | × | poscat quits (~poscat@2a09:bac5:1f4f:1250::1d3:53) (Ping timeout: 260 seconds) |
| 14:50:29 | → | poscat joins (~poscat@2a09:bac5:1f4c:1250::1d3:53) |
| 14:55:24 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 14:57:05 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 14:57:17 | × | poscat quits (~poscat@2a09:bac5:1f4c:1250::1d3:53) (Remote host closed the connection) |
| 14:57:38 | → | poscat joins (~poscat@2a09:bac5:1f4a:1250::1d3:53) |
| 15:01:42 | → | Nixkernal joins (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 15:02:38 | → | johnw joins (~johnw@69.62.242.138) |
| 15:04:41 | × | danse-nr3__ quits (~francesco@151.37.139.244) (Ping timeout: 255 seconds) |
| 15:09:58 | × | poscat quits (~poscat@2a09:bac5:1f4a:1250::1d3:53) (Ping timeout: 272 seconds) |
| 15:09:58 | × | CiaoSen quits (~Jura@2a05:5800:284:7a00:664b:f0ff:fe37:9ef) (Ping timeout: 272 seconds) |
| 15:11:49 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 15:12:49 | → | poscat joins (~poscat@2a09:bac5:1f4b:1250::1d3:53) |
| 15:19:11 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:92af:21b8:afdb:6256) (Quit: WeeChat 2.8) |
| 15:20:41 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:22:31 | × | chomwitt quits (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 15:23:25 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (Read error: Connection reset by peer) |
| 15:23:27 | → | gatekempt joins (~gatekempt@user/gatekempt) |
| 15:23:43 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) |
| 15:26:03 | <absence> | OverloadedRecordDot doesn't seem to work with fields that have types like "forall m. MonadIO m => m ()", whereas "IO ()" works fine. The error is "Could not deduce (HasField "fieldName" TypeName (m ()))" etc. Is there a trick to make it work? |
| 15:30:04 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) |
| 15:32:49 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 15:33:47 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 15:34:43 | × | cpressey quits (~cpressey@host-92-10-148-184.as13285.net) (Ping timeout: 245 seconds) |
| 15:35:04 | × | alphacentauri quits (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Ping timeout: 245 seconds) |
| 15:35:26 | <geekosaur> | "If a record field has a polymorphic type (and hence the selector function is higher-rank), the corresponding HasField constraint will not be solved, because doing so would violate the functional dependency on HasField and/or require impredicativity." |
| 15:35:32 | → | alphacentauri joins (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 15:36:01 | <geekosaur> | you might be able to write the instance manually with `ImpredicativeTypes` |
| 15:36:14 | → | danse-nr3__ joins (~francesco@151.37.139.244) |
| 15:36:18 | <[Leary]> | You can't. It doesn't apply to constraints. |
| 15:36:39 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 15:37:55 | → | cpressey joins (~cpressey@host-92-10-148-184.as13285.net) |
| 15:39:16 | <absence> | Ugh, have I run into this? https://gitlab.haskell.org/ghc/ghc/-/issues/20188 |
| 15:42:33 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 15:43:44 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 15:43:56 | <dolio> | Is this only a problem because the field type is a type class parameter? If it were a family/associated type instead, would it just work? |
| 15:44:11 | <absence> | That makes NoFieldSelectors a bit less attractive, but oh well. Thanks! |
| 15:45:39 | <dolio> | I.E. it's very awkward to make type class parameters impredicative, because they're eligible to be case analyzed. But this one needn't even be a parameter, it just is one because someone decided to use fundeps. |
| 15:45:45 | → | chomwitt joins (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 15:45:56 | × | danse-nr3__ quits (~francesco@151.37.139.244) (Read error: Connection reset by peer) |
| 15:48:53 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 15:49:02 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 15:49:29 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 15:49:39 | × | Athas quits (athas@sigkill.dk) (Ping timeout: 245 seconds) |
| 15:51:07 | → | Athas joins (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) |
| 15:52:16 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 15:52:35 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 15:53:18 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 15:54:56 | × | poscat quits (~poscat@2a09:bac5:1f4b:1250::1d3:53) (Ping timeout: 272 seconds) |
| 15:55:34 | × | bjs quits (sid190364@user/bjs) (Ping timeout: 252 seconds) |
| 15:55:44 | → | bjs joins (sid190364@user/bjs) |
| 15:55:59 | × | euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 15:59:27 | → | poscat joins (~poscat@104.28.208.148) |
| 16:00:11 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 16:00:12 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection) |
| 16:00:36 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 16:02:54 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-190.cust.tzulo.com) |
| 16:03:30 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:03:36 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:03:48 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 16:04:40 | × | CAT_S quits (apic@brezn3.muc.ccc.de) (Ping timeout: 255 seconds) |
| 16:09:02 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 16:09:47 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:12:06 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 16:14:10 | × | mmhat quits (~mmh@p200300f1c74e6fd2ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.5) |
| 16:14:47 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 16:15:44 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 16:15:51 | → | dhmltb^ joins (~cd@c-66-56-7-24.hsd1.ga.comcast.net) |
| 16:16:41 | × | stites quits (~stites@155.33.133.38) (Ping timeout: 255 seconds) |
| 16:16:51 | → | stites joins (~stites@155.33.133.38) |
| 16:17:56 | × | poscat quits (~poscat@104.28.208.148) (Ping timeout: 260 seconds) |
| 16:18:06 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 16:18:22 | → | euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
| 16:19:02 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:19:43 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:23:17 | → | poscat joins (~poscat@2a09:bac5:1f4a:1250::1d3:53) |
| 16:24:14 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 16:25:47 | → | dhil joins (~dhil@2001:8e0:2014:3100:29e3:8177:21fe:94b3) |
| 16:28:31 | × | dcoutts quits (~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 255 seconds) |
| 16:29:04 | × | fr33domlover quits (~fr33domlo@towards.vision) (Remote host closed the connection) |
| 16:29:16 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:29:28 | × | stites quits (~stites@155.33.133.38) (Read error: Connection reset by peer) |
| 16:31:22 | → | stites joins (~stites@155.33.133.38) |
| 16:31:26 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 16:33:03 | × | gatekempt quits (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:33:09 | × | califax quits (~califax@user/califx) (Ping timeout: 252 seconds) |
| 16:33:21 | → | califax_ joins (~califax@user/califx) |
| 16:33:31 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 16:33:53 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 16:34:13 | → | gatekempt joins (~gatekempt@user/gatekempt) |
| 16:34:40 | califax_ | is now known as califax |
| 16:35:36 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d6a:c0d7:735f:9ca6) (Remote host closed the connection) |
| 16:35:53 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 16:36:03 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 16:39:32 | × | cpressey quits (~cpressey@host-92-10-148-184.as13285.net) (Quit: Client closed) |
| 16:41:22 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 16:41:54 | → | dcoutts joins (~duncan@88.211.110.163) |
| 16:44:14 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 16:46:14 | × | dcoutts quits (~duncan@88.211.110.163) (Remote host closed the connection) |
| 16:46:37 | → | dcoutts joins (~duncan@88.211.110.163) |
| 16:49:31 | → | drdo0 joins (~drdo@bl8-38-186.dsl.telepac.pt) |
| 16:51:41 | × | drdo quits (~drdo@bl8-38-186.dsl.telepac.pt) (Ping timeout: 255 seconds) |
| 16:51:41 | drdo0 | is now known as drdo |
| 16:51:47 | × | dcoutts quits (~duncan@88.211.110.163) (Ping timeout: 255 seconds) |
| 16:52:44 | → | danza joins (~francesco@151.43.91.146) |
| 16:54:37 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-190.cust.tzulo.com) (Quit: Leaving) |
| 17:01:41 | → | space100084 joins (~space1000@user/space1000) |
| 17:04:13 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 17:09:53 | × | CAT_S quits (apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer) |
| 17:10:48 | → | m21it joins (~m21it@2800:ac:8022:da4a:8407:b9ec:1dda:f545) |
| 17:12:46 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 17:13:39 | <m21it> | Hello! I have a question about GHCJS. The fact it does not work with non-fully native Haskell libs where is dependency on C code is the fundamental limitation which is impossible or very hard to solve, or it was just not implemented? There are some C -> JS transpilers like emscripten and maybe others, why it was not used? I'm noob in C so I might |
| 17:13:40 | <m21it> | ask some obvious things. |
| 17:18:54 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 17:19:35 | → | notzmv joins (~zmv@user/notzmv) |
| 17:21:01 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 17:22:02 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 17:22:02 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Quit: Leaving) |
| 17:22:39 | <exarkun> | m21it: FYI, a JS backend has been integrated in to ghc as of 9.6 and one supposes may superseded ghcjs in the fullness of time. Also, a wasm backend arrived at roughly the same time. |
| 17:22:58 | × | danza quits (~francesco@151.43.91.146) (Ping timeout: 272 seconds) |
| 17:23:07 | <exarkun> | m21it: The wasm support might be more interesting if you have native-code libraries you want to integrate. |
| 17:23:27 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:23:42 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:3d47:18f4:8e37:c1a4) |
| 17:25:21 | <EvanR> | you got your native-code libraries, then you have your native haskell libraries, which all compiles to native wasm so it runs natively on the browser |
| 17:25:59 | × | space100084 quits (~space1000@user/space1000) (Ping timeout: 255 seconds) |
| 17:26:05 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 17:26:07 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 17:26:14 | <m21it> | Are there some batteries-included libs for it? Like Miso for GHCJS |
| 17:29:40 | <exarkun> | It's a very fresh space. |
| 17:29:49 | <exarkun> | The batteries are in the mail. |
| 17:32:59 | <m21it> | I guess I'll just wait for the batteries delivery. Thanks! |
| 17:37:35 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 17:45:14 | <monochrom> | Unpopular opinion: I hate the "batteries" analogy. |
| 17:46:31 | <haskellbridge> | <jade> I personally plug my libraries directly into the outlet |
| 17:46:52 | <dolio> | Is it worse than "daily drive" though? |
| 17:47:06 | → | ski joins (~ski@88.131.7.247) |
| 17:47:40 | × | dhil quits (~dhil@2001:8e0:2014:3100:29e3:8177:21fe:94b3) (Remote host closed the connection) |
| 17:47:46 | <monochrom> | I don't know "daily drive". But if you also bring up the "bare metal" analogy, that's as bad, too. |
| 17:48:03 | <monochrom> | Unpopular opinion: I hate most analogies from programmers! |
| 17:48:06 | <EvanR> | wasm runs on the bare browser |
| 17:48:21 | <EvanR> | natively |
| 17:48:29 | <haskellbridge> | <{NOPINGNICK}> Wait, I can write the messages to IRC directly from the element client? Does it work? |
| 17:48:58 | <EvanR> | alan turing's machine runs on your bare brain |
| 17:49:02 | <dolio> | I don't have the resources to program on bare metal, because I'm programming in the trenches. |
| 17:49:10 | <monochrom> | I think yes. I see: <haskellbridge> <{NOPINGNICK}> Wait, I can write the messages to IRC directly from the element client? Does it work? |
| 17:49:30 | <EvanR> | I also see that |
| 17:49:40 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:49:51 | <haskellbridge> | <{NOPINGNICK}> Yeah, seems working. Nice. Strange nickname, but it's ok. Should be <21it> |
| 17:50:00 | <monochrom> | You can also write message to IRC by direct nc and /privmsg #haskell hi |
| 17:50:16 | → | billb joins (~billb@cpe-66-8-173-22.hawaii.res.rr.com) |
| 17:50:17 | <monochrom> | err without the slash. privmsg #haskell hi |
| 17:50:24 | <EvanR> | you'll have to negotiate bare TLS auth |
| 17:50:33 | <monochrom> | And yes, the command for public channel messages is privmsg >:) |
| 17:51:11 | <monochrom> | I don't use TLS. But you could insert stunnel somewhere... |
| 17:51:59 | × | m21it quits (~m21it@2800:ac:8022:da4a:8407:b9ec:1dda:f545) (Quit: Client closed) |
| 17:52:40 | <monochrom> | But on the vein on getting more bare... The TV series Heroes had someone whose brain could do wifi directly... |
| 17:54:02 | <EvanR> | if code runs on bare metal, and the internet is on bare fiber, what is wifi on |
| 17:54:16 | <EvanR> | bare ether? |
| 17:54:19 | <monochrom> | thin air? :) |
| 17:54:50 | <monochrom> | or bare photon field, if you're into QFT |
| 17:55:47 | <EvanR> | I guess ethernet predates wifi on bare ether |
| 17:55:56 | <monochrom> | heh |
| 17:56:44 | <monochrom> | both chips and fibre use silicon. |
| 17:58:10 | <EvanR> | bare metalloid |
| 18:01:02 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 18:02:56 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
| 18:03:10 | → | danza joins (~francesco@151.43.91.146) |
| 18:04:42 | × | danza quits (~francesco@151.43.91.146) (Remote host closed the connection) |
| 18:07:03 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 18:10:18 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 18:11:05 | → | danse-nr3 joins (~francesco@151.43.91.146) |
| 18:12:10 | × | ski quits (~ski@88.131.7.247) (Ping timeout: 255 seconds) |
| 18:13:51 | → | ski joins (~ski@88.131.7.247) |
| 18:21:10 | → | hiyori joins (~hiyori@user/hiyori) |
| 18:26:00 | × | CAT_S quits (apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer) |
| 18:30:03 | × | danse-nr3 quits (~francesco@151.43.91.146) (Remote host closed the connection) |
| 18:32:17 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 18:32:18 | → | danza joins (~francesco@151.43.91.146) |
| 18:33:03 | × | g quits (g@libera/staff/glguy) (Remote host closed the connection) |
| 18:33:07 | → | g joins (g@libera/staff/glguy) |
| 18:34:17 | × | poscat quits (~poscat@2a09:bac5:1f4a:1250::1d3:53) (Remote host closed the connection) |
| 18:36:23 | × | g quits (g@libera/staff/glguy) (Remote host closed the connection) |
| 18:36:26 | → | g joins (g@libera/staff/glguy) |
| 18:36:39 | → | poscat joins (~poscat@104.28.208.148) |
| 18:37:51 | × | hiyori quits (~hiyori@user/hiyori) (Quit: Client closed) |
| 18:38:34 | × | danza quits (~francesco@151.43.91.146) (Ping timeout: 255 seconds) |
| 18:40:14 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 18:40:56 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 18:41:00 | → | cheater_ joins (~Username@user/cheater) |
| 18:41:00 | cheater_ | is now known as cheater |
| 18:45:54 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 18:47:01 | → | qqq joins (~qqq@92.43.167.61) |
| 18:47:31 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 18:48:55 | × | CAT_S quits (apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer) |
| 19:03:32 | × | vglfr quits (~vglfr@188.239.233.89) (Read error: Connection reset by peer) |
| 19:03:52 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 19:05:41 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 19:06:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:07:10 | × | poscat quits (~poscat@104.28.208.148) (Remote host closed the connection) |
| 19:07:31 | → | poscat joins (~poscat@104.28.208.152) |
| 19:20:08 | <exarkun> | `newtype AES = AES ScrubbedBytes deriving newtype (ByteArrayAccess)`, `newtype AES128 = AES128 AES deriving newtype (ByteArrayAccess)` - why isn't this a valid way to say "make an AES128 ByteArrayAccess instance that is exactly the same as the transitively contained ScrubbedBytes' instance"? |
| 19:20:37 | <exarkun> | (it type checks fine, it just has the wrong behavior) |
| 19:22:10 | → | Pickchea joins (~private@user/pickchea) |
| 19:25:23 | × | phma quits (phma@2001:5b0:211b:87c8:28d4:e22f:2ee:7f96) (Read error: Connection reset by peer) |
| 19:26:32 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection) |
| 19:26:41 | <monochrom> | Hrm interesting. But that's not what I observed with newtype I1 = I1 Int deriving newtype Show; newtype I2 = I2 I1 deriving newtype Show |
| 19:26:43 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 19:27:04 | <monochrom> | show (I2 (I1 5)) == show 5 |
| 19:27:11 | <exarkun> | Hm :/ |
| 19:28:25 | × | gatekempt quits (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:29:27 | <exarkun> | oh noes am I making the exact same mistake again |
| 19:29:34 | <exarkun> | I think I am |
| 19:29:41 | <monochrom> | What is that mistake? |
| 19:29:51 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 19:30:16 | <exarkun> | assuming that just because I supplied a ByteString with interpretation A, the ByteString I find inside the resulting structure also has a meaningful interpretation under A |
| 19:30:32 | <exarkun> | which is a mistake I made back in march or so |
| 19:30:36 | <exarkun> | with this same library |
| 19:30:37 | <exarkun> | and this same type |
| 19:31:12 | <exarkun> | so the derived ByteArrayAccess is working fine, I'm just wrong in my expectation about the bytes it reveals |
| 19:32:20 | <exarkun> | and I filed an issue with cryptonite at the time and then had my mistake explained to me |
| 19:32:29 | <monochrom> | haha |
| 19:32:35 | <exarkun> | which I _thought_ I kind of remembered |
| 19:32:43 | <exarkun> | but when I looked in the _crypton_ issue tracker I didn't find it |
| 19:32:45 | <monochrom> | This is why an independent controlled experiment is so important. |
| 19:32:47 | <exarkun> | so I filed it again |
| 19:33:04 | <exarkun> | also, caves for crawling deep inside of. |
| 19:35:10 | × | CAT_S quits (apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer) |
| 19:38:39 | × | myxos quits (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 19:38:54 | → | myxos joins (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 19:39:11 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 260 seconds) |
| 19:39:22 | → | todi1 joins (~todi@p4fd1af6e.dip0.t-ipconnect.de) |
| 19:39:28 | → | vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 19:39:46 | × | todi quits (~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 19:41:12 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 19:41:44 | todi1 | is now known as todi |
| 19:45:11 | <haskellbridge> | <Inst> ummm, could I ask a question about getArgs? |
| 19:45:26 | <mauke> | don't ask to ask, just ask |
| 19:45:33 | <haskellbridge> | <Inst> actually, don't ask to ask, just ask |
| 19:45:36 | <haskellbridge> | <Inst> whoops, you got to this first |
| 19:45:37 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 19:45:37 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 19:45:37 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:45:39 | <haskellbridge> | <Inst> i'm playing around with getArgs |
| 19:45:43 | <haskellbridge> | <Inst> is getArgs at all eccentric? |
| 19:45:55 | <haskellbridge> | <Inst> for instance, ./test "foo" """" |
| 19:46:00 | <haskellbridge> | <Inst> on main = print =<< getArgs |
| 19:46:09 | <haskellbridge> | <Inst> ["foo",""] |
| 19:46:15 | <exarkun> | What shell are you running your test from? |
| 19:46:19 | <mauke> | eccentric in what sense? |
| 19:46:20 | <haskellbridge> | <Inst> bash |
| 19:46:29 | <exarkun> | bash parses argv into a list of strings |
| 19:46:36 | <mauke> | then """" is a weird way to write an empty string |
| 19:46:37 | <exarkun> | getArgs just reflects the result of that parsing |
| 19:46:50 | <haskellbridge> | <Inst> ah, so it's a property of the shell, not getArgs? |
| 19:46:56 | <exarkun> | (rather: bash parses the command line into the argv) |
| 19:46:59 | <haskellbridge> | <Inst> i'm just trying to insert erroneous data |
| 19:46:59 | <exarkun> | yes, exactly. |
| 19:47:17 | <mauke> | what result did you expect? |
| 19:47:21 | <exarkun> | it might be different on Windows, where command line parsing has different rules, but I'm not sure what Haskell / ghc do there. |
| 19:47:58 | <haskellbridge> | <Inst> ["foo", "\"\"\"\""] or something like that |
| 19:48:22 | <mauke> | then you need to write something like '""""' or \"\"\"\" in bash |
| 19:49:20 | <mauke> | although it would be weird for bash to strip the quotes off "foo" but retain them in """" |
| 19:49:39 | ← | pony parts (sid524992@smol/hors) () |
| 19:51:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:3d47:18f4:8e37:c1a4) (Remote host closed the connection) |
| 19:51:48 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 19:53:58 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 19:54:25 | → | phma joins (~phma@2001:5b0:212a:9b88:8859:52af:681:ff74) |
| 19:56:32 | → | dcoutts joins (~duncan@88.211.110.163) |
| 19:56:49 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 19:58:33 | <haskellbridge> | <Inst> hmmm, wanna see some really obscure behavior? |
| 19:58:34 | <haskellbridge> | <Inst> try this |
| 19:58:52 | <haskellbridge> | <Inst> `cabal build @3` |
| 20:03:05 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 20:05:40 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:06:03 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 20:07:40 | × | ubert quits (~Thunderbi@77.119.205.80.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 20:09:31 | × | ski quits (~ski@88.131.7.247) (Ping timeout: 260 seconds) |
| 20:11:05 | × | poscat quits (~poscat@104.28.208.152) (Ping timeout: 240 seconds) |
| 20:15:14 | × | Jackneill quits (~Jackneill@20014C4E1E0E96003FA457C0D681E6D4.dsl.pool.telekom.hu) (Ping timeout: 272 seconds) |
| 20:15:40 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 20:16:10 | → | haritzondo joins (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 20:16:15 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 240 seconds) |
| 20:16:24 | × | michalz quits (~michalz@185.246.204.125) (Remote host closed the connection) |
| 20:16:56 | → | poscat joins (~poscat@2a09:bac5:1f4f:1250::1d3:53) |
| 20:24:02 | haritzondo | is now known as haritz |
| 20:24:02 | × | haritz quits (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 20:24:02 | → | haritz joins (~hrtz@user/haritz) |
| 20:27:44 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:acc4:36f:2bc2:f494) |
| 20:32:38 | × | poscat quits (~poscat@2a09:bac5:1f4f:1250::1d3:53) (Ping timeout: 255 seconds) |
| 20:35:37 | → | mrmr15 joins (~mrmr@user/mrmr) |
| 20:36:27 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:37:18 | → | poscat joins (~poscat@2a09:bac5:1f48:1250::1d3:53) |
| 20:41:00 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:52:41 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 20:53:01 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 20:55:08 | × | poscat quits (~poscat@2a09:bac5:1f48:1250::1d3:53) (Ping timeout: 272 seconds) |
| 21:00:23 | → | poscat joins (~poscat@104.28.208.153) |
| 21:05:58 | × | Athas quits (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:06:04 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 21:06:10 | → | Athas joins (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) |
| 21:13:27 | × | Me-me quits (~me-me@user/me-me) (Ping timeout: 240 seconds) |
| 21:15:29 | × | dcoutts quits (~duncan@88.211.110.163) (Ping timeout: 255 seconds) |
| 21:17:56 | × | poscat quits (~poscat@104.28.208.153) (Ping timeout: 272 seconds) |
| 21:20:11 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 21:20:45 | → | Me-me joins (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 21:21:19 | → | poscat joins (~poscat@104.28.208.149) |
| 21:21:57 | × | Me-me quits (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host) |
| 21:21:57 | → | Me-me joins (~me-me@user/me-me) |
| 21:22:08 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 21:22:33 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:24:23 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 21:26:17 | × | stites quits (~stites@155.33.133.38) (Ping timeout: 255 seconds) |
| 21:27:13 | → | stites joins (~stites@2607:fb90:ade1:d83a:91a9:4117:2fe1:512e) |
| 21:28:16 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 21:34:16 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:38:48 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:39:35 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f60b8a25095474e5a96.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 21:40:23 | × | poscat quits (~poscat@104.28.208.149) (Remote host closed the connection) |
| 21:40:43 | → | poscat joins (~poscat@2a09:bac5:1f4e:1250::1d3:53) |
| 21:46:11 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:46:16 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 21:48:04 | → | Guest57 joins (~Guest57@2804:7f4:c983:5128:c949:8e39:3da0:c16) |
| 21:48:12 | × | Guest57 quits (~Guest57@2804:7f4:c983:5128:c949:8e39:3da0:c16) (Client Quit) |
| 21:53:29 | × | stites quits (~stites@2607:fb90:ade1:d83a:91a9:4117:2fe1:512e) (Read error: Connection reset by peer) |
| 21:53:49 | → | stites joins (~stites@130.44.147.204) |
| 21:55:21 | × | poscat quits (~poscat@2a09:bac5:1f4e:1250::1d3:53) (Remote host closed the connection) |
| 21:55:42 | → | poscat joins (~poscat@2a09:bac1:19a0:58::1d3:53) |
| 21:56:35 | × | chomwitt quits (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
| 21:58:23 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 21:58:28 | × | stites quits (~stites@130.44.147.204) (Ping timeout: 272 seconds) |
| 21:59:28 | → | danza joins (~francesco@151.57.33.249) |
| 21:59:30 | → | stites joins (~stites@2607:fb90:ade1:d83a:91a9:4117:2fe1:512e) |
| 22:02:41 | × | poscat quits (~poscat@2a09:bac1:19a0:58::1d3:53) (Ping timeout: 260 seconds) |
| 22:05:06 | → | ft joins (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 22:08:31 | × | stites quits (~stites@2607:fb90:ade1:d83a:91a9:4117:2fe1:512e) (Ping timeout: 260 seconds) |
| 22:08:59 | → | poscat joins (~poscat@2a09:bac5:1f48:1250::1d3:53) |
| 22:09:46 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 22:10:04 | × | bontaq`` quits (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 22:10:31 | × | danza quits (~francesco@151.57.33.249) (Ping timeout: 255 seconds) |
| 22:11:34 | → | stites joins (~stites@2607:fb91:de1:e0c6:52ef:1441:c74a:ddbe) |
| 22:12:36 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 22:13:21 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 22:16:06 | × | stites quits (~stites@2607:fb91:de1:e0c6:52ef:1441:c74a:ddbe) (Ping timeout: 260 seconds) |
| 22:16:32 | → | stites joins (~stites@2607:fb91:de1:468d:b4f8:bece:7f15:37bd) |
| 22:25:26 | × | poscat quits (~poscat@2a09:bac5:1f48:1250::1d3:53) (Ping timeout: 260 seconds) |
| 22:26:01 | × | stites quits (~stites@2607:fb91:de1:468d:b4f8:bece:7f15:37bd) (Ping timeout: 260 seconds) |
| 22:26:23 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 22:27:46 | → | stites joins (~stites@2607:fb91:dc6:f87d:ffa1:11d6:cdc4:a2b0) |
| 22:29:49 | → | poscat joins (~poscat@2a09:bac5:1f4a:1250::1d3:53) |
| 22:32:35 | × | stites quits (~stites@2607:fb91:dc6:f87d:ffa1:11d6:cdc4:a2b0) (Read error: Connection reset by peer) |
| 22:32:54 | → | stites joins (~stites@130.44.147.204) |
| 22:33:31 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:38:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:39:51 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 240 seconds) |
| 22:48:41 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-288d-d437-33d3-7e96.res6.spectrum.com) (Remote host closed the connection) |
| 22:48:46 | × | poscat quits (~poscat@2a09:bac5:1f4a:1250::1d3:53) (Ping timeout: 260 seconds) |
| 22:53:49 | → | poscat joins (~poscat@2a09:bac5:1f48:1250::1d3:53) |
| 23:07:26 | × | hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 23:14:46 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:16:40 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 23:20:57 | → | statusbot11 joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 23:21:19 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 23:22:14 | → | EvanR_ joins (~EvanR@user/evanr) |
| 23:22:14 | → | nshepperd21 joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 23:22:32 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 23:23:02 | → | Athas_ joins (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) |
| 23:23:24 | × | Athas quits (athas@2a01:7c8:aaac:1cf:3f37:3d8f:e87c:140d) (Ping timeout: 248 seconds) |
| 23:23:33 | → | jbalint_ joins (~jbalint@071-090-119-177.res.spectrum.com) |
| 23:23:56 | × | ggVGc quits (~ggVGc@a.lowtech.earth) (Ping timeout: 248 seconds) |
| 23:24:28 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 23:24:29 | × | adeptangel quits (cren@tilde.team) (Ping timeout: 248 seconds) |
| 23:24:29 | × | nshepperd2 quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 248 seconds) |
| 23:24:29 | × | earthy quits (~arthurvl@2a02:a469:f5e2:1:83d2:ca43:57a2:dc81) (Ping timeout: 248 seconds) |
| 23:24:29 | × | jackhill quits (~jackhill@2604:180:f2::1a5) (Ping timeout: 248 seconds) |
| 23:24:29 | nshepperd21 | is now known as nshepperd2 |
| 23:25:00 | × | jbalint quits (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Ping timeout: 248 seconds) |
| 23:25:00 | × | landonf quits (landonf@mac68k.info) (Ping timeout: 248 seconds) |
| 23:25:29 | → | jackhill joins (~jackhill@kalessin.dragonsnail.net) |
| 23:25:50 | → | ggVGc joins (~ggVGc@a.lowtech.earth) |
| 23:25:53 | → | earthy joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 23:29:30 | → | landonf joins (landonf@mac68k.info) |
All times are in UTC on 2023-09-28.