| 2022-06-28 00:00:05 +0000 | DGMrKong | (~arj0019@162.218.254.7) (*.net *.split) |
| 2022-06-28 00:00:05 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) (*.net *.split) |
| 2022-06-28 00:00:05 +0000 | kimjetwav | (~user@2607:fea8:2340:da00:cb6e:c5ea:ab85:281d) (*.net *.split) |
| 2022-06-28 00:00:05 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) (*.net *.split) |
| 2022-06-28 00:00:05 +0000 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | Midjak | (~Midjak@82.66.147.146) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | jinsun | (~jinsun@user/jinsun) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1209:1cd2:2f7d:b06b) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | inversed | (~inversed@05412f44.skybroadband.com) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | dos__^^` | (~user@2409:8a55:e215:3930:58b9:4cff:fea0:d9) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | xacktm | (xacktm@user/xacktm) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | adium | (adium@user/adium) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | shapr | (~user@2600:4040:2d31:7100:a97b:7b9:d36c:3fa5) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | russruss | (~russruss@my.russellmcc.com) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | Trattue | (~Trattue@152.70.182.158) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | gdd1 | (~gdd@129.199.146.230) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | ozkutuk | (~ozkutuk@176.240.173.153) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | koolazer | (~koo@user/koolazer) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | feetwind | (~mike@user/feetwind) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | APic | (apic@apic.name) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | Guest1698 | (~Guest1698@20.83.116.49) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | qwedfg | (~qwedfg@user/qwedfg) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | leah2 | (~leah@vuxu.org) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | gff | (~gff@user/gff) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | edr | (~edr@user/edr) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | thonkpod_ | (~thonkpod@user/thonkpod) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | bastelfreak | (~bastelfre@basteles-bastelknecht.bastelfreak.org) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | marienz | (marienz@libera/staff/marienz) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | Jon | (jon@dow.land) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | landonf | (landonf@mac68k.info) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | Typedfern | (~Typedfern@202.red-83-37-35.dynamicip.rima-tde.net) (*.net *.split) |
| 2022-06-28 00:00:06 +0000 | mrkajetanp | (~mrkajetan@88.98.245.28) (*.net *.split) |
| 2022-06-28 00:00:13 +0000 | landonf | (landonf@mac68k.info) |
| 2022-06-28 00:00:16 +0000 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2022-06-28 00:00:16 +0000 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2022-06-28 00:00:17 +0000 | edr | (~edr@enlo.co) |
| 2022-06-28 00:00:17 +0000 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2022-06-28 00:00:17 +0000 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) |
| 2022-06-28 00:00:18 +0000 | shapr | (~user@2600:4040:2d31:7100:8013:8b59:ab30:ac29) |
| 2022-06-28 00:00:19 +0000 | APic | (apic@apic.name) |
| 2022-06-28 00:00:21 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-06-28 00:00:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1209:1cd2:2f7d:b06b) |
| 2022-06-28 00:00:23 +0000 | tomgus1 | (~tomgus1@90.218.25.145) |
| 2022-06-28 00:00:28 +0000 | Typedfern | (~Typedfern@202.red-83-37-35.dynamicip.rima-tde.net) |
| 2022-06-28 00:00:28 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 00:00:29 +0000 | <geekosaur> | you don't have to save/restore the status area, it stays put |
| 2022-06-28 00:00:31 +0000 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) |
| 2022-06-28 00:00:33 +0000 | Guest1698 | (~Guest1698@20.83.116.49) |
| 2022-06-28 00:00:34 +0000 | cross | (~cross@spitfire.i.gajendra.net) |
| 2022-06-28 00:00:37 +0000 | bastelfreak | (~bastelfre@basteles-bastelknecht.bastelfreak.org) |
| 2022-06-28 00:00:38 +0000 | feetwind | (~mike@2406:d501::79ae:5f3e) |
| 2022-06-28 00:00:39 +0000 | <geekosaur> | ypou just define the scrolling area to not include it |
| 2022-06-28 00:00:46 +0000 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2022-06-28 00:00:46 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2022-06-28 00:00:47 +0000 | thonkpod_ | (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) |
| 2022-06-28 00:00:48 +0000 | inversed | (~inversed@05412f44.skybroadband.com) |
| 2022-06-28 00:00:50 +0000 | tomboy64 | (~tomboy64@2a02:2454:416:db00:ba27:ebff:fe58:73c2) |
| 2022-06-28 00:00:57 +0000 | gff | (~gff@70.56.148.67) |
| 2022-06-28 00:00:57 +0000 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2022-06-28 00:00:59 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) |
| 2022-06-28 00:01:02 +0000 | johnsoar | (~arj0019@162.218.254.7) |
| 2022-06-28 00:01:03 +0000 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 00:01:09 +0000 | <geekosaur> | then when you scroll stuff off the screen, your status area stays put and only the scrolling region enters the terminal scrollback |
| 2022-06-28 00:01:10 +0000 | Jon | (jon@dow.land) |
| 2022-06-28 00:01:29 +0000 | thonkpod_ | (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Changing host) |
| 2022-06-28 00:01:29 +0000 | thonkpod_ | (~thonkpod@user/thonkpod) |
| 2022-06-28 00:01:30 +0000 | tomboy64 | (~tomboy64@2a02:2454:416:db00:ba27:ebff:fe58:73c2) (Changing host) |
| 2022-06-28 00:01:30 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-06-28 00:01:30 +0000 | edr | (~edr@enlo.co) (Changing host) |
| 2022-06-28 00:01:30 +0000 | edr | (~edr@user/edr) |
| 2022-06-28 00:01:33 +0000 | leah2 | (~leah@vuxu.org) |
| 2022-06-28 00:01:43 +0000 | <geekosaur> | the save/restore I mentioned is just so you don't have to figure out where the cursor is before switching over to the status area if you need to update that |
| 2022-06-28 00:01:54 +0000 | c_wraith | (~c_wraith@adjoint.us) |
| 2022-06-28 00:01:55 +0000 | feetwind | Guest585 |
| 2022-06-28 00:01:57 +0000 | kimjetwav | (~user@2607:fea8:2340:da00:cb6e:c5ea:ab85:281d) |
| 2022-06-28 00:02:05 +0000 | z0k | (~z0k@206.84.143.59) |
| 2022-06-28 00:02:13 +0000 | <geekosaur> | <ESC>7 will remember the cursor position and attributes etc., and <ESC>8 will restore them after you're done |
| 2022-06-28 00:02:15 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) |
| 2022-06-28 00:02:17 +0000 | carbolymer | (~carbolyme@dropacid.net) |
| 2022-06-28 00:02:30 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) |
| 2022-06-28 00:02:35 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-28 00:02:39 +0000 | mrkajetanp | (~mrkajetan@88.98.245.28) |
| 2022-06-28 00:02:41 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) |
| 2022-06-28 00:02:41 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-28 00:02:44 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2022-06-28 00:02:50 +0000 | Trattue | (~Trattue@152.70.182.158) |
| 2022-06-28 00:02:50 +0000 | xacktm | (xacktm@user/xacktm) |
| 2022-06-28 00:03:01 +0000 | dos__^^` | (~user@2409:8a55:e215:3930:58b9:4cff:fea0:d9) |
| 2022-06-28 00:03:22 +0000 | adium | (adium@user/adium) |
| 2022-06-28 00:03:47 +0000 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-06-28 00:03:53 +0000 | gdd1 | (~gdd@2001:470:1f13:187:e8a5:fbff:fe29:42f5) |
| 2022-06-28 00:04:35 +0000 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
| 2022-06-28 00:05:16 +0000 | marienz | (marienz@libera/staff/marienz) |
| 2022-06-28 00:05:26 +0000 | koolazer | (~koo@user/koolazer) |
| 2022-06-28 00:05:27 +0000 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) |
| 2022-06-28 00:05:50 +0000 | cyanide3dinner | (~cyanide4d@106.201.249.151) (Remote host closed the connection) |
| 2022-06-28 00:11:51 +0000 | <maralorn> | Huh, crazy. |
| 2022-06-28 00:11:56 +0000 | redmp | (~redmp@mobile-166-170-36-30.mycingular.net) (Ping timeout: 255 seconds) |
| 2022-06-28 00:12:15 +0000 | pseigo | (~pseigo@node-1w7jr9ye7hx4fsjarlsl1lkjw.ipv6.telus.net) |
| 2022-06-28 00:13:28 +0000 | <maralorn> | Can you tell if the commands I wanna issue are available from the ansi-terminal package? Alternatively can you recommend some docs on this? Your advice is not completely actionable for me right now.^^ |
| 2022-06-28 00:15:26 +0000 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:26 +0000 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:26 +0000 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:26 +0000 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:26 +0000 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:26 +0000 | Tubo[m] | (~tubogram@user/tubogram) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:26 +0000 | unclechu | (~unclechu@2001:470:69fc:105::354) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:26 +0000 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:27 +0000 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:27 +0000 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:27 +0000 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:27 +0000 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:27 +0000 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:27 +0000 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 260 seconds) |
| 2022-06-28 00:15:29 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2022-06-28 00:16:14 +0000 | <geekosaur> | I was reading from the VT102 manual when I wrote that, to make sure my memory was correct. I don't know off the top of my head if ansi-terminal directly supports either scroll region or save/restore cursor |
| 2022-06-28 00:16:22 +0000 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 00:16:25 +0000 | <geekosaur> | (I'd be surprised if it didn't suppot scroll region though) |
| 2022-06-28 00:16:40 +0000 | geekosaur | eyes matrix gateway |
| 2022-06-28 00:16:51 +0000 | ARJ0019 | (~arj0019@162.218.254.7) |
| 2022-06-28 00:16:53 +0000 | Topsi | (~Topsi@ip5f5ae328.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2022-06-28 00:17:16 +0000 | <EvanR> | matrix is the future |
| 2022-06-28 00:17:21 +0000 | zzz | tin |
| 2022-06-28 00:17:24 +0000 | <EvanR> | the future is intermittent |
| 2022-06-28 00:17:25 +0000 | tin | yin |
| 2022-06-28 00:17:52 +0000 | waleee | (~waleee@h-158-174-22-25.NA.cust.bahnhof.se) |
| 2022-06-28 00:19:41 +0000 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
| 2022-06-28 00:19:49 +0000 | ARJ0019 | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 00:20:03 +0000 | ARJ0019 | (~arj0019@162.218.254.7) |
| 2022-06-28 00:20:17 +0000 | <geekosaur> | hm, it supports save/restore but I don't see anything for scroll region |
| 2022-06-28 00:21:05 +0000 | frost | (~frost@user/frost) |
| 2022-06-28 00:25:39 +0000 | <sm> | can https://hackage.haskell.org/package/concurrent-output work here ? |
| 2022-06-28 00:26:29 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 00:26:30 +0000 | ARJ0019 | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 00:26:38 +0000 | <sm> | if not, there's https://hackage.haskell.org/package/ansi-terminal-game plus implementing your own scroll buffer |
| 2022-06-28 00:26:44 +0000 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 00:27:01 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 00:27:20 +0000 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) |
| 2022-06-28 00:28:17 +0000 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 00:28:31 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 00:29:02 +0000 | <geekosaur> | interesting that my matrix account is receiving but neither visible here nor able to send |
| 2022-06-28 00:29:36 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-06-28 00:29:36 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-06-28 00:29:36 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-06-28 00:30:35 +0000 | <geekosaur> | oh, no, only from sm who's still on both. pfeh |
| 2022-06-28 00:31:12 +0000 | <maralorn> | sm: Seeing that my program already works and I am just looking for potential performance improvements I don‘t think that implementing my own scrollbuffer is worth it. |
| 2022-06-28 00:31:32 +0000 | geekosaur | is not above simply outputting escape sequences |
| 2022-06-28 00:31:38 +0000 | <sm> | ah, carry on then |
| 2022-06-28 00:31:56 +0000 | <geekosaur> | in fact my test program to verify the scroll lregion didn't interfere with backscroll did just that |
| 2022-06-28 00:32:06 +0000 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) |
| 2022-06-28 00:32:10 +0000 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2022-06-28 00:32:26 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1209:1cd2:2f7d:b06b) (Ping timeout: 268 seconds) |
| 2022-06-28 00:32:26 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 268 seconds) |
| 2022-06-28 00:33:22 +0000 | Tubo[m] | (~tubogram@user/tubogram) |
| 2022-06-28 00:34:06 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-06-28 00:34:11 +0000 | <geekosaur> | \x1b[1;16r\x1b\&7\x1b[18;18H--- STATUS REGION ---\x1b\&8 then I had it do ls -l /usr/bin |
| 2022-06-28 00:34:13 +0000 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
| 2022-06-28 00:34:39 +0000 | <geekosaur> | the status region stayed put, the ls scrolled in the right area and was correctly caught in scrollback |
| 2022-06-28 00:36:00 +0000 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) |
| 2022-06-28 00:36:38 +0000 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) |
| 2022-06-28 00:37:46 +0000 | <maralorn> | sm: But the ConsoleRegion stuff looks promising. |
| 2022-06-28 00:38:07 +0000 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) |
| 2022-06-28 00:38:11 +0000 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
| 2022-06-28 00:39:49 +0000 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2022-06-28 00:39:54 +0000 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
| 2022-06-28 00:41:35 +0000 | johnsoar | (~arj0019@162.218.254.7) |
| 2022-06-28 00:41:46 +0000 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 00:43:47 +0000 | adrazalan | (~adrazalan@42.191.189.65) (Ping timeout: 256 seconds) |
| 2022-06-28 00:43:48 +0000 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 00:44:03 +0000 | johnsoar | (~arj0019@162.218.254.7) |
| 2022-06-28 00:44:09 +0000 | chomwitt | (~chomwitt@2a02:587:dc1c:800:5b3a:daea:252e:ac17) (Ping timeout: 268 seconds) |
| 2022-06-28 00:44:59 +0000 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) |
| 2022-06-28 00:45:55 +0000 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
| 2022-06-28 00:49:31 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-06-28 00:49:44 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 246 seconds) |
| 2022-06-28 00:50:08 +0000 | zeenk | (~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3) (Quit: Konversation terminated!) |
| 2022-06-28 00:51:25 +0000 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-06-28 00:52:31 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2022-06-28 00:57:43 +0000 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 00:57:49 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 00:59:24 +0000 | johnsoar | (~arj0019@162.218.254.7) |
| 2022-06-28 00:59:24 +0000 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 01:04:45 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-06-28 01:05:50 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 246 seconds) |
| 2022-06-28 01:07:48 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 01:07:49 +0000 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 01:08:50 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 268 seconds) |
| 2022-06-28 01:08:59 +0000 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 01:09:05 +0000 | waleee | (~waleee@h-158-174-22-25.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2022-06-28 01:09:14 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 01:12:44 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-06-28 01:14:58 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-06-28 01:15:27 +0000 | johnsoar | (~arj0019@162.218.254.7) |
| 2022-06-28 01:15:36 +0000 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 01:15:38 +0000 | johnsoar | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 01:29:10 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2022-06-28 01:33:44 +0000 | alp | (~alp@user/alp) (Ping timeout: 272 seconds) |
| 2022-06-28 01:39:07 +0000 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2022-06-28 01:42:06 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2022-06-28 01:42:08 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-06-28 01:42:46 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 244 seconds) |
| 2022-06-28 01:44:55 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-28 01:47:09 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-28 01:47:15 +0000 | <maralorn> | maerwald: I remember you told me something about a terminal printing library that you had a bad experience with. Was that https://hackage.haskell.org/package/concurrent-output ? |
| 2022-06-28 01:48:12 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 276 seconds) |
| 2022-06-28 01:53:45 +0000 | quarkyalice | (~alice@user/quarkyalice) (Remote host closed the connection) |
| 2022-06-28 01:53:54 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2022-06-28 02:03:21 +0000 | <maralorn> | Oh, no! In the end concurrent-output also clears the complete status region, writes the log and writes the status region again. https://hackage.haskell.org/package/concurrent-output-1.10.16/docs/src/System.Console.Regions.html… |
| 2022-06-28 02:03:47 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Read error: Connection reset by peer) |
| 2022-06-28 02:04:29 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2022-06-28 02:04:53 +0000 | <maralorn> | It only does smart things to avoid redraws when we don‘t print new log lines. But it also looks like a lot of overhead to me, so not sure if it’s worth it. |
| 2022-06-28 02:07:23 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2022-06-28 02:11:57 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-06-28 02:13:46 +0000 | pseigo | (~pseigo@node-1w7jr9ye7hx4fsjarlsl1lkjw.ipv6.telus.net) (Quit: left) |
| 2022-06-28 02:13:55 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
| 2022-06-28 02:25:17 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 268 seconds) |
| 2022-06-28 02:25:51 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-28 02:27:29 +0000 | z0k | (~z0k@206.84.143.59) (Ping timeout: 256 seconds) |
| 2022-06-28 02:27:45 +0000 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 268 seconds) |
| 2022-06-28 02:28:37 +0000 | mcglk | (~mcglk@131.191.49.120) (Ping timeout: 256 seconds) |
| 2022-06-28 02:32:16 +0000 | mcglk | (~mcglk@131.191.49.120) |
| 2022-06-28 02:34:50 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-28 02:34:50 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-06-28 02:34:50 +0000 | finn_elija | FinnElija |
| 2022-06-28 02:39:32 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
| 2022-06-28 02:41:00 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-06-28 02:43:47 +0000 | td_ | (~td@muedsl-82-207-238-059.citykom.de) (Ping timeout: 268 seconds) |
| 2022-06-28 02:45:16 +0000 | td_ | (~td@94.134.91.56) |
| 2022-06-28 02:45:22 +0000 | img | (~img@user/img) |
| 2022-06-28 02:48:43 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 268 seconds) |
| 2022-06-28 02:52:58 +0000 | yauhsien | (~yauhsien@2402:7500:5e3:8a37:8d4e:ae58:bc07:bac8) |
| 2022-06-28 02:55:41 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-06-28 03:04:48 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2022-06-28 03:05:04 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2022-06-28 03:06:37 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-06-28 03:08:23 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-28 03:09:08 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-28 03:18:16 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-28 03:19:32 +0000 | yauhsien | (~yauhsien@2402:7500:5e3:8a37:8d4e:ae58:bc07:bac8) (Ping timeout: 255 seconds) |
| 2022-06-28 03:21:39 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-06-28 03:22:36 +0000 | img | (~img@user/img) |
| 2022-06-28 03:22:42 +0000 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2022-06-28 03:22:55 +0000 | turlando | (~turlando@93.51.40.51) |
| 2022-06-28 03:22:56 +0000 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-06-28 03:22:56 +0000 | turlando | (~turlando@user/turlando) |
| 2022-06-28 03:24:39 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-06-28 03:31:28 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-28 03:32:30 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-06-28 03:32:30 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 246 seconds) |
| 2022-06-28 03:33:28 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-28 03:44:47 +0000 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
| 2022-06-28 03:46:36 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-06-28 03:47:41 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-06-28 03:48:10 +0000 | <[Leary]> | @tell fizbin When it says "applicative functors", it's loosely referring to the arbitrary applicative functor parameter `f`. It should perhaps just be "A monoid on @f@." The key detail is that parametricity in `a` forces the monoid to be entirely on the structure of `f`, independent of `a`. This implies nice properties like `fmap g` distributing over `<|>`. And imo, if there's another sane choice of Monoid for `f a`, it shouldn't be the |
| 2022-06-28 03:48:10 +0000 | <lambdabot> | Consider it noted. |
| 2022-06-28 03:48:10 +0000 | <[Leary]> | same as the Alternative on `f`; that's just waste in redundancy. |
| 2022-06-28 03:48:55 +0000 | pavonia | (~user@user/siracusa) |
| 2022-06-28 03:50:28 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-06-28 03:53:04 +0000 | leeb | (~leeb@KD106154142041.au-net.ne.jp) |
| 2022-06-28 03:54:25 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2022-06-28 03:55:35 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-06-28 03:55:40 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
| 2022-06-28 03:56:17 +0000 | <[Leary]> | It's also worth noting that there's already a monoid on `f`, as implied by it having Applicative, so Alternative is indeed "an alternative monoid on f". |
| 2022-06-28 03:56:21 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-06-28 03:56:47 +0000 | jargon | (~jargon@184.101.186.108) |
| 2022-06-28 03:57:05 +0000 | <[Leary]> | Though I don't think that's where the name comes from. |
| 2022-06-28 03:59:16 +0000 | phma_ | (phma@2001:5b0:211f:48f8:5ae4:1ee8:155:7a3e) |
| 2022-06-28 03:59:43 +0000 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-06-28 03:59:56 +0000 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-06-28 03:59:59 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Client Quit) |
| 2022-06-28 04:00:19 +0000 | pavonia_ | (~user@user/siracusa) |
| 2022-06-28 04:01:01 +0000 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-28 04:01:09 +0000 | jargon_ | (~jargon@184.101.186.108) |
| 2022-06-28 04:01:12 +0000 | jargon | (~jargon@184.101.186.108) (Ping timeout: 246 seconds) |
| 2022-06-28 04:01:27 +0000 | sayola1 | (~vekto@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) |
| 2022-06-28 04:01:33 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 246 seconds) |
| 2022-06-28 04:01:36 +0000 | pavonia_ | pavonia |
| 2022-06-28 04:01:46 +0000 | kitzman_ | (~kitzman@user/dekenevs) |
| 2022-06-28 04:01:54 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
| 2022-06-28 04:01:54 +0000 | elkcl_ | elkcl |
| 2022-06-28 04:02:15 +0000 | mcglk | (~mcglk@131.191.49.120) (Ping timeout: 246 seconds) |
| 2022-06-28 04:02:15 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2022-06-28 04:02:15 +0000 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 246 seconds) |
| 2022-06-28 04:02:15 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 246 seconds) |
| 2022-06-28 04:02:16 +0000 | cheater1__ | (~Username@user/cheater) |
| 2022-06-28 04:02:36 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-06-28 04:02:36 +0000 | sayola | (~vekto@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-06-28 04:02:36 +0000 | kitzman | (~kitzman@user/dekenevs) (Ping timeout: 246 seconds) |
| 2022-06-28 04:02:40 +0000 | cheater1__ | cheater |
| 2022-06-28 04:02:57 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2022-06-28 04:02:57 +0000 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 246 seconds) |
| 2022-06-28 04:02:57 +0000 | phma | (~phma@host-67-44-208-140.hnremote.net) (Ping timeout: 246 seconds) |
| 2022-06-28 04:02:57 +0000 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 246 seconds) |
| 2022-06-28 04:03:08 +0000 | koz | (~koz@121.99.240.58) |
| 2022-06-28 04:04:06 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-06-28 04:04:15 +0000 | EsoAlgo | (~EsoAlgo@129.146.136.145) (Quit: Ping timeout (120 seconds)) |
| 2022-06-28 04:04:24 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-06-28 04:04:36 +0000 | mcglk | (~mcglk@131.191.49.120) |
| 2022-06-28 04:04:36 +0000 | EsoAlgo | (~EsoAlgo@129.146.136.145) |
| 2022-06-28 04:07:59 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-06-28 04:10:11 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-06-28 04:10:22 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-28 04:10:29 +0000 | Vajb | (~Vajb@2001:999:48c:99ca:b00c:585c:3999:aa8b) |
| 2022-06-28 04:11:36 +0000 | edr | (~edr@user/edr) (Quit: ZNC 1.6.5 - http://znc.in) |
| 2022-06-28 04:11:50 +0000 | edr | (~edr@enlo.co) |
| 2022-06-28 04:11:50 +0000 | edr | (~edr@enlo.co) (Changing host) |
| 2022-06-28 04:11:50 +0000 | edr | (~edr@user/edr) |
| 2022-06-28 04:13:12 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2022-06-28 04:14:11 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-06-28 04:16:53 +0000 | coot | (~coot@213.134.190.95) |
| 2022-06-28 04:18:47 +0000 | Polo | (~Gambino@user/polo) |
| 2022-06-28 04:26:10 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
| 2022-06-28 04:27:09 +0000 | mbuf | (~Shakthi@122.164.12.62) |
| 2022-06-28 04:33:25 +0000 | Polo | (~Gambino@user/polo) (Read error: Connection reset by peer) |
| 2022-06-28 04:33:27 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-06-28 04:36:31 +0000 | Polo | (~Gambino@user/polo) |
| 2022-06-28 04:41:35 +0000 | bilegeek | (~bilegeek@2600:1008:b022:edb3:99bf:d85c:d099:273) |
| 2022-06-28 04:43:43 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-06-28 04:44:11 +0000 | Polo | (~Gambino@user/polo) (Ping timeout: 255 seconds) |
| 2022-06-28 04:45:59 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 255 seconds) |
| 2022-06-28 04:50:57 +0000 | jargon_ | (~jargon@184.101.186.108) (Remote host closed the connection) |
| 2022-06-28 04:56:33 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2022-06-28 04:57:14 +0000 | Polo | (~Gambino@user/polo) |
| 2022-06-28 05:01:41 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 244 seconds) |
| 2022-06-28 05:12:10 +0000 | Furor | Colere |
| 2022-06-28 05:14:27 +0000 | jargon | (~jargon@184.101.186.108) |
| 2022-06-28 05:16:30 +0000 | quarkyalice | (~alice@172.77.16.153) |
| 2022-06-28 05:16:30 +0000 | quarkyalice | (~alice@172.77.16.153) (Changing host) |
| 2022-06-28 05:16:30 +0000 | quarkyalice | (~alice@user/quarkyalice) |
| 2022-06-28 05:25:46 +0000 | funsafe | (~funsafe@2601:1c1:4200:9ac:84cb:185c:2a3c:c92c) |
| 2022-06-28 05:31:41 +0000 | vysn | (~vysn@user/vysn) |
| 2022-06-28 05:32:40 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2022-06-28 05:36:24 +0000 | leeb | (~leeb@KD106154142041.au-net.ne.jp) (Ping timeout: 246 seconds) |
| 2022-06-28 05:38:21 +0000 | leeb | (~leeb@KD106154142246.au-net.ne.jp) |
| 2022-06-28 05:41:51 +0000 | z0k | (~z0k@206.84.143.59) |
| 2022-06-28 05:43:23 +0000 | cyanide3dinner | (~cyanide4d@106.201.249.151) |
| 2022-06-28 05:49:29 +0000 | Polo | money |
| 2022-06-28 05:49:29 +0000 | money | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-28 05:49:39 +0000 | michalz | (~michalz@185.246.204.107) |
| 2022-06-28 05:52:00 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-06-28 05:52:45 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Client Quit) |
| 2022-06-28 06:01:13 +0000 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2022-06-28 06:01:25 +0000 | turlando | (~turlando@93.51.40.51) |
| 2022-06-28 06:01:26 +0000 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-06-28 06:01:26 +0000 | turlando | (~turlando@user/turlando) |
| 2022-06-28 06:01:34 +0000 | mbuf | (~Shakthi@122.164.12.62) (Remote host closed the connection) |
| 2022-06-28 06:03:35 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Ping timeout: 268 seconds) |
| 2022-06-28 06:05:14 +0000 | mbuf | (~Shakthi@122.164.12.62) |
| 2022-06-28 06:12:04 +0000 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2022-06-28 06:15:26 +0000 | odnes | (~odnes@ppp079167197007.access.hol.gr) |
| 2022-06-28 06:20:39 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-28 06:23:27 +0000 | vglfr | (~vglfr@88.155.52.133) |
| 2022-06-28 06:24:05 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 255 seconds) |
| 2022-06-28 06:24:39 +0000 | chomwitt | (~chomwitt@2a02:587:dc1c:800:5c71:ba1b:727c:3afe) |
| 2022-06-28 06:26:48 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 246 seconds) |
| 2022-06-28 06:26:54 +0000 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-28 06:26:57 +0000 | elkcl_ | elkcl |
| 2022-06-28 06:27:25 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:38c7:61b7:c771:72b1) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2022-06-28 06:27:45 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:812e:6c05:83db:6853) |
| 2022-06-28 06:28:12 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2022-06-28 06:28:21 +0000 | vglfr | (~vglfr@88.155.52.133) (Ping timeout: 276 seconds) |
| 2022-06-28 06:28:33 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 246 seconds) |
| 2022-06-28 06:29:54 +0000 | mmhat | (~mmh@p200300f1c7385d3bee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-06-28 06:30:09 +0000 | pavonia | (~user@user/siracusa) |
| 2022-06-28 06:30:15 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-06-28 06:30:51 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-06-28 06:31:27 +0000 | odnes_ | (~odnes@109-178-137-84.pat.ren.cosmote.net) |
| 2022-06-28 06:31:38 +0000 | jargon | (~jargon@184.101.186.108) (Remote host closed the connection) |
| 2022-06-28 06:31:59 +0000 | Major_Biscuit | (~MajorBisc@c-001-009-008.client.tudelft.eduvpn.nl) |
| 2022-06-28 06:33:50 +0000 | odnes | (~odnes@ppp079167197007.access.hol.gr) (Ping timeout: 240 seconds) |
| 2022-06-28 06:34:47 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:8802:f60f:4588:60d8) |
| 2022-06-28 06:34:47 +0000 | cyanide3dinner | (~cyanide4d@106.201.249.151) (Read error: Connection reset by peer) |
| 2022-06-28 06:34:51 +0000 | cyanide4breakfas | (~cyanide4d@106.201.249.151) |
| 2022-06-28 06:36:09 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2022-06-28 06:38:57 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2022-06-28 06:41:33 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-06-28 06:42:37 +0000 | odnes_ | (~odnes@109-178-137-84.pat.ren.cosmote.net) (Remote host closed the connection) |
| 2022-06-28 06:42:49 +0000 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) |
| 2022-06-28 06:43:28 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 244 seconds) |
| 2022-06-28 06:43:34 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-06-28 06:45:25 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-28 06:46:29 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2022-06-28 06:46:34 +0000 | acidjnk_new | (~acidjnk@dynamic-046-114-169-223.46.114.pool.telefonica.de) |
| 2022-06-28 06:51:08 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-06-28 06:51:35 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host) |
| 2022-06-28 06:51:35 +0000 | Polo | (~Gambino@user/polo) |
| 2022-06-28 06:54:13 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-06-28 06:55:53 +0000 | acidjnk_new3 | (~acidjnk@dynamic-046-114-169-223.46.114.pool.telefonica.de) |
| 2022-06-28 06:58:50 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2022-06-28 06:59:11 +0000 | acidjnk_new | (~acidjnk@dynamic-046-114-169-223.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2022-06-28 07:01:15 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-06-28 07:01:22 +0000 | quarkyalice | (~alice@user/quarkyalice) (Remote host closed the connection) |
| 2022-06-28 07:01:40 +0000 | quarkyalice | (~alice@172.77.16.153) |
| 2022-06-28 07:01:40 +0000 | quarkyalice | (~alice@172.77.16.153) (Changing host) |
| 2022-06-28 07:01:40 +0000 | quarkyalice | (~alice@user/quarkyalice) |
| 2022-06-28 07:03:18 +0000 | phma_ | phma |
| 2022-06-28 07:07:28 +0000 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) (Read error: Connection reset by peer) |
| 2022-06-28 07:07:30 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-06-28 07:07:52 +0000 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) |
| 2022-06-28 07:08:10 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2022-06-28 07:08:27 +0000 | alp | (~alp@user/alp) |
| 2022-06-28 07:09:48 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-06-28 07:10:16 +0000 | z0k | (~z0k@206.84.143.59) (Quit: WeeChat 3.5) |
| 2022-06-28 07:12:56 +0000 | joo-_ | (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 2022-06-28 07:15:03 +0000 | zeenk | (~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3) |
| 2022-06-28 07:21:30 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-06-28 07:23:02 +0000 | obabo | (~obabo@20014C4C1C41D6000000000000001000.catv.pool.telekom.hu) (Quit: WeeChat 3.5) |
| 2022-06-28 07:24:59 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-28 07:25:52 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-28 07:25:58 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Quit: leaving) |
| 2022-06-28 07:26:37 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-28 07:26:48 +0000 | coot | (~coot@213.134.190.95) |
| 2022-06-28 07:29:01 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-06-28 07:30:21 +0000 | jargon | (~jargon@184.101.186.108) |
| 2022-06-28 07:35:16 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-28 07:38:42 +0000 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-28 07:46:17 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-28 07:50:53 +0000 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-28 07:54:03 +0000 | fserucas | (~fserucas@1.64.114.89.rev.vodafone.pt) |
| 2022-06-28 07:56:06 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
| 2022-06-28 07:57:16 +0000 | frost | (~frost@user/frost) |
| 2022-06-28 07:58:35 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) (Remote host closed the connection) |
| 2022-06-28 08:00:12 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-06-28 08:07:09 +0000 | cyanide4breakfas | (~cyanide4d@106.201.249.151) (Remote host closed the connection) |
| 2022-06-28 08:10:50 +0000 | acidjnk_new3 | (~acidjnk@dynamic-046-114-169-223.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-06-28 08:10:54 +0000 | acidjnk | (~acidjnk@dynamic-046-114-169-116.46.114.pool.telefonica.de) |
| 2022-06-28 08:12:25 +0000 | acidjnk_new | (~acidjnk@dynamic-046-114-169-116.46.114.pool.telefonica.de) |
| 2022-06-28 08:13:48 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-06-28 08:14:46 +0000 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) (Read error: Connection reset by peer) |
| 2022-06-28 08:15:11 +0000 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) |
| 2022-06-28 08:15:30 +0000 | acidjnk | (~acidjnk@dynamic-046-114-169-116.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-06-28 08:15:31 +0000 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-28 08:18:18 +0000 | matijja | (~matijja@193.77.181.201) |
| 2022-06-28 08:19:23 +0000 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:57fe:7e87:45e2:b000) |
| 2022-06-28 08:20:55 +0000 | gensyst | (gensyst@user/gensyst) |
| 2022-06-28 08:21:39 +0000 | <gensyst> | After I write putStr something is there a way to "go back" and find out the last couple of characters that were output in the past? |
| 2022-06-28 08:24:48 +0000 | Haskelytic | (~Haskelyti@118.179.211.17) (Ping timeout: 252 seconds) |
| 2022-06-28 08:27:39 +0000 | <lortabac> | gensyst: no, you have to implement your own alternative IO with this capability |
| 2022-06-28 08:27:51 +0000 | <sm> | I don't think so gensyst , you'd have to keep that history yourself |
| 2022-06-28 08:27:58 +0000 | odnes | (~odnes@109-178-137-84.pat.ren.cosmote.net) (Quit: Leaving) |
| 2022-06-28 08:28:45 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-28 08:30:23 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:812e:6c05:83db:6853) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2022-06-28 08:30:44 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:812e:6c05:83db:6853) |
| 2022-06-28 08:35:23 +0000 | acidjnk_new3 | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
| 2022-06-28 08:38:38 +0000 | acidjnk_new | (~acidjnk@dynamic-046-114-169-116.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2022-06-28 08:44:29 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2022-06-28 08:45:02 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
| 2022-06-28 08:45:49 +0000 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:57fe:7e87:45e2:b000) (Remote host closed the connection) |
| 2022-06-28 08:46:07 +0000 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:57fe:7e87:45e2:b000) |
| 2022-06-28 08:53:02 +0000 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Read error: Connection reset by peer) |
| 2022-06-28 08:53:18 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Read error: Connection reset by peer) |
| 2022-06-28 08:54:53 +0000 | leeb | (~leeb@KD106154142246.au-net.ne.jp) (Quit: WeeChat 3.4.1) |
| 2022-06-28 08:57:59 +0000 | <gensyst> | thanks mates |
| 2022-06-28 08:58:39 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
| 2022-06-28 08:59:00 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) |
| 2022-06-28 08:59:36 +0000 | martin02 | (~silas@141.84.69.76) (Ping timeout: 248 seconds) |
| 2022-06-28 08:59:41 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-06-28 08:59:41 +0000 | jinsun | Guest3137 |
| 2022-06-28 08:59:42 +0000 | Guest3137 | (~jinsun@user/jinsun) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2022-06-28 08:59:42 +0000 | jinsun__ | jinsun |
| 2022-06-28 09:00:05 +0000 | BusConscious | (~martin@ip5f5bdf0d.dynamic.kabel-deutschland.de) |
| 2022-06-28 09:00:05 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-06-28 09:01:22 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-28 09:03:20 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:385b:a633:1677:81b1) (Ping timeout: 255 seconds) |
| 2022-06-28 09:03:41 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-06-28 09:03:42 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-06-28 09:03:42 +0000 | jinsun__ | jinsun |
| 2022-06-28 09:07:34 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-06-28 09:07:46 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-06-28 09:08:03 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-28 09:08:56 +0000 | bilegeek | (~bilegeek@2600:1008:b022:edb3:99bf:d85c:d099:273) (Quit: Leaving) |
| 2022-06-28 09:10:46 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-06-28 09:11:02 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-28 09:11:34 +0000 | ubert | (~Thunderbi@2a02:8109:abc0:6434:2ecd:7f13:b280:b2e) |
| 2022-06-28 09:12:03 +0000 | martin02 | (~silas@141.84.69.76) |
| 2022-06-28 09:12:43 +0000 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:57fe:7e87:45e2:b000) (Quit: ccntrq) |
| 2022-06-28 09:13:01 +0000 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:4e57:141f:f3f3:6614) |
| 2022-06-28 09:15:32 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 255 seconds) |
| 2022-06-28 09:18:15 +0000 | Polo | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-28 09:18:15 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-06-28 09:19:37 +0000 | jargon | (~jargon@184.101.186.108) (Remote host closed the connection) |
| 2022-06-28 09:19:41 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-06-28 09:20:04 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-28 09:20:06 +0000 | <`2jt> | Hi, I'm constructing aeson object with `object` and every pair value is a string. However, I must wrap each of it into ("key" .= ("some value" :: T.Text)). Is there a way to make the compiler make this decision automatically? |
| 2022-06-28 09:22:44 +0000 | malte | (~malte@mal.tc) |
| 2022-06-28 09:23:12 +0000 | mrkajetanp | (~mrkajetan@88.98.245.28) (Ping timeout: 276 seconds) |
| 2022-06-28 09:26:18 +0000 | zwro[m] | (~zwromatri@2001:470:69fc:105::1d4) (Quit: You have been kicked for being idle) |
| 2022-06-28 09:26:26 +0000 | mrkajetanp | (~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) |
| 2022-06-28 09:30:47 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 255 seconds) |
| 2022-06-28 09:31:05 +0000 | <aforemny> | `2jt: as the second argument of (.=) is a constrained type variable, i don't think it is possible. you have to specify its type, as `"some value"` can be of any type that implements the `IsString` type class |
| 2022-06-28 09:31:05 +0000 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-28 09:31:15 +0000 | misterfish | (~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) |
| 2022-06-28 09:31:19 +0000 | alexhandy | (~trace@user/trace) |
| 2022-06-28 09:31:53 +0000 | <lyxia> | you could define a specialized version of it |
| 2022-06-28 09:31:56 +0000 | liz | (~liz@host86-159-158-175.range86-159.btcentralplus.com) (Quit: Lost terminal) |
| 2022-06-28 09:32:17 +0000 | <aforemny> | `2jt: you can probably define a helper function `stringField :: KeyValue kv => Key -> T.Text -> kv` or something |
| 2022-06-28 09:32:53 +0000 | Polo | (~Gambino@user/polo) |
| 2022-06-28 09:36:13 +0000 | <`2jt> | thank you guys |
| 2022-06-28 09:37:35 +0000 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:4e57:141f:f3f3:6614) (Ping timeout: 255 seconds) |
| 2022-06-28 09:40:38 +0000 | ccntrq | (~Thunderbi@dynamic-077-008-042-123.77.8.pool.telefonica.de) |
| 2022-06-28 09:42:17 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
| 2022-06-28 09:46:03 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-28 09:49:49 +0000 | ccntrq1 | (~Thunderbi@2a01:c22:8d91:d900:a06a:2275:7fb5:9f64) |
| 2022-06-28 09:50:30 +0000 | leah2 | (~leah@vuxu.org) (Quit: trotz alledem!) |
| 2022-06-28 09:50:42 +0000 | leah2 | (~leah@vuxu.org) |
| 2022-06-28 09:52:18 +0000 | ccntrq | (~Thunderbi@dynamic-077-008-042-123.77.8.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-28 09:52:18 +0000 | ccntrq1 | ccntrq |
| 2022-06-28 09:52:32 +0000 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (*.net *.split) |
| 2022-06-28 09:52:32 +0000 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) (*.net *.split) |
| 2022-06-28 09:52:32 +0000 | Tisoxin | (~ikosit@user/ikosit) (*.net *.split) |
| 2022-06-28 09:52:32 +0000 | siraben | (~siraben@user/siraben) (*.net *.split) |
| 2022-06-28 09:52:32 +0000 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (*.net *.split) |
| 2022-06-28 09:52:32 +0000 | ormaaj | (~ormaaj@user/ormaaj) (*.net *.split) |
| 2022-06-28 09:52:32 +0000 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split) |
| 2022-06-28 09:52:32 +0000 | psydroid | (~psydroid@user/psydroid) (*.net *.split) |
| 2022-06-28 09:52:32 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) (*.net *.split) |
| 2022-06-28 09:52:32 +0000 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) (*.net *.split) |
| 2022-06-28 09:52:32 +0000 | sm | (~sm@plaintextaccounting/sm) (*.net *.split) |
| 2022-06-28 09:56:42 +0000 | Polo | (~Gambino@user/polo) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 2022-06-28 09:56:53 +0000 | <carbolymer> | what was the name of `~` ? type equality? |
| 2022-06-28 09:57:13 +0000 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
| 2022-06-28 09:57:13 +0000 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) |
| 2022-06-28 09:57:13 +0000 | Tisoxin | (~ikosit@user/ikosit) |
| 2022-06-28 09:57:13 +0000 | siraben | (~siraben@user/siraben) |
| 2022-06-28 09:57:13 +0000 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2022-06-28 09:57:13 +0000 | ormaaj | (~ormaaj@user/ormaaj) |
| 2022-06-28 09:57:13 +0000 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
| 2022-06-28 09:57:13 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2022-06-28 09:57:13 +0000 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) |
| 2022-06-28 09:57:13 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2022-06-28 09:57:17 +0000 | ormaaj | (~ormaaj@user/ormaaj) (Max SendQ exceeded) |
| 2022-06-28 09:59:58 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-06-28 10:00:08 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
| 2022-06-28 10:00:38 +0000 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) (Ping timeout: 240 seconds) |
| 2022-06-28 10:00:38 +0000 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 240 seconds) |
| 2022-06-28 10:00:38 +0000 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 2022-06-28 10:00:47 +0000 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Ping timeout: 240 seconds) |
| 2022-06-28 10:00:47 +0000 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) (Ping timeout: 240 seconds) |
| 2022-06-28 10:00:47 +0000 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) (Ping timeout: 240 seconds) |
| 2022-06-28 10:00:47 +0000 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) (Ping timeout: 240 seconds) |
| 2022-06-28 10:00:47 +0000 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) (Ping timeout: 240 seconds) |
| 2022-06-28 10:00:47 +0000 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (Ping timeout: 252 seconds) |
| 2022-06-28 10:00:47 +0000 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) (Ping timeout: 252 seconds) |
| 2022-06-28 10:00:47 +0000 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 252 seconds) |
| 2022-06-28 10:00:47 +0000 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 252 seconds) |
| 2022-06-28 10:00:47 +0000 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 252 seconds) |
| 2022-06-28 10:00:47 +0000 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 252 seconds) |
| 2022-06-28 10:00:47 +0000 | maralorn | (~maralorn@2001:470:69fc:105::251) (Ping timeout: 252 seconds) |
| 2022-06-28 10:00:47 +0000 | jinsun_ | (~jinsun@user/jinsun) (Ping timeout: 252 seconds) |
| 2022-06-28 10:00:52 +0000 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) (Ping timeout: 260 seconds) |
| 2022-06-28 10:00:58 +0000 | steshaw[m] | (~steshawma@2001:470:69fc:105::1:a963) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:58 +0000 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:58 +0000 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:58 +0000 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:58 +0000 | boxscape | (~boxscape@user/boxscape) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:58 +0000 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:58 +0000 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:58 +0000 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:59 +0000 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:59 +0000 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:59 +0000 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:59 +0000 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:59 +0000 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:59 +0000 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:59 +0000 | polykernel[m] | (~polykerne@user/polykernel) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:59 +0000 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:59 +0000 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) (Ping timeout: 248 seconds) |
| 2022-06-28 10:00:59 +0000 | Etxeberrialex[m] | (~etxeberri@2001:470:69fc:105::1:5ae6) (Ping timeout: 265 seconds) |
| 2022-06-28 10:00:59 +0000 | july541[m] | (~july541ma@2001:470:69fc:105::1:e416) (Ping timeout: 265 seconds) |
| 2022-06-28 10:00:59 +0000 | peddie | (~peddie@2001:470:69fc:105::25d) (Ping timeout: 265 seconds) |
| 2022-06-28 10:00:59 +0000 | moats | (~oats@user/oats) (Ping timeout: 265 seconds) |
| 2022-06-28 10:00:59 +0000 | Deide | (~deide@user/deide) (Ping timeout: 265 seconds) |
| 2022-06-28 10:00:59 +0000 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Ping timeout: 265 seconds) |
| 2022-06-28 10:00:59 +0000 | Bulby[m] | (~bulbyvrma@2001:470:69fc:105::1:fe0a) (Ping timeout: 265 seconds) |
| 2022-06-28 10:00:59 +0000 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Ping timeout: 265 seconds) |
| 2022-06-28 10:00:59 +0000 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 265 seconds) |
| 2022-06-28 10:00:59 +0000 | jmcantrell | (~jmcantrel@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2022-06-28 10:00:59 +0000 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Ping timeout: 255 seconds) |
| 2022-06-28 10:00:59 +0000 | Tubo[m] | (~tubogram@user/tubogram) (Ping timeout: 255 seconds) |
| 2022-06-28 10:01:00 +0000 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (Ping timeout: 255 seconds) |
| 2022-06-28 10:01:01 +0000 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (Ping timeout: 252 seconds) |
| 2022-06-28 10:01:01 +0000 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) (Ping timeout: 252 seconds) |
| 2022-06-28 10:01:01 +0000 | Tisoxin | (~ikosit@user/ikosit) (Ping timeout: 252 seconds) |
| 2022-06-28 10:01:01 +0000 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 252 seconds) |
| 2022-06-28 10:01:02 +0000 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 272 seconds) |
| 2022-06-28 10:01:18 +0000 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (Ping timeout: 264 seconds) |
| 2022-06-28 10:01:18 +0000 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) (Ping timeout: 264 seconds) |
| 2022-06-28 10:01:18 +0000 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) (Ping timeout: 264 seconds) |
| 2022-06-28 10:01:18 +0000 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 264 seconds) |
| 2022-06-28 10:01:27 +0000 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) (Ping timeout: 260 seconds) |
| 2022-06-28 10:01:27 +0000 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 260 seconds) |
| 2022-06-28 10:01:27 +0000 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 260 seconds) |
| 2022-06-28 10:01:28 +0000 | shiraeeshi[m] | (~shiraeesh@2001:470:69fc:105::1:77) (Ping timeout: 260 seconds) |
| 2022-06-28 10:01:28 +0000 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) (Ping timeout: 260 seconds) |
| 2022-06-28 10:01:29 +0000 | hochata | (~hochata@user/hochata) (Ping timeout: 260 seconds) |
| 2022-06-28 10:01:29 +0000 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Ping timeout: 260 seconds) |
| 2022-06-28 10:01:29 +0000 | thewaves | (~thewaves@2001:470:69fc:105::2:2eef) (Ping timeout: 260 seconds) |
| 2022-06-28 10:01:37 +0000 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) (Ping timeout: 268 seconds) |
| 2022-06-28 10:01:37 +0000 | unclechu | (~unclechu@2001:470:69fc:105::354) (Ping timeout: 268 seconds) |
| 2022-06-28 10:01:37 +0000 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Ping timeout: 268 seconds) |
| 2022-06-28 10:01:41 +0000 | bitonic | (~bitonic@2001:470:69fc:105::1812) (Ping timeout: 272 seconds) |
| 2022-06-28 10:01:41 +0000 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) (Ping timeout: 272 seconds) |
| 2022-06-28 10:02:51 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-06-28 10:03:09 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-06-28 10:03:15 +0000 | <pavonia> | carbolymer: Yes |
| 2022-06-28 10:03:41 +0000 | <carbolymer> | pavonia: where can I read more on that? I don't know when I need type equality |
| 2022-06-28 10:04:19 +0000 | siraben | (~siraben@user/siraben) (Ping timeout: 252 seconds) |
| 2022-06-28 10:04:32 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Ping timeout: 255 seconds) |
| 2022-06-28 10:04:52 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) (Ping timeout: 252 seconds) |
| 2022-06-28 10:04:52 +0000 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2022-06-28 10:05:05 +0000 | <pavonia> | When you want to give a hint to the compiler where types are/should be equal |
| 2022-06-28 10:05:26 +0000 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Ping timeout: 252 seconds) |
| 2022-06-28 10:05:26 +0000 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) (Ping timeout: 252 seconds) |
| 2022-06-28 10:05:52 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-06-28 10:06:34 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
| 2022-06-28 10:07:06 +0000 | <pavonia> | It's usually necessary with type families of the form `Fam a ~ b` to indicate that the result of applying Fam to a should result in b |
| 2022-06-28 10:07:46 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-06-28 10:08:05 +0000 | <carbolymer> | and why not `Fam b => b` ? |
| 2022-06-28 10:08:38 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-28 10:09:07 +0000 | <pavonia> | I guess that would only work if Fam b would result in a type constraint again |
| 2022-06-28 10:09:08 +0000 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-06-28 10:09:22 +0000 | <pavonia> | or would be a type class in the first place |
| 2022-06-28 10:09:53 +0000 | rodental | (~rodental@38.146.5.222) (Remote host closed the connection) |
| 2022-06-28 10:10:08 +0000 | rodental | (~rodental@38.146.5.222) |
| 2022-06-28 10:10:36 +0000 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2022-06-28 10:11:20 +0000 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-06-28 10:11:49 +0000 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-28 10:12:10 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2022-06-28 10:12:36 +0000 | kuribas | (~user@ptr-17d51ema4ez152mpbt2.18120a2.ip6.access.telenet.be) |
| 2022-06-28 10:13:13 +0000 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
| 2022-06-28 10:14:19 +0000 | <pavonia> | carbolymer: e.g. consider `foo :: Fam a ~ Int => a -> Int`. We don't care what `a` is in this case, but we make sure that the result of `a` applied to type family `Fam` results in an Int |
| 2022-06-28 10:14:49 +0000 | <carbolymer> | oooh |
| 2022-06-28 10:14:54 +0000 | <carbolymer> | now it's clear |
| 2022-06-28 10:15:00 +0000 | <carbolymer> | pavonia: thanks |
| 2022-06-28 10:15:07 +0000 | <pavonia> | No problem |
| 2022-06-28 10:15:19 +0000 | <jackdk> | `2jt: turn off `{-# LANGUAGE OverloadedStrings #-}` (frustrating, but it means that the sting literal must be `[Char]` and then instance selection becomes unambiguous) or (the idiom I usually use `foo .= String "bar"` (as the data constructor `String :: Text -> Value` gives GHC enough info to solve) |
| 2022-06-28 10:16:34 +0000 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) |
| 2022-06-28 10:16:51 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds) |
| 2022-06-28 10:18:06 +0000 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) |
| 2022-06-28 10:18:08 +0000 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
| 2022-06-28 10:18:09 +0000 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) |
| 2022-06-28 10:18:09 +0000 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) |
| 2022-06-28 10:18:09 +0000 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
| 2022-06-28 10:18:10 +0000 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
| 2022-06-28 10:18:10 +0000 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) |
| 2022-06-28 10:19:03 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-28 10:19:57 +0000 | <aforemny> | jackdk: i don't see how turning off overloaded strings helps because there is no `ToJson String` instance, and `String "bar"` should work in presence of overloaded strings as well |
| 2022-06-28 10:21:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-28 10:22:29 +0000 | <aforemny> | jackdk: the `String : Text -> Value` is a good point though! one might also use `T.pack : String -> Text` |
| 2022-06-28 10:23:39 +0000 | <jackdk> | aforemny: Via `instance ToJSON Char` and `instance ToJSON a => ToJSON [a]`; note that `class ToJSON` has a `toJSONList :: [a] -> Value` method |
| 2022-06-28 10:23:53 +0000 | <jackdk> | aforemny: You are correct that the `String` trick does not require disabling `-XOverloadedStrings` |
| 2022-06-28 10:23:54 +0000 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
| 2022-06-28 10:23:56 +0000 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) |
| 2022-06-28 10:24:07 +0000 | <jackdk> | % toJSON "Hello" |
| 2022-06-28 10:24:07 +0000 | <yahb2> | <interactive>:60:1: error: ; Variable not in scope: toJSON :: [Char] -> t |
| 2022-06-28 10:24:11 +0000 | polo | (~Gambino@user/polo) |
| 2022-06-28 10:24:13 +0000 | <jackdk> | % :m + Data.Aeson |
| 2022-06-28 10:24:13 +0000 | <yahb2> | <no location info>: error: ; Could not find module ‘Data.Aeson’ ; Perhaps you meant Data.Version (from base-4.14.3.0) |
| 2022-06-28 10:24:18 +0000 | <jackdk> | ah well |
| 2022-06-28 10:24:44 +0000 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) |
| 2022-06-28 10:24:58 +0000 | <jackdk> | aforemny: https://www.irccloud.com/pastebin/cw0O2Lkw/toJSON-string.txt |
| 2022-06-28 10:25:39 +0000 | gensyst | (gensyst@user/gensyst) (Quit: Leaving) |
| 2022-06-28 10:26:23 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-06-28 10:27:59 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 255 seconds) |
| 2022-06-28 10:28:16 +0000 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2022-06-28 10:29:08 +0000 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:08 +0000 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:08 +0000 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:09 +0000 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:09 +0000 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:09 +0000 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:09 +0000 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:09 +0000 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:09 +0000 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:09 +0000 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:09 +0000 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:09 +0000 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (Quit: Bridge terminating on SIGTERM) |
| 2022-06-28 10:29:09 +0000 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) (Client Quit) |
| 2022-06-28 10:29:10 +0000 | peddie | (~peddie@2001:470:69fc:105::25d) (Client Quit) |
| 2022-06-28 10:29:12 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Client Quit) |
| 2022-06-28 10:29:14 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 242 seconds) |
| 2022-06-28 10:31:12 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2022-06-28 10:31:17 +0000 | <aforemny> | jackdk: oh, then it does make sense to drop overloaded strings. my bad! i cannot find the `ToJSON String` instance and thought it would not follow from `ToJSON Char` and `ToJSON a => ToJSON [a]`.. |
| 2022-06-28 10:31:17 +0000 | teo | (~teo@user/teo) |
| 2022-06-28 10:31:18 +0000 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2022-06-28 10:31:19 +0000 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
| 2022-06-28 10:31:34 +0000 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
| 2022-06-28 10:31:34 +0000 | maralorn | (~maralorn@2001:470:69fc:105::251) |
| 2022-06-28 10:31:48 +0000 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
| 2022-06-28 10:32:03 +0000 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) |
| 2022-06-28 10:32:03 +0000 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) |
| 2022-06-28 10:32:03 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2022-06-28 10:32:03 +0000 | psydroid | (~psydroid@user/psydroid) |
| 2022-06-28 10:32:11 +0000 | <jackdk> | Yeah I could be wrong that it doesn't need both instances; it might just be using `toJSONList @Char` |
| 2022-06-28 10:32:17 +0000 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
| 2022-06-28 10:32:31 +0000 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
| 2022-06-28 10:32:31 +0000 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
| 2022-06-28 10:32:31 +0000 | siraben | (~siraben@user/siraben) |
| 2022-06-28 10:32:44 +0000 | july541[m] | (~july541ma@2001:470:69fc:105::1:e416) |
| 2022-06-28 10:32:44 +0000 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2022-06-28 10:32:59 +0000 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) |
| 2022-06-28 10:33:13 +0000 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) |
| 2022-06-28 10:33:13 +0000 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
| 2022-06-28 10:33:18 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-06-28 10:33:28 +0000 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
| 2022-06-28 10:33:30 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-28 10:33:42 +0000 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) |
| 2022-06-28 10:33:42 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-06-28 10:33:42 +0000 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
| 2022-06-28 10:33:52 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-28 10:33:56 +0000 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) |
| 2022-06-28 10:33:56 +0000 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2022-06-28 10:33:56 +0000 | jmcantrell | (~jmcantrel@user/jmcantrell) |
| 2022-06-28 10:33:56 +0000 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2022-06-28 10:33:56 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2022-06-28 10:33:57 +0000 | thewaves | (~thewaves@2001:470:69fc:105::2:2eef) |
| 2022-06-28 10:34:04 +0000 | polo | money |
| 2022-06-28 10:34:04 +0000 | money | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-28 10:34:12 +0000 | moats | (~oats@user/oats) |
| 2022-06-28 10:34:26 +0000 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
| 2022-06-28 10:34:39 +0000 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
| 2022-06-28 10:34:39 +0000 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
| 2022-06-28 10:34:39 +0000 | ormaaj | (~ormaaj@user/ormaaj) |
| 2022-06-28 10:34:39 +0000 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) |
| 2022-06-28 10:34:40 +0000 | Deide | (~deide@user/deide) |
| 2022-06-28 10:34:44 +0000 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
| 2022-06-28 10:34:58 +0000 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
| 2022-06-28 10:34:58 +0000 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
| 2022-06-28 10:34:58 +0000 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) |
| 2022-06-28 10:35:12 +0000 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) |
| 2022-06-28 10:35:27 +0000 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
| 2022-06-28 10:35:41 +0000 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
| 2022-06-28 10:35:55 +0000 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
| 2022-06-28 10:36:09 +0000 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) |
| 2022-06-28 10:36:24 +0000 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) |
| 2022-06-28 10:36:39 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-28 10:36:45 +0000 | Tubo[m] | (~tubogram@user/tubogram) |
| 2022-06-28 10:36:46 +0000 | Tisoxin | (~ikosit@user/ikosit) |
| 2022-06-28 10:36:46 +0000 | Bulby[m] | (~bulbyvrma@2001:470:69fc:105::1:fe0a) |
| 2022-06-28 10:36:46 +0000 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) |
| 2022-06-28 10:36:46 +0000 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2022-06-28 10:37:07 +0000 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) |
| 2022-06-28 10:37:08 +0000 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2022-06-28 10:37:26 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 255 seconds) |
| 2022-06-28 10:37:30 +0000 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) |
| 2022-06-28 10:37:50 +0000 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2022-06-28 10:38:06 +0000 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) |
| 2022-06-28 10:38:06 +0000 | boxscape | (~boxscape@user/boxscape) |
| 2022-06-28 10:38:25 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-06-28 10:38:38 +0000 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) |
| 2022-06-28 10:38:53 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-06-28 10:38:59 +0000 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) |
| 2022-06-28 10:39:31 +0000 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
| 2022-06-28 10:39:31 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-28 10:39:49 +0000 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
| 2022-06-28 10:39:51 +0000 | hochata | (~hochata@user/hochata) |
| 2022-06-28 10:39:52 +0000 | polykernel[m] | (~polykerne@user/polykernel) |
| 2022-06-28 10:40:20 +0000 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
| 2022-06-28 10:40:41 +0000 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
| 2022-06-28 10:40:53 +0000 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) |
| 2022-06-28 10:40:54 +0000 | steshaw[m] | (~steshawma@2001:470:69fc:105::1:a963) |
| 2022-06-28 10:41:06 +0000 | Etxeberrialex[m] | (~etxeberri@2001:470:69fc:105::1:5ae6) |
| 2022-06-28 10:41:07 +0000 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
| 2022-06-28 10:41:07 +0000 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) |
| 2022-06-28 10:41:07 +0000 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
| 2022-06-28 10:41:20 +0000 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
| 2022-06-28 10:41:20 +0000 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) |
| 2022-06-28 10:41:33 +0000 | shiraeeshi[m] | (~shiraeesh@2001:470:69fc:105::1:77) |
| 2022-06-28 10:41:47 +0000 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2022-06-28 10:41:48 +0000 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) |
| 2022-06-28 10:43:41 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 255 seconds) |
| 2022-06-28 10:44:27 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2022-06-28 10:44:54 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-28 10:45:07 +0000 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 2022-06-28 10:48:06 +0000 | christiansen | (~christian@152.115.131.42) |
| 2022-06-28 10:49:09 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Read error: Connection reset by peer) |
| 2022-06-28 10:49:19 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-28 10:49:39 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-06-28 10:50:53 +0000 | <dminuoso> | Disabling aeson instances via cabal flags. Is this a good idea? |
| 2022-06-28 10:51:30 +0000 | <dminuoso> | That is, they would be enabled by default, but in case you dont want to drag in aeson, you could disable it via a flag. While it cant be placed in the .cabal file, at least individual projects can reduce dependency footprint. |
| 2022-06-28 10:51:47 +0000 | <dminuoso> | maerwald: I know you have some strong feelings about flags, how about this usage? |
| 2022-06-28 10:55:47 +0000 | christiansen | (~christian@152.115.131.42) (Ping timeout: 256 seconds) |
| 2022-06-28 10:56:57 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-06-28 10:57:06 +0000 | cyanide3dinner | (~cyanide4d@106.201.249.151) |
| 2022-06-28 10:57:39 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-28 10:57:46 +0000 | raym | (~raym@user/raym) |
| 2022-06-28 10:58:11 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-28 11:05:22 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-28 11:10:36 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ac33:ae13:96f7:5c2d) |
| 2022-06-28 11:11:05 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 2022-06-28 11:11:09 +0000 | obabo | (~obabo@2E8BF8F7.catv.pool.telekom.hu) |
| 2022-06-28 11:13:36 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-06-28 11:13:49 +0000 | ncopa | (~ncopa@gbr2-dev1.alpinelinux.org) (Alpine Linux, the security-oriented, lightweight Linux distribution) |
| 2022-06-28 11:14:43 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2022-06-28 11:15:46 +0000 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 272 seconds) |
| 2022-06-28 11:15:53 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-28 11:16:21 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-28 11:17:33 +0000 | FragByte_ | (~christian@user/fragbyte) |
| 2022-06-28 11:18:21 +0000 | FragByte | (~christian@user/fragbyte) (Ping timeout: 246 seconds) |
| 2022-06-28 11:18:21 +0000 | FragByte_ | FragByte |
| 2022-06-28 11:21:00 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 260 seconds) |
| 2022-06-28 11:23:01 +0000 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-28 11:24:55 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
| 2022-06-28 11:25:21 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-06-28 11:25:43 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-28 11:26:02 +0000 | cfricke | (~cfricke@user/cfricke) (Read error: Connection reset by peer) |
| 2022-06-28 11:28:32 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-28 11:28:42 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-06-28 11:31:03 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-28 11:32:12 +0000 | <maerwald[m]> | dminuoso: disabling API via flags doesn't break packages at least |
| 2022-06-28 11:32:32 +0000 | <maerwald[m]> | If the default is really enabled |
| 2022-06-28 11:35:31 +0000 | <maerwald[m]> | You'd still have to make sure your package compiles with the default flags if it's. The only pitfall could be imports I think |
| 2022-06-28 11:35:51 +0000 | z0k | (~z0k@206.84.143.59) |
| 2022-06-28 11:35:51 +0000 | z0k | (~z0k@206.84.143.59) (Client Quit) |
| 2022-06-28 11:36:02 +0000 | <maerwald[m]> | When another package/import provides the disabled API |
| 2022-06-28 11:37:14 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2022-06-28 11:41:13 +0000 | cyanide3dinner | (~cyanide4d@106.201.249.151) (Remote host closed the connection) |
| 2022-06-28 11:42:16 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-06-28 11:43:36 +0000 | teo | (~teo@user/teo) (Ping timeout: 276 seconds) |
| 2022-06-28 11:43:50 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
| 2022-06-28 11:45:08 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-28 12:00:46 +0000 | Guest|84 | (~Guest|84@109.95.113.8) |
| 2022-06-28 12:03:22 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-28 12:03:40 +0000 | Polo | (~Gambino@user/polo) |
| 2022-06-28 12:03:41 +0000 | alp | (~alp@user/alp) |
| 2022-06-28 12:05:53 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-28 12:07:30 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2022-06-28 12:10:41 +0000 | alexhandy2 | (~trace@user/trace) |
| 2022-06-28 12:11:33 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-06-28 12:11:45 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-06-28 12:13:17 +0000 | alexhandy | (~trace@user/trace) (Ping timeout: 255 seconds) |
| 2022-06-28 12:14:38 +0000 | glguy | (x@libera/staff/glguy) (Ping timeout: 624 seconds) |
| 2022-06-28 12:16:11 +0000 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 2022-06-28 12:19:32 +0000 | Guest|84 | (~Guest|84@109.95.113.8) (Quit: Connection closed) |
| 2022-06-28 12:20:23 +0000 | adrazalan | (~adrazalan@42.191.189.65) |
| 2022-06-28 12:22:31 +0000 | glguy | (x@libera/staff/glguy) |
| 2022-06-28 12:23:12 +0000 | pleo | (~pleo@user/pleo) |
| 2022-06-28 12:23:26 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
| 2022-06-28 12:24:22 +0000 | acidjnk_new | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
| 2022-06-28 12:27:41 +0000 | acidjnk_new3 | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2022-06-28 12:28:04 +0000 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
| 2022-06-28 12:28:48 +0000 | Polo | money |
| 2022-06-28 12:29:39 +0000 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Remote host closed the connection) |
| 2022-06-28 12:30:08 +0000 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
| 2022-06-28 12:30:25 +0000 | acidjnk_new | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-06-28 12:30:40 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-06-28 12:30:52 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-28 12:32:25 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-06-28 12:38:50 +0000 | arjun | (~arjun@user/arjun) |
| 2022-06-28 12:40:14 +0000 | vysn | (~vysn@user/vysn) |
| 2022-06-28 12:40:43 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-06-28 12:49:28 +0000 | <carbolymer> | Did you guys have any weird experiences with CMS GC (-xn) on GHC 8? It seems whenever I turn it on, our E2E tests start to failing randomly (and very rarely) in CI with "connection refused" errors (the server is in Haskell). |
| 2022-06-28 12:54:07 +0000 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Remote host closed the connection) |
| 2022-06-28 12:54:30 +0000 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-06-28 12:54:31 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-06-28 12:55:18 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-06-28 12:55:25 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-06-28 12:57:19 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-06-28 12:57:41 +0000 | alp | (~alp@user/alp) |
| 2022-06-28 12:59:37 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2022-06-28 13:02:07 +0000 | meinside | (uid24933@helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-28 13:02:14 +0000 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:a06a:2275:7fb5:9f64) (Remote host closed the connection) |
| 2022-06-28 13:02:32 +0000 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:a06a:2275:7fb5:9f64) |
| 2022-06-28 13:05:06 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2022-06-28 13:06:23 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-28 13:06:58 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2022-06-28 13:11:23 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-28 13:18:02 +0000 | king_gs | (~Thunderbi@2806:103e:29:a4ff:9938:ec1d:a54a:6688) |
| 2022-06-28 13:18:52 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-06-28 13:19:48 +0000 | money | (~Gambino@user/polo) (Ping timeout: 246 seconds) |
| 2022-06-28 13:25:23 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-28 13:27:06 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 264 seconds) |
| 2022-06-28 13:28:29 +0000 | vysn | (~vysn@user/vysn) |
| 2022-06-28 13:29:50 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
| 2022-06-28 13:30:15 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-06-28 13:32:48 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-06-28 13:33:54 +0000 | coot | (~coot@213.134.190.95) |
| 2022-06-28 13:34:19 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-06-28 13:35:44 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-28 13:37:30 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-06-28 13:40:36 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-06-28 13:41:15 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host) |
| 2022-06-28 13:41:15 +0000 | Polo | (~Gambino@user/polo) |
| 2022-06-28 13:41:32 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-28 13:46:50 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 2022-06-28 13:51:30 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-28 13:52:21 +0000 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2022-06-28 13:53:46 +0000 | Schrostfutz | (~Schrostfu@schettlerdck.tkn.tu-berlin.de) |
| 2022-06-28 13:59:44 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2022-06-28 14:02:35 +0000 | pleo | (~pleo@user/pleo) (Ping timeout: 260 seconds) |
| 2022-06-28 14:02:38 +0000 | kimjetwav | (~user@2607:fea8:2340:da00:cb6e:c5ea:ab85:281d) (Ping timeout: 244 seconds) |
| 2022-06-28 14:09:09 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-28 14:13:40 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-06-28 14:14:50 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-06-28 14:15:15 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-28 14:15:22 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-28 14:17:01 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-28 14:17:28 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-06-28 14:18:22 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-28 14:20:40 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-06-28 14:21:51 +0000 | king_gs | (~Thunderbi@2806:103e:29:a4ff:9938:ec1d:a54a:6688) (Quit: king_gs) |
| 2022-06-28 14:22:29 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 14:23:54 +0000 | <DGMrKong> | Did I accidentally fill this chat with IRC error messages all night? I just got back and my console is filled with them :( |
| 2022-06-28 14:24:46 +0000 | <geekosaur> | no more than anyone else, from my backscroll |
| 2022-06-28 14:24:53 +0000 | <merijn> | If you had someone would've probably kicked or quited you :p |
| 2022-06-28 14:24:58 +0000 | <merijn> | *quieted |
| 2022-06-28 14:25:46 +0000 | <DGMrKong> | yea, I guess they were client side errors. I have one every few seconds for the past 12 hours |
| 2022-06-28 14:26:04 +0000 | <DGMrKong> | I should probably dc next time lol |
| 2022-06-28 14:26:12 +0000 | arjun | (~arjun@user/arjun) (Quit: tip toe-ing my way outta here) |
| 2022-06-28 14:27:02 +0000 | DGMrKong | ARJ0019 |
| 2022-06-28 14:27:03 +0000 | <geekosaur> | we have a log you can consult if you want to see what's been going on (check the /topic) |
| 2022-06-28 14:27:40 +0000 | dos__^^` | (~user@2409:8a55:e215:3930:58b9:4cff:fea0:d9) (Ping timeout: 272 seconds) |
| 2022-06-28 14:37:28 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-06-28 14:38:01 +0000 | dostoevsky | (~5c42c5384@user/dostoevsky) |
| 2022-06-28 14:40:18 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-06-28 14:42:14 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-28 14:43:18 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-06-28 14:43:40 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-06-28 14:43:48 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2022-06-28 14:45:48 +0000 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
| 2022-06-28 14:48:27 +0000 | Polo | money |
| 2022-06-28 14:48:27 +0000 | money | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-28 14:51:10 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-28 15:01:38 +0000 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 240 seconds) |
| 2022-06-28 15:04:37 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
| 2022-06-28 15:05:00 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-06-28 15:09:14 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Ping timeout: 255 seconds) |
| 2022-06-28 15:14:09 +0000 | pleo | (~pleo@user/pleo) |
| 2022-06-28 15:17:33 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-06-28 15:18:43 +0000 | Topsi | (~Topsi@dyndsl-095-033-026-158.ewe-ip-backbone.de) |
| 2022-06-28 15:25:53 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-28 15:28:02 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-06-28 15:28:39 +0000 | Topsi1 | (~Topsi@dyndsl-095-033-026-158.ewe-ip-backbone.de) |
| 2022-06-28 15:30:22 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
| 2022-06-28 15:31:18 +0000 | Topsi | (~Topsi@dyndsl-095-033-026-158.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 2022-06-28 15:33:16 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:8802:f60f:4588:60d8) (Quit: WeeChat 2.8) |
| 2022-06-28 15:33:18 +0000 | pleo | (~pleo@user/pleo) (Ping timeout: 240 seconds) |
| 2022-06-28 15:35:24 +0000 | Polo | (~Gambino@user/polo) |
| 2022-06-28 15:36:09 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-06-28 15:39:14 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-06-28 15:39:57 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-06-28 15:40:51 +0000 | cyanide3dinner | (~cyanide4d@106.201.249.151) |
| 2022-06-28 15:41:00 +0000 | pleo | (~pleo@user/pleo) |
| 2022-06-28 15:43:30 +0000 | Polo | money |
| 2022-06-28 15:47:21 +0000 | econo | (uid147250@user/econo) |
| 2022-06-28 15:55:31 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-28 15:57:00 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-28 16:03:36 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-06-28 16:05:45 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-28 16:10:16 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2022-06-28 16:11:30 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-06-28 16:12:00 +0000 | Schrostfutz | (~Schrostfu@schettlerdck.tkn.tu-berlin.de) (Ping timeout: 246 seconds) |
| 2022-06-28 16:12:35 +0000 | ccntrq | (~Thunderbi@2a01:c22:8d91:d900:a06a:2275:7fb5:9f64) (Remote host closed the connection) |
| 2022-06-28 16:13:18 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-06-28 16:13:38 +0000 | money | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-28 16:15:30 +0000 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2022-06-28 16:15:31 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-28 16:18:00 +0000 | ubert | (~Thunderbi@2a02:8109:abc0:6434:2ecd:7f13:b280:b2e) (Remote host closed the connection) |
| 2022-06-28 16:18:17 +0000 | machinedgod | (~machinedg@96.53.10.178) |
| 2022-06-28 16:26:17 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-06-28 16:27:26 +0000 | cyanide3dinner | (~cyanide4d@106.201.249.151) (Remote host closed the connection) |
| 2022-06-28 16:31:50 +0000 | pwug | (~pwug@user/pwug) |
| 2022-06-28 16:31:59 +0000 | mbuf | (~Shakthi@122.164.12.62) (Quit: Leaving) |
| 2022-06-28 16:33:15 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-06-28 16:33:15 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2022-06-28 16:33:15 +0000 | jinsun__ | jinsun |
| 2022-06-28 16:40:29 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 16:40:29 +0000 | ARJ0019 | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 16:44:24 +0000 | causal | (~user@50.35.83.177) |
| 2022-06-28 16:45:09 +0000 | alexhandy2 | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-28 16:45:27 +0000 | alexhandy | (~trace@user/trace) |
| 2022-06-28 16:45:53 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-28 16:49:40 +0000 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-06-28 16:51:07 +0000 | cyanide3dinner | (~cyanide4d@106.201.249.151) |
| 2022-06-28 16:51:38 +0000 | machinedgod | (~machinedg@96.53.10.178) (Ping timeout: 240 seconds) |
| 2022-06-28 16:55:09 +0000 | yax__ | (~yax__@user/yax/x-9576643) |
| 2022-06-28 16:56:15 +0000 | misterfish | (~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) (Ping timeout: 276 seconds) |
| 2022-06-28 16:56:17 +0000 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) |
| 2022-06-28 16:56:51 +0000 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-28 16:57:44 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-06-28 16:58:15 +0000 | arjun | (~arjun@user/arjun) |
| 2022-06-28 16:58:35 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2022-06-28 16:59:06 +0000 | coot | (~coot@213.134.190.95) |
| 2022-06-28 17:00:53 +0000 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 17:01:03 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 17:02:16 +0000 | werneta | (~werneta@137.78.30.207) |
| 2022-06-28 17:02:27 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-28 17:04:52 +0000 | img | (~img@user/img) |
| 2022-06-28 17:06:47 +0000 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 17:06:57 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 17:09:50 +0000 | johnsoar | (~arj0019@162.218.254.7) |
| 2022-06-28 17:09:50 +0000 | DGMrKong | (~arj0019@162.218.254.7) (Read error: Connection reset by peer) |
| 2022-06-28 17:10:05 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.5) |
| 2022-06-28 17:12:16 +0000 | ystael | (~ystael@user/ystael) |
| 2022-06-28 17:12:18 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-06-28 17:15:39 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-06-28 17:16:27 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-06-28 17:18:45 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-28 17:21:32 +0000 | Major_Biscuit | (~MajorBisc@c-001-009-008.client.tudelft.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-06-28 17:26:20 +0000 | redmp | (~redmp@lib-02-subnet-194.rdns.cenic.net) |
| 2022-06-28 17:27:30 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-28 17:35:08 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-06-28 17:36:02 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-06-28 17:38:18 +0000 | simendsjo | (~user@84.211.91.241) |
| 2022-06-28 17:38:53 +0000 | merijn | (~merijn@86.86.29.250) |
| 2022-06-28 17:40:40 +0000 | mmhat | (~mmh@p200300f1c7385d3bee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-06-28 17:46:33 +0000 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-28 17:47:10 +0000 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 260 seconds) |
| 2022-06-28 17:48:04 +0000 | pseigo | (~pseigo@node-1w7jr9ye7hx4fsjarlsl1lkjw.ipv6.telus.net) |
| 2022-06-28 17:51:28 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-06-28 17:54:54 +0000 | mmhat | (~mmh@p200300f1c7385d0fee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-06-28 17:56:39 +0000 | xf00b4r | (~soukenka@104-217.internetbox.cz) |
| 2022-06-28 17:58:11 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-06-28 18:01:31 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Read error: Connection reset by peer) |
| 2022-06-28 18:03:29 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:3220:4ec5:12ce:8aed) |
| 2022-06-28 18:03:41 +0000 | arjun | vengeance |
| 2022-06-28 18:05:02 +0000 | pseigo | (~pseigo@node-1w7jr9ye7hx4fsjarlsl1lkjw.ipv6.telus.net) (Quit: left) |
| 2022-06-28 18:05:12 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
| 2022-06-28 18:06:31 +0000 | vengeance | vengence |
| 2022-06-28 18:07:25 +0000 | vengence | (~arjun@user/arjun) (Quit: tip toe-ing my way outta here) |
| 2022-06-28 18:08:42 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-06-28 18:11:56 +0000 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) (Quit: leaving) |
| 2022-06-28 18:12:22 +0000 | wenjie | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-06-28 18:12:38 +0000 | wenjie | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Client Quit) |
| 2022-06-28 18:12:53 +0000 | wenjie | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-06-28 18:13:17 +0000 | merijn | (~merijn@86.86.29.250) (Ping timeout: 255 seconds) |
| 2022-06-28 18:13:45 +0000 | johnsoar | arj0019 |
| 2022-06-28 18:14:42 +0000 | kuribas | (~user@ptr-17d51ema4ez152mpbt2.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-06-28 18:15:52 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-28 18:19:58 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-06-28 18:20:26 +0000 | obabo | (~obabo@2E8BF8F7.catv.pool.telekom.hu) (Quit: WeeChat 3.5) |
| 2022-06-28 18:22:03 +0000 | <Boarders__> | could someone remind me how you pass a custom type of a library in haskell? |
| 2022-06-28 18:22:26 +0000 | <Boarders__> | e.g. the ordered-keymap in aeson (I don't need this flag specifically, just want to know how you do it) |
| 2022-06-28 18:23:41 +0000 | <[exa]> | "how you pass a custom type of a library" ... to where do you want to pass it? |
| 2022-06-28 18:24:08 +0000 | <Boarders__> | sorry that was meant to read flag |
| 2022-06-28 18:24:21 +0000 | <merijn> | Boarders__: from where? |
| 2022-06-28 18:24:38 +0000 | <merijn> | Boarders__: Should just be -fflagname on the commandline |
| 2022-06-28 18:25:05 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2022-06-28 18:25:21 +0000 | <[exa]> | ah a flag, yes |
| 2022-06-28 18:25:23 +0000 | <Boarders__> | so I could put -fordered-keymap in ghc-options in cabal? |
| 2022-06-28 18:25:54 +0000 | <geekosaur> | it's not a ghc option, it's a Cabal option. stack and cabal have slightly different ways of doing it |
| 2022-06-28 18:26:11 +0000 | <[exa]> | you may like constraints: as in https://stackoverflow.com/questions/23523869/is-there-any-way-to-define-flags-for-cabal-dependenci… |
| 2022-06-28 18:26:13 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-28 18:27:16 +0000 | <Boarders__> | what is the cabal way of doing it? |
| 2022-06-28 18:28:47 +0000 | <geekosaur> | the link [exa] gave you shows both stack and cabal ways |
| 2022-06-28 18:28:54 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 264 seconds) |
| 2022-06-28 18:29:44 +0000 | <[exa]> | btw the answer "you cannot do this with cabal" is probably no longer valid there |
| 2022-06-28 18:30:00 +0000 | <geekosaur> | it was once true, but then the cabal.project way was added |
| 2022-06-28 18:30:16 +0000 | <geekosaur> | sadly a bunch of stackers think cabal's still on 1.24 |
| 2022-06-28 18:30:34 +0000 | <[exa]> | let's add a comment :] |
| 2022-06-28 18:31:04 +0000 | <geekosaur> | one of the answres above that one already says this (that it used to be true but then cabal.project way was added) |
| 2022-06-28 18:31:24 +0000 | <geekosaur> | possibly it should be downvoted though now that it's false |
| 2022-06-28 18:31:45 +0000 | <[exa]> | well I can edit it |
| 2022-06-28 18:32:07 +0000 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-28 18:32:09 +0000 | <[exa]> | ah no, but I can ask people to edit :] |
| 2022-06-28 18:33:19 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Remote host closed the connection) |
| 2022-06-28 18:34:18 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
| 2022-06-28 18:34:25 +0000 | <Boarders__> | thanks for the help all |
| 2022-06-28 18:35:15 +0000 | <[exa]> | yw :] |
| 2022-06-28 18:36:53 +0000 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-28 18:37:11 +0000 | alexhandy | (~trace@user/trace) |
| 2022-06-28 18:40:45 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2022-06-28 18:41:04 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-28 18:42:18 +0000 | <shiraeeshi[m]> | there is an exercise about red-black trees that I don't understand |
| 2022-06-28 18:42:24 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-06-28 18:42:44 +0000 | <shiraeeshi[m]> | it's an exercise 3.10 (b) from "Purely functional data structures" |
| 2022-06-28 18:43:24 +0000 | <shiraeeshi[m]> | (a) is about splitting the balance function to two: lbalance and rbalance |
| 2022-06-28 18:43:57 +0000 | <shiraeeshi[m]> | (b) says: |
| 2022-06-28 18:44:34 +0000 | <shiraeeshi[m]> | Extending the same logic one step further, one of the remaining tests on the grandchildren is also unnecessary. Rewrite "ins" so that it never tests the color of nodes not on the search path. |
| 2022-06-28 18:45:18 +0000 | <shiraeeshi[m]> | here is a source code of RedBlackSet: https://imgur.com/a/oIlSxgf |
| 2022-06-28 18:46:00 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-06-28 18:46:25 +0000 | <shiraeeshi[m]> | I can't find the unnecessary test, where is it? |
| 2022-06-28 18:46:51 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Remote host closed the connection) |
| 2022-06-28 18:46:57 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-28 18:47:38 +0000 | simendsjo | (~user@84.211.91.241) (Remote host closed the connection) |
| 2022-06-28 18:50:11 +0000 | pleo | (~pleo@user/pleo) (Ping timeout: 255 seconds) |
| 2022-06-28 18:53:39 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-28 18:55:43 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-06-28 18:56:27 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-28 18:58:54 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 264 seconds) |
| 2022-06-28 18:58:55 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2022-06-28 19:00:45 +0000 | vysn | (~vysn@user/vysn) |
| 2022-06-28 19:01:17 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
| 2022-06-28 19:05:13 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-06-28 19:06:20 +0000 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-28 19:08:00 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-28 19:08:36 +0000 | mixfix41 | (~sdenynine@user/mixfix41) (Ping timeout: 268 seconds) |
| 2022-06-28 19:13:35 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
| 2022-06-28 19:19:11 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-28 19:24:54 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-28 19:26:23 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-28 19:31:43 +0000 | pleo | (~pleo@user/pleo) |
| 2022-06-28 19:34:38 +0000 | coot | (~coot@213.134.190.95) |
| 2022-06-28 19:37:29 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-06-28 19:38:52 +0000 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
| 2022-06-28 19:39:09 +0000 | Polo | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-28 19:42:37 +0000 | yax__ | (~yax__@user/yax/x-9576643) () |
| 2022-06-28 19:43:48 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-28 19:44:54 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-06-28 19:50:45 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2022-06-28 19:50:59 +0000 | phma | (phma@2001:5b0:211f:48f8:5ae4:1ee8:155:7a3e) (Read error: Connection reset by peer) |
| 2022-06-28 19:51:19 +0000 | phma | (phma@2001:5b0:211f:48f8:8c9c:405b:2b8d:7378) |
| 2022-06-28 19:55:38 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2022-06-28 19:55:59 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Remote host closed the connection) |
| 2022-06-28 19:57:25 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) |
| 2022-06-28 20:00:23 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-06-28 20:01:36 +0000 | glguy | (x@libera/staff/glguy) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | koz | (~koz@121.99.240.58) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | sayola1 | (~vekto@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Colere | (~colere@about/linux/staff/sauvin) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | koolazer | (~koo@user/koolazer) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | marienz | (marienz@libera/staff/marienz) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | adium | (adium@user/adium) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | inversed | (~inversed@05412f44.skybroadband.com) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | tomgus1 | (~tomgus1@90.218.25.145) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | AlexZenon | (~alzenon@178.34.160.206) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Alex_test | (~al_test@178.34.160.206) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | finsternis | (~X@23.226.237.192) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | stefan-_ | (~cri@42dots.de) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | aeka | (~aeka@user/hiruji) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | maerwald | (~maerwald@user/maerwald) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Henkru | (henkru@kapsi.fi) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Teacup | (~teacup@user/teacup) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | bliminse | (~bliminse@host86-164-164-134.range86-164.btcentralplus.com) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | kitty3 | (~kitty@096-039-147-043.res.spectrum.com) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | tnks | (sid412124@helmsley.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | forell | (~forell@user/forell) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | tureba | (~tureba@tureba.org) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | andjjj23_ | (~irc@107.170.228.47) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | asm | (~alexander@user/asm) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | canta | (~canta@user/canta) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | poljar | (~poljar@93-139-81-189.adsl.net.t-com.hr) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | pierrot | (~pi@user/pierrot) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | anderson | (~ande@user/anderson) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | swistak- | (~swistak@185.21.216.141) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | axel-bee | (~axel-bee@alexbenishek.com) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | biberu | (~biberu@user/biberu) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Tubo[m] | (~tubogram@user/tubogram) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | bitonic | (~bitonic@2001:470:69fc:105::1812) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Bulby[m] | (~bulbyvrma@2001:470:69fc:105::1:fe0a) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | hochata | (~hochata@user/hochata) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | polykernel[m] | (~polykerne@user/polykernel) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | moats | (~oats@user/oats) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | boxscape | (~boxscape@user/boxscape) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | unclechu | (~unclechu@2001:470:69fc:105::354) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | july541[m] | (~july541ma@2001:470:69fc:105::1:e416) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | thewaves | (~thewaves@2001:470:69fc:105::2:2eef) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | jinsun_ | (~jinsun@user/jinsun) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Tisoxin | (~ikosit@user/ikosit) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | maralorn | (~maralorn@2001:470:69fc:105::251) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | jmcantrell | (~jmcantrel@user/jmcantrell) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | sm | (~sm@plaintextaccounting/sm) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | steshaw[m] | (~steshawma@2001:470:69fc:105::1:a963) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | peddie | (~peddie@2001:470:69fc:105::25d) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | Deide | (~deide@user/deide) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (*.net *.split) |
| 2022-06-28 20:01:36 +0000 | psydroid | (~psydroid@user/psydroid) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | siraben | (~siraben@user/siraben) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | ormaaj | (~ormaaj@user/ormaaj) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | BusConscious | (~martin@ip5f5bdf0d.dynamic.kabel-deutschland.de) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:812e:6c05:83db:6853) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | matijja | (~matijja@193.77.181.201) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | chomwitt | (~chomwitt@2a02:587:dc1c:800:5c71:ba1b:727c:3afe) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | edr | (~edr@user/edr) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | MironZ | (~MironZ@nat-infra.ehlab.uk) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Me-me | (~me-me@user/me-me) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | carter | (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | gregberns__ | (sid315709@helmsley.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Adran | (adran@botters/adran) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Unhammer | (~Unhammer@user/unhammer) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | jleightcap | (7bc4014b62@user/jleightcap) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | davetapley_ | (sid666@id-666.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | whez | (sid470288@id-470288.lymington.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | jakzale | (6291399afa@user/jakzale) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | dawdler_ | (035b60b5aa@2604:bf00:561:2000::3b6) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | bookshelfdave | (sid28102@id-28102.ilkley.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | filwisher_ | (2e6936c793@2604:bf00:561:2000::170) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | dispater | (~dispater@user/brprice) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | ario_ | (~ario@159.65.220.102) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | DigitalKiwi | (~kiwi@137.184.156.191) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Arsen | (arsen@managarm/dev/Arsen) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | dfg | (dfg@user/dfg) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | tomjaguarpaw | (~tom@li367-225.members.linode.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | incertia | (~incertia@d47-69-133-171.try.wideopenwest.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | ptrcmd | (~ptrcmd@user/ptrcmd) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | triteraflops | (~triterafl@user/triteraflops) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | icebreaker | (~icebreake@user/icebreaker) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Philonous_ | (~Philonous@user/philonous) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | tafa | (~tafa@user/tafa) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | bajskorfven00 | (~bajskorfv@90-231-13-185-no3430.tbcn.telia.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | melonai | (~mel@rnrd.eu) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | exarkun | (~exarkun@user/exarkun) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Xe | (~cadey@tailscale/xe) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | gawen | (~gawen@user/gawen) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | remexre | (~remexre@user/remexre) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | raym | (~raym@user/raym) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | shiraeeshi[m] | (~shiraeesh@2001:470:69fc:105::1:77) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Etxeberrialex[m] | (~etxeberri@2001:470:69fc:105::1:5ae6) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | zeenk | (~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | funsafe | (~funsafe@2601:1c1:4200:9ac:84cb:185c:2a3c:c92c) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | shapr | (~user@2600:4040:2d31:7100:8013:8b59:ab30:ac29) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | landonf | (landonf@mac68k.info) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | AkechiShiro | (~licht@user/akechishiro) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | conjunctive_ | (sid433686@id-433686.helmsley.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | shinjipf | (~shinjipf@2a02:c207:2082:6685::1) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | [_________] | (~oos95GWG@user/oos95GWG) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | bonz060_ | (~quassel@2001:bc8:47a4:a23::1) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | lightandlight | (sid135476@2a03:5180:f:1::2:1134) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | integral | (sid296274@user/integral) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | acacia | (~alloca@user/suppi) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | acertain | (sid470584@id-470584.hampstead.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | saolsen | (sid26430@id-26430.lymington.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | ddb | (~ddb@ipv6two.tilde.club) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | acarrico | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | averell | (~averell@user/averell) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | srk | (~sorki@user/srk) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | dfordivam1 | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Fischmie1 | (~Fischmiep@user/Fischmiep) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | ian__ | (~ian@matrix.chaos.earth.li) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | sweater1 | (~sweater@206.81.18.26) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | hyiltiz_ | (~quassel@31.220.5.250) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | zachel_ | (~zachel@user/zachel) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | Dorkside69 | (~dorkside@208.190.197.222) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | statusbot3 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | blades | (~blades@204.48.29.163) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | drewolson | (~drewolson@user/drewolson) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2022-06-28 20:01:37 +0000 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | bcmiller_ | (~bm3719@66.42.95.185) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | bjobjo | (~bjobjo@user/bjobjo) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | eax_ | (6ba2dd7b84@user/eax/x-8810663) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | ente | (~daemon@inferno.barfooze.de) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | quintasan | (~quassel@quintasan.pl) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | robertm | (robertm@lattice.rojoma.com) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | dequbed | (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | h2t | (~h2t@user/h2t) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | s4msung | (anUIaa0rBw@user/s4msung) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | hays | (rootvegeta@fsf/member/hays) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | taktoa[c] | (sid282096@2a03:5180:f::4:4df0) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | AndreasK | (sid320732@2a03:5180:f:5::4:e4dc) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | bbhoss | (sid18216@2a03:5180:f::4728) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | mrianbloom | (sid350277@2a03:5180:f:3::5:5845) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | tubogram44 | (~tubogram@user/tubogram) (*.net *.split) |
| 2022-06-28 20:01:38 +0000 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split) |
| 2022-06-28 20:03:05 +0000 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-06-28 20:04:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-06-28 20:08:23 +0000 | atwm | (~atwm@81.28.193.19) |
| 2022-06-28 20:09:13 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-06-28 20:11:34 +0000 | pseigo | (~pseigo@d108-173-20-33.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2022-06-28 20:12:47 +0000 | inversed | (~inversed@5.65.47.68) |
| 2022-06-28 20:14:31 +0000 | shreyasminocha_ | (51fdc93eda@user/shreyasminocha) |
| 2022-06-28 20:14:32 +0000 | Arsen_ | (arsen@managarm/dev/Arsen) |
| 2022-06-28 20:14:45 +0000 | glguy | (x@libera/staff/glguy) |
| 2022-06-28 20:14:45 +0000 | raym | (~raym@user/raym) |
| 2022-06-28 20:14:45 +0000 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 2022-06-28 20:14:45 +0000 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) |
| 2022-06-28 20:14:45 +0000 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2022-06-28 20:14:45 +0000 | shiraeeshi[m] | (~shiraeesh@2001:470:69fc:105::1:77) |
| 2022-06-28 20:14:45 +0000 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) |
| 2022-06-28 20:14:45 +0000 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
| 2022-06-28 20:14:45 +0000 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
| 2022-06-28 20:14:45 +0000 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) |
| 2022-06-28 20:14:45 +0000 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
| 2022-06-28 20:14:45 +0000 | Etxeberrialex[m] | (~etxeberri@2001:470:69fc:105::1:5ae6) |
| 2022-06-28 20:14:45 +0000 | steshaw[m] | (~steshawma@2001:470:69fc:105::1:a963) |
| 2022-06-28 20:14:45 +0000 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) |
| 2022-06-28 20:14:45 +0000 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
| 2022-06-28 20:14:45 +0000 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
| 2022-06-28 20:14:45 +0000 | polykernel[m] | (~polykerne@user/polykernel) |
| 2022-06-28 20:14:45 +0000 | hochata | (~hochata@user/hochata) |
| 2022-06-28 20:14:45 +0000 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
| 2022-06-28 20:14:45 +0000 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
| 2022-06-28 20:14:45 +0000 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) |
| 2022-06-28 20:14:45 +0000 | baaash[m] | (~baaashmat@2001:470:69fc:105::2:1e90) |
| 2022-06-28 20:14:45 +0000 | boxscape | (~boxscape@user/boxscape) |
| 2022-06-28 20:14:45 +0000 | luke-clifton[m] | (~luke-clif@2001:470:69fc:105::2:3122) |
| 2022-06-28 20:14:45 +0000 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2022-06-28 20:14:45 +0000 | Player-205[m] | (~sashaserp@2001:470:69fc:105::2:30b8) |
| 2022-06-28 20:14:45 +0000 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2022-06-28 20:14:45 +0000 | lyiriyah[m] | (~lyiriyahm@2001:470:69fc:105::cc0) |
| 2022-06-28 20:14:45 +0000 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2022-06-28 20:14:45 +0000 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) |
| 2022-06-28 20:14:45 +0000 | Bulby[m] | (~bulbyvrma@2001:470:69fc:105::1:fe0a) |
| 2022-06-28 20:14:45 +0000 | Tisoxin | (~ikosit@user/ikosit) |
| 2022-06-28 20:14:45 +0000 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2022-06-28 20:14:45 +0000 | Tubo[m] | (~tubogram@user/tubogram) |
| 2022-06-28 20:14:45 +0000 | doomfume[m]1 | (~doomfumem@2001:470:69fc:105::2:2a64) |
| 2022-06-28 20:14:45 +0000 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) |
| 2022-06-28 20:14:45 +0000 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
| 2022-06-28 20:14:45 +0000 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
| 2022-06-28 20:14:45 +0000 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
| 2022-06-28 20:14:45 +0000 | desklamp[m] | (~desklampm@2001:470:69fc:105::77b8) |
| 2022-06-28 20:14:45 +0000 | sibnull[m] | (~sibnullma@2001:470:69fc:105::1:1291) |
| 2022-06-28 20:14:45 +0000 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
| 2022-06-28 20:14:45 +0000 | jneira[m] | (~jneiramat@2001:470:69fc:105::d729) |
| 2022-06-28 20:14:45 +0000 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
| 2022-06-28 20:14:45 +0000 | Deide | (~deide@user/deide) |
| 2022-06-28 20:14:45 +0000 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) |
| 2022-06-28 20:14:45 +0000 | ormaaj | (~ormaaj@user/ormaaj) |
| 2022-06-28 20:14:45 +0000 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
| 2022-06-28 20:14:45 +0000 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
| 2022-06-28 20:14:45 +0000 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
| 2022-06-28 20:14:45 +0000 | moats | (~oats@user/oats) |
| 2022-06-28 20:14:45 +0000 | thewaves | (~thewaves@2001:470:69fc:105::2:2eef) |
| 2022-06-28 20:14:45 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2022-06-28 20:14:45 +0000 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2022-06-28 20:14:45 +0000 | jmcantrell | (~jmcantrel@user/jmcantrell) |
| 2022-06-28 20:14:45 +0000 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2022-06-28 20:14:45 +0000 | DemiMarieObenour | (~alwayscur@2001:470:69fc:105::4886) |
| 2022-06-28 20:14:45 +0000 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
| 2022-06-28 20:14:45 +0000 | janschneider[m] | (~janschnei@2001:470:69fc:105::1:7625) |
| 2022-06-28 20:14:45 +0000 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
| 2022-06-28 20:14:45 +0000 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
| 2022-06-28 20:14:45 +0000 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) |
| 2022-06-28 20:14:45 +0000 | c_aprakasa[m] | (~caprakasa@2001:470:69fc:105::cfd6) |
| 2022-06-28 20:14:45 +0000 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2022-06-28 20:14:45 +0000 | july541[m] | (~july541ma@2001:470:69fc:105::1:e416) |
| 2022-06-28 20:14:45 +0000 | siraben | (~siraben@user/siraben) |
| 2022-06-28 20:14:45 +0000 | ongy[m] | (~ongymatri@2001:470:69fc:105::5018) |
| 2022-06-28 20:14:45 +0000 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
| 2022-06-28 20:14:45 +0000 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
| 2022-06-28 20:14:45 +0000 | psydroid | (~psydroid@user/psydroid) |
| 2022-06-28 20:14:45 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2022-06-28 20:14:45 +0000 | zfnmxt | (~zfnmxt@2001:470:69fc:105::2b32) |
| 2022-06-28 20:14:45 +0000 | Yehoshua | (~yehoshua@2001:470:69fc:105::1:593f) |
| 2022-06-28 20:14:45 +0000 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
| 2022-06-28 20:14:45 +0000 | maralorn | (~maralorn@2001:470:69fc:105::251) |
| 2022-06-28 20:14:45 +0000 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
| 2022-06-28 20:14:45 +0000 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
| 2022-06-28 20:14:45 +0000 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2022-06-28 20:14:45 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2022-06-28 20:14:45 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-06-28 20:14:45 +0000 | BusConscious | (~martin@ip5f5bdf0d.dynamic.kabel-deutschland.de) |
| 2022-06-28 20:14:45 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
| 2022-06-28 20:14:45 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:812e:6c05:83db:6853) |
| 2022-06-28 20:14:45 +0000 | matijja | (~matijja@193.77.181.201) |
| 2022-06-28 20:14:45 +0000 | zeenk | (~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3) |
| 2022-06-28 20:14:45 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-28 20:14:45 +0000 | chomwitt | (~chomwitt@2a02:587:dc1c:800:5c71:ba1b:727c:3afe) |
| 2022-06-28 20:14:45 +0000 | funsafe | (~funsafe@2601:1c1:4200:9ac:84cb:185c:2a3c:c92c) |
| 2022-06-28 20:14:45 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-06-28 20:14:45 +0000 | edr | (~edr@user/edr) |
| 2022-06-28 20:14:45 +0000 | koz | (~koz@121.99.240.58) |
| 2022-06-28 20:14:45 +0000 | sayola1 | (~vekto@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) |
| 2022-06-28 20:14:45 +0000 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-06-28 20:14:45 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-06-28 20:14:45 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2022-06-28 20:14:45 +0000 | koolazer | (~koo@user/koolazer) |
| 2022-06-28 20:14:45 +0000 | marienz | (marienz@libera/staff/marienz) |
| 2022-06-28 20:14:45 +0000 | adium | (adium@user/adium) |
| 2022-06-28 20:14:45 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2022-06-28 20:14:45 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) |
| 2022-06-28 20:14:45 +0000 | c_wraith | (~c_wraith@adjoint.us) |
| 2022-06-28 20:14:45 +0000 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-06-28 20:14:45 +0000 | tomgus1 | (~tomgus1@90.218.25.145) |
| 2022-06-28 20:14:45 +0000 | shapr | (~user@2600:4040:2d31:7100:8013:8b59:ab30:ac29) |
| 2022-06-28 20:14:45 +0000 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2022-06-28 20:14:45 +0000 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | landonf | (landonf@mac68k.info) |
| 2022-06-28 20:14:45 +0000 | AlexZenon | (~alzenon@178.34.160.206) |
| 2022-06-28 20:14:45 +0000 | Alex_test | (~al_test@178.34.160.206) |
| 2022-06-28 20:14:45 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-28 20:14:45 +0000 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) |
| 2022-06-28 20:14:45 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-06-28 20:14:45 +0000 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-06-28 20:14:45 +0000 | finsternis | (~X@23.226.237.192) |
| 2022-06-28 20:14:45 +0000 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2022-06-28 20:14:45 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 2022-06-28 20:14:45 +0000 | lyxia | (~lyxia@poisson.chat) |
| 2022-06-28 20:14:45 +0000 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2022-06-28 20:14:45 +0000 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
| 2022-06-28 20:14:45 +0000 | stefan-_ | (~cri@42dots.de) |
| 2022-06-28 20:14:45 +0000 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | triteraflops | (~triterafl@user/triteraflops) |
| 2022-06-28 20:14:45 +0000 | aeka | (~aeka@user/hiruji) |
| 2022-06-28 20:14:45 +0000 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2022-06-28 20:14:45 +0000 | maerwald | (~maerwald@user/maerwald) |
| 2022-06-28 20:14:45 +0000 | Henkru | (henkru@kapsi.fi) |
| 2022-06-28 20:14:45 +0000 | Teacup | (~teacup@user/teacup) |
| 2022-06-28 20:14:45 +0000 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
| 2022-06-28 20:14:45 +0000 | bliminse | (~bliminse@host86-164-164-134.range86-164.btcentralplus.com) |
| 2022-06-28 20:14:45 +0000 | kitty3 | (~kitty@096-039-147-043.res.spectrum.com) |
| 2022-06-28 20:14:45 +0000 | Me-me | (~me-me@user/me-me) |
| 2022-06-28 20:14:45 +0000 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) |
| 2022-06-28 20:14:45 +0000 | conjunctive_ | (sid433686@id-433686.helmsley.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | bjs | (sid190364@user/bjs) |
| 2022-06-28 20:14:45 +0000 | gregberns__ | (sid315709@helmsley.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | eax_ | (6ba2dd7b84@user/eax/x-8810663) |
| 2022-06-28 20:14:45 +0000 | tnks | (sid412124@helmsley.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | forell | (~forell@user/forell) |
| 2022-06-28 20:14:45 +0000 | shinjipf | (~shinjipf@2a02:c207:2082:6685::1) |
| 2022-06-28 20:14:45 +0000 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2022-06-28 20:14:45 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2022-06-28 20:14:45 +0000 | tureba | (~tureba@tureba.org) |
| 2022-06-28 20:14:45 +0000 | andjjj23_ | (~irc@107.170.228.47) |
| 2022-06-28 20:14:45 +0000 | asm | (~alexander@user/asm) |
| 2022-06-28 20:14:45 +0000 | canta | (~canta@user/canta) |
| 2022-06-28 20:14:45 +0000 | robbert-vdh | (~robbert@robbertvanderhelm.nl) |
| 2022-06-28 20:14:45 +0000 | bonz060_ | (~quassel@2001:bc8:47a4:a23::1) |
| 2022-06-28 20:14:45 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-06-28 20:14:45 +0000 | Adran | (adran@botters/adran) |
| 2022-06-28 20:14:45 +0000 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2022-06-28 20:14:45 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | lightandlight | (sid135476@2a03:5180:f:1::2:1134) |
| 2022-06-28 20:14:45 +0000 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | poljar | (~poljar@93-139-81-189.adsl.net.t-com.hr) |
| 2022-06-28 20:14:45 +0000 | integral | (sid296274@user/integral) |
| 2022-06-28 20:14:45 +0000 | meejah | (~meejah@rutas.meejah.ca) |
| 2022-06-28 20:14:45 +0000 | liskin | (~liskin@xmonad/liskin) |
| 2022-06-28 20:14:45 +0000 | lieven | (~mal@ns2.wyrd.be) |
| 2022-06-28 20:14:45 +0000 | acacia | (~alloca@user/suppi) |
| 2022-06-28 20:14:45 +0000 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2022-06-28 20:14:45 +0000 | Athas | (athas@sigkill.dk) |
| 2022-06-28 20:14:45 +0000 | pierrot | (~pi@user/pierrot) |
| 2022-06-28 20:14:45 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2022-06-28 20:14:45 +0000 | acertain | (sid470584@id-470584.hampstead.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | saolsen | (sid26430@id-26430.lymington.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | sclv | (sid39734@haskell/developer/sclv) |
| 2022-06-28 20:14:45 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-06-28 20:14:45 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) |
| 2022-06-28 20:14:45 +0000 | ddb | (~ddb@ipv6two.tilde.club) |
| 2022-06-28 20:14:45 +0000 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | acarrico | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) |
| 2022-06-28 20:14:45 +0000 | anderson | (~ande@user/anderson) |
| 2022-06-28 20:14:45 +0000 | averell | (~averell@user/averell) |
| 2022-06-28 20:14:45 +0000 | Unhammer | (~Unhammer@user/unhammer) |
| 2022-06-28 20:14:45 +0000 | swistak- | (~swistak@185.21.216.141) |
| 2022-06-28 20:14:45 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | davetapley_ | (sid666@id-666.uxbridge.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | jkoshy | (99b9359beb@user/jkoshy) |
| 2022-06-28 20:14:45 +0000 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2022-06-28 20:14:45 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2022-06-28 20:14:45 +0000 | sm2n | (ae95cb1267@user/sm2n) |
| 2022-06-28 20:14:45 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2022-06-28 20:14:45 +0000 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 2022-06-28 20:14:45 +0000 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2022-06-28 20:14:45 +0000 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 2022-06-28 20:14:45 +0000 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) |
| 2022-06-28 20:14:45 +0000 | whez | (sid470288@id-470288.lymington.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2022-06-28 20:14:45 +0000 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) |
| 2022-06-28 20:14:45 +0000 | jakzale | (6291399afa@user/jakzale) |
| 2022-06-28 20:14:45 +0000 | dawdler_ | (035b60b5aa@2604:bf00:561:2000::3b6) |
| 2022-06-28 20:14:45 +0000 | bookshelfdave | (sid28102@id-28102.ilkley.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2022-06-28 20:14:45 +0000 | tdmm | (1c9b9145fc@2604:bf00:561:2000::1c8) |
| 2022-06-28 20:14:45 +0000 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
| 2022-06-28 20:14:45 +0000 | filwisher_ | (2e6936c793@2604:bf00:561:2000::170) |
| 2022-06-28 20:14:45 +0000 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 2022-06-28 20:14:45 +0000 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
| 2022-06-28 20:14:45 +0000 | tubogram44 | (~tubogram@user/tubogram) |
| 2022-06-28 20:14:45 +0000 | axel-bee | (~axel-bee@alexbenishek.com) |
| 2022-06-28 20:14:45 +0000 | biberu | (~biberu@user/biberu) |
| 2022-06-28 20:14:45 +0000 | dispater | (~dispater@user/brprice) |
| 2022-06-28 20:14:45 +0000 | srk | (~sorki@user/srk) |
| 2022-06-28 20:14:45 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2022-06-28 20:14:45 +0000 | dfordivam1 | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) |
| 2022-06-28 20:14:45 +0000 | Fischmie1 | (~Fischmiep@user/Fischmiep) |
| 2022-06-28 20:14:45 +0000 | ian__ | (~ian@matrix.chaos.earth.li) |
| 2022-06-28 20:14:45 +0000 | sweater1 | (~sweater@206.81.18.26) |
| 2022-06-28 20:14:45 +0000 | hyiltiz_ | (~quassel@31.220.5.250) |
| 2022-06-28 20:14:45 +0000 | zachel_ | (~zachel@user/zachel) |
| 2022-06-28 20:14:45 +0000 | Dorkside69 | (~dorkside@208.190.197.222) |
| 2022-06-28 20:14:45 +0000 | statusbot3 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2022-06-28 20:14:45 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2022-06-28 20:14:45 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2022-06-28 20:14:45 +0000 | davean | (~davean@davean.sciesnet.net) |
| 2022-06-28 20:14:45 +0000 | blades | (~blades@204.48.29.163) |
| 2022-06-28 20:14:45 +0000 | ario_ | (~ario@159.65.220.102) |
| 2022-06-28 20:14:45 +0000 | drewolson | (~drewolson@user/drewolson) |
| 2022-06-28 20:14:45 +0000 | DigitalKiwi | (~kiwi@137.184.156.191) |
| 2022-06-28 20:14:45 +0000 | nurupo | (~nurupo.ga@user/nurupo) |
| 2022-06-28 20:14:45 +0000 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
| 2022-06-28 20:14:45 +0000 | Arsen | (arsen@managarm/dev/Arsen) |
| 2022-06-28 20:14:45 +0000 | bcmiller_ | (~bm3719@66.42.95.185) |
| 2022-06-28 20:14:45 +0000 | dfg | (dfg@user/dfg) |
| 2022-06-28 20:14:45 +0000 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2022-06-28 20:14:45 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-06-28 20:14:45 +0000 | bjobjo | (~bjobjo@user/bjobjo) |
| 2022-06-28 20:14:45 +0000 | Ekho | (~Ekho@user/ekho) |
| 2022-06-28 20:14:45 +0000 | tomjaguarpaw | (~tom@li367-225.members.linode.com) |
| 2022-06-28 20:14:45 +0000 | incertia | (~incertia@d47-69-133-171.try.wideopenwest.com) |
| 2022-06-28 20:14:45 +0000 | ptrcmd | (~ptrcmd@user/ptrcmd) |
| 2022-06-28 20:14:45 +0000 | ente | (~daemon@inferno.barfooze.de) |
| 2022-06-28 20:14:45 +0000 | icebreaker | (~icebreake@user/icebreaker) |
| 2022-06-28 20:14:45 +0000 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2022-06-28 20:14:45 +0000 | Philonous_ | (~Philonous@user/philonous) |
| 2022-06-28 20:14:45 +0000 | tafa | (~tafa@user/tafa) |
| 2022-06-28 20:14:45 +0000 | quintasan | (~quassel@quintasan.pl) |
| 2022-06-28 20:14:45 +0000 | robertm | (robertm@lattice.rojoma.com) |
| 2022-06-28 20:14:45 +0000 | bajskorfven00 | (~bajskorfv@90-231-13-185-no3430.tbcn.telia.com) |
| 2022-06-28 20:14:45 +0000 | melonai | (~mel@rnrd.eu) |
| 2022-06-28 20:14:45 +0000 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2022-06-28 20:14:45 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2022-06-28 20:14:45 +0000 | exarkun | (~exarkun@user/exarkun) |
| 2022-06-28 20:14:45 +0000 | Xe | (~cadey@tailscale/xe) |
| 2022-06-28 20:14:45 +0000 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2022-06-28 20:14:45 +0000 | gawen | (~gawen@user/gawen) |
| 2022-06-28 20:14:45 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2022-06-28 20:14:45 +0000 | remexre | (~remexre@user/remexre) |
| 2022-06-28 20:14:45 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-06-28 20:14:45 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2022-06-28 20:14:45 +0000 | h2t | (~h2t@user/h2t) |
| 2022-06-28 20:14:45 +0000 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) |
| 2022-06-28 20:14:45 +0000 | hook54321 | (sid149355@user/hook54321) |
| 2022-06-28 20:14:45 +0000 | s4msung | (anUIaa0rBw@user/s4msung) |
| 2022-06-28 20:14:45 +0000 | taktoa[c] | (sid282096@2a03:5180:f::4:4df0) |
| 2022-06-28 20:14:45 +0000 | hays | (rootvegeta@fsf/member/hays) |
| 2022-06-28 20:14:45 +0000 | bbhoss | (sid18216@2a03:5180:f::4728) |
| 2022-06-28 20:14:45 +0000 | AndreasK | (sid320732@2a03:5180:f:5::4:e4dc) |
| 2022-06-28 20:14:45 +0000 | mrianbloom | (sid350277@2a03:5180:f:3::5:5845) |
| 2022-06-28 20:14:45 +0000 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2022-06-28 20:14:45 +0000 | aliosablack | (~chomwitt@2a02:587:dc1c:800:5c71:ba1b:727c:3afe) |
| 2022-06-28 20:14:46 +0000 | darkstardevx | (~darkstard@50.53.212.60) (Max SendQ exceeded) |
| 2022-06-28 20:14:46 +0000 | sympt | (~sympt@user/sympt) (Max SendQ exceeded) |
| 2022-06-28 20:14:53 +0000 | atwm | (~atwm@81.28.193.19) (Quit: Ping timeout (120 seconds)) |
| 2022-06-28 20:14:55 +0000 | chomwitt | (~chomwitt@2a02:587:dc1c:800:5c71:ba1b:727c:3afe) (Max SendQ exceeded) |
| 2022-06-28 20:14:55 +0000 | Arsen | (arsen@managarm/dev/Arsen) (Max SendQ exceeded) |
| 2022-06-28 20:14:55 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Max SendQ exceeded) |
| 2022-06-28 20:15:13 +0000 | darkstardevx | (~darkstard@50.53.212.60) |
| 2022-06-28 20:15:35 +0000 | shreyasminocha_ | shreyasminocha |
| 2022-06-28 20:15:45 +0000 | sympt | (~sympt@user/sympt) |
| 2022-06-28 20:16:11 +0000 | tfeb | (~tfb@88.98.95.237) |
| 2022-06-28 20:16:30 +0000 | acidjnk | (~acidjnk@dynamic-046-114-169-226.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2022-06-28 20:16:42 +0000 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 244 seconds) |
| 2022-06-28 20:16:43 +0000 | liz | (~liz@host86-159-158-175.range86-159.btcentralplus.com) |
| 2022-06-28 20:18:25 +0000 | hook54321 | (sid149355@user/hook54321) |
| 2022-06-28 20:18:50 +0000 | inversed | (~inversed@5.65.47.68) (Ping timeout: 255 seconds) |
| 2022-06-28 20:19:10 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-06-28 20:19:43 +0000 | inversed | (~inversed@5.65.47.68) |
| 2022-06-28 20:20:41 +0000 | mrd | (~mrd@user/mrd) (Remote host closed the connection) |
| 2022-06-28 20:20:48 +0000 | mrd | (~mrd@45.61.147.211) |
| 2022-06-28 20:22:35 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
| 2022-06-28 20:22:53 +0000 | redmp | (~redmp@lib-02-subnet-194.rdns.cenic.net) (Quit: leaving) |
| 2022-06-28 20:24:24 +0000 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) |
| 2022-06-28 20:27:03 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-28 20:27:11 +0000 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) |
| 2022-06-28 20:31:44 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-06-28 20:32:08 +0000 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) |
| 2022-06-28 20:33:00 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2022-06-28 20:33:14 +0000 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-06-28 20:33:40 +0000 | <Haskelytic> | fellas i'm wondering how you guys ensure typeclass laws are satisfied for your types? |
| 2022-06-28 20:33:52 +0000 | <Haskelytic> | do you write tests? |
| 2022-06-28 20:33:59 +0000 | <Haskelytic> | do you sit down and prove it by hand |
| 2022-06-28 20:34:00 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 276 seconds) |
| 2022-06-28 20:34:38 +0000 | <Rembane> | I write them and hope for the best. |
| 2022-06-28 20:35:16 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-06-28 20:35:40 +0000 | <monochrom> | I proved simple ones by hand. |
| 2022-06-28 20:36:00 +0000 | <Haskelytic> | Rembane: Feels-based programming needs to be a thing :) |
| 2022-06-28 20:36:15 +0000 | <Haskelytic> | @monoch |
| 2022-06-28 20:36:15 +0000 | <lambdabot> | Unknown command, try @list |
| 2022-06-28 20:36:32 +0000 | <Haskelytic> | monochrom: For the non-trivial ones? |
| 2022-06-28 20:36:43 +0000 | <maerwald> | Haskelytic https://hackage.haskell.org/package/checkers |
| 2022-06-28 20:37:10 +0000 | <Rembane> | Haskelytic: Absolutely! :) |
| 2022-06-28 20:37:18 +0000 | xf00b4r | (~soukenka@104-217.internetbox.cz) (Ping timeout: 240 seconds) |
| 2022-06-28 20:38:22 +0000 | coot | (~coot@213.134.190.95) |
| 2022-06-28 20:38:38 +0000 | <monochrom> | Some of the non-trivial ones are compositions of simple ones, and the compositions preserve laws. |
| 2022-06-28 20:38:45 +0000 | <Haskelytic> | Rembane: I just googled "feels based programming" and found this https://github.com/kulics-works/feel |
| 2022-06-28 20:39:01 +0000 | <Rembane> | Haskelytic: It's the future! :) |
| 2022-06-28 20:39:10 +0000 | <Haskelytic> | maerwald: Oh damn I hadn't thought of checking lol...thanks! |
| 2022-06-28 20:39:16 +0000 | <monochrom> | Some others are complicated encodings of trival ones. |
| 2022-06-28 20:40:03 +0000 | <Haskelytic> | monochrom: Nice I forgot I could just build on top of simpler ones |
| 2022-06-28 20:40:37 +0000 | <Haskelytic> | Rembane: Maybe someone should write a manifesto ;) |
| 2022-06-28 20:41:30 +0000 | cyanide3dinner | (~cyanide4d@106.201.249.151) (Remote host closed the connection) |
| 2022-06-28 20:42:17 +0000 | quarkyalice | (~alice@user/quarkyalice) (Remote host closed the connection) |
| 2022-06-28 20:42:39 +0000 | <Rembane> | Haskelytic: I think that's taking it too far, I prefer to code in the shadows. :) |
| 2022-06-28 20:42:49 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-28 20:42:51 +0000 | quarkyalice | (~alice@user/quarkyalice) |
| 2022-06-28 20:42:58 +0000 | <Rembane> | Haskelytic: BTW, if you want to have much fun you can write QuickCheck properties that check that your instances are lawful. |
| 2022-06-28 20:45:13 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-06-28 20:45:22 +0000 | <Haskelytic> | Rembane: I'm gonna do that but I'm having trouble understanding how quickcheck does function arbitraries |
| 2022-06-28 20:45:31 +0000 | <Haskelytic> | :/ |
| 2022-06-28 20:45:49 +0000 | <Haskelytic> | One at a time I suppose |
| 2022-06-28 20:46:09 +0000 | <Rembane> | Haskelytic: Generating functions is always a bit messy. |
| 2022-06-28 20:47:00 +0000 | alp | (~alp@user/alp) |
| 2022-06-28 20:49:46 +0000 | <Haskelytic> | Yeah if only computation was simple |
| 2022-06-28 20:50:47 +0000 | <Haskelytic> | This little bit of nugget in the quickcheck paper was very interesting for a noob like me |
| 2022-06-28 20:51:44 +0000 | <Haskelytic> | they were like, we want Gen (a->b) which is Int -> Rand -> a -> b and rearrange "parameters" to get a -> Int -> Rand -> b = a -> Gen b |
| 2022-06-28 20:51:52 +0000 | Polo | (~Gambino@user/polo) |
| 2022-06-28 20:51:58 +0000 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-28 20:52:14 +0000 | <Haskelytic> | thinking with types feels like the magic of algebra all over again |
| 2022-06-28 20:52:32 +0000 | tfeb | (~tfb@88.98.95.237) (Quit: died) |
| 2022-06-28 20:52:34 +0000 | <Haskelytic> | you just do these formal manipulations and voila, you're closer to a solution to your problem |
| 2022-06-28 20:52:54 +0000 | <Haskelytic> | no need for brain cells :) |
| 2022-06-28 20:53:04 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-28 20:53:15 +0000 | <monochrom> | This is why I am not fond of "understand and have intuition before doing it formally" |
| 2022-06-28 20:53:20 +0000 | <mrianbloom> | Is there a large project that uses GADTs for an expression language? |
| 2022-06-28 20:53:45 +0000 | <monochrom> | Unpopular opinion: Sometimes you do it formally first and then you see new understanding and intuition. |
| 2022-06-28 20:53:55 +0000 | <Rembane> | monochrom: I thought you did algebra instead. |
| 2022-06-28 20:53:58 +0000 | <arj0019> | on that topic, are there any good resources that demonstrate how to build complex type systems in Haskell? I find myself attempting to implement OOP features without realizing it. |
| 2022-06-28 20:54:29 +0000 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) |
| 2022-06-28 20:55:14 +0000 | BusConscious | (~martin@ip5f5bdf0d.dynamic.kabel-deutschland.de) (Quit: leaving) |
| 2022-06-28 20:55:23 +0000 | <arj0019> | I did find a really good video on applying DSL for a trading card game. Still looking for more resources like that. |
| 2022-06-28 20:55:41 +0000 | disco-dave[m] | (~disco-dav@2001:470:69fc:105::2:1892) |
| 2022-06-28 20:56:13 +0000 | alexhandy | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-28 20:56:18 +0000 | <yin> | cabal init doesnt let me create a project if one with the same name already exists in hackage? |
| 2022-06-28 20:56:19 +0000 | <EvanR> | for a lot of common go-to "OOP features" there are good non-OOP functional replacements |
| 2022-06-28 20:56:32 +0000 | alexhandy | (~trace@user/trace) |
| 2022-06-28 20:56:49 +0000 | <EvanR> | for example implementation inheritance => first class functions or just, use functions |
| 2022-06-28 20:58:22 +0000 | brettgilio | (~brettgili@c9yh.net) (Remote host closed the connection) |
| 2022-06-28 20:58:39 +0000 | <arj0019> | EvanR: I completely agree. My trouble is not recognizing that some aspects of my domain concept are OO in nature. |
| 2022-06-28 20:59:39 +0000 | <monochrom> | Easy translation between OO and FP: x.f <-> f x |
| 2022-06-28 20:59:42 +0000 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-06-28 20:59:47 +0000 | <arj0019> | EvanR: I have not been able to find a good resource documenting the design process of a complex functional type system and DSL. |
| 2022-06-28 21:00:24 +0000 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) (Ping timeout: 246 seconds) |
| 2022-06-28 21:01:01 +0000 | <EvanR> | for a model complex functional type system which can be used with DSLs, as a starting point, there's simply typed lambda calculus xD |
| 2022-06-28 21:01:56 +0000 | brettgilio | (~brettgili@c9yh.net) |
| 2022-06-28 21:02:09 +0000 | brettgilio | (~brettgili@c9yh.net) (Client Quit) |
| 2022-06-28 21:02:58 +0000 | alexhandy2 | (~trace@user/trace) |
| 2022-06-28 21:03:09 +0000 | brettgilio | (~brettgili@c9yh.net) |
| 2022-06-28 21:03:14 +0000 | <arj0019> | for example, I have wanted to create the following: an interface `factor' that requires implementation of `rank' and `rate' that both operate on a list of datas |
| 2022-06-28 21:03:56 +0000 | <arj0019> | each factor would implement `rate' and `rank' differently, and ideally I could combine factors with +, -, / to make a new factor |
| 2022-06-28 21:04:16 +0000 | <arj0019> | I have no idea how to do this yet tho. It kinda smells like a monoid |
| 2022-06-28 21:04:40 +0000 | <monochrom> | A field has + - / |
| 2022-06-28 21:04:57 +0000 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) |
| 2022-06-28 21:05:08 +0000 | <arj0019> | i will add field to my research list |
| 2022-06-28 21:05:24 +0000 | <arj0019> | this is `Algebra/Field'? |
| 2022-06-28 21:05:26 +0000 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) (Client Quit) |
| 2022-06-28 21:05:28 +0000 | <monochrom> | yes |
| 2022-06-28 21:05:28 +0000 | <arj0019> | this is `Algebra.Field'? |
| 2022-06-28 21:05:43 +0000 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) |
| 2022-06-28 21:06:02 +0000 | alexhandy | (~trace@user/trace) (Ping timeout: 272 seconds) |
| 2022-06-28 21:06:45 +0000 | <monochrom> | We need not be formal about whether "Algebra/Field" or "Algebra.Field" is better. |
| 2022-06-28 21:06:49 +0000 | <EvanR> | to implement the (not really OO) concept of a uniform interface that has many implementations, first try making a record of functions |
| 2022-06-28 21:07:24 +0000 | <EvanR> | rather a record type corresponding to the interface, doesn't have to have all functions in it |
| 2022-06-28 21:07:42 +0000 | alexhandy2 | (~trace@user/trace) (Read error: Connection reset by peer) |
| 2022-06-28 21:07:44 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Remote host closed the connection) |
| 2022-06-28 21:08:02 +0000 | alexhandy | (~trace@user/trace) |
| 2022-06-28 21:08:17 +0000 | <arj0019> | EvanR: I understand record syntax and its implementation, but I do not see why to implement it for this purpose |
| 2022-06-28 21:08:36 +0000 | <EvanR> | e.g. a field over a could have a zero::a, one::a, add::a -> a -> a, times::a -> a -> a, inverse :: a -> a |
| 2022-06-28 21:08:37 +0000 | <monochrom> | An object is a record of functions. |
| 2022-06-28 21:08:43 +0000 | Polo | money |
| 2022-06-28 21:08:55 +0000 | <EvanR> | ok, too many `a's |
| 2022-06-28 21:09:36 +0000 | <monochrom> | BTW GHC also translates "Ord a => ..." to "Record of Ord functions -> ..." too. |
| 2022-06-28 21:09:36 +0000 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-28 21:10:08 +0000 | <monochrom> | So now both Java's notion of "interface" and Haskell's notion of "interface" are records of functions. |
| 2022-06-28 21:10:28 +0000 | <monochrom> | There is some poetic justice in that. |
| 2022-06-28 21:10:49 +0000 | <EvanR> | haskell is java from an alternate 90s timeline |
| 2022-06-28 21:11:05 +0000 | <Rembane> | There are some examples on typeclasses vs record of functions here: https://www.haskellforall.com/2012/05/scrap-your-type-classes.html |
| 2022-06-28 21:11:12 +0000 | <monochrom> | public class Ord where :) |
| 2022-06-28 21:11:20 +0000 | <Rembane> | And some strong opinions too |
| 2022-06-28 21:11:32 +0000 | <arj0019> | EvanR: how does this differ from using `instance'. IMO, `instance' may be better as it allows me to create some arbitrary thing and then just add on `rate' and `rank' |
| 2022-06-28 21:11:46 +0000 | <EvanR> | it's similar but different, probably that link says more |
| 2022-06-28 21:12:02 +0000 | <EvanR> | another good one is "type classes vs the world" (video) |
| 2022-06-28 21:12:13 +0000 | <arj0019> | thank you for the refrences |
| 2022-06-28 21:12:44 +0000 | <arj0019> | to be clear, you dont think my idea of implementing `instance' is crazy OO in this case? |
| 2022-06-28 21:12:56 +0000 | <monochrom> | But Haskell classes adds a coherence benefit that manually passing around records doesn't have. |
| 2022-06-28 21:13:05 +0000 | <Rembane> | arj0019: It is. Try not to. |
| 2022-06-28 21:13:16 +0000 | <EvanR> | that's basically the difference, global coherence |
| 2022-06-28 21:13:46 +0000 | <Rembane> | I wonder if the discussion on initial encoding vs final encoding would be enlightening or just confusing |
| 2022-06-28 21:14:16 +0000 | <dolio> | That's not going to be helpful. |
| 2022-06-28 21:14:28 +0000 | <monochrom> | I realized it when I taught students how do you express the type of a sorting function most polymorphically. It can't be "[a] -> [a]" but it can't be "[Int] -> [Int]" either. |
| 2022-06-28 21:14:41 +0000 | <arj0019> | Rembane: can you expand on why you feel that way about my implementation of `instance', but potentially not the same for `EQ' or `Show'? |
| 2022-06-28 21:15:12 +0000 | <monochrom> | I spontaneously came up with "like C's qsort but safer, I can always do (a -> a -> Bool) -> [a] -> [a]" |
| 2022-06-28 21:15:28 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
| 2022-06-28 21:15:31 +0000 | <monochrom> | Then the next thought was "oh wait so why do we need Ord again?" |
| 2022-06-28 21:15:59 +0000 | <monochrom> | "Ah imagine I call BST insert then BST lookup but I give them different comparators by mistake" |
| 2022-06-28 21:16:48 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2022-06-28 21:17:24 +0000 | <Rembane> | arj0019: Because Eq and Show are already there, they won't steer your thinking too much. But if you remove the typeclass tool from your toolbox until you've explored all the other tools it won't work as a shortcut to OO concepts. |
| 2022-06-28 21:18:44 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-06-28 21:19:18 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-06-28 21:19:56 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-06-28 21:21:16 +0000 | <arj0019> | Rembane: it is interesting that there is resistance to using `instance' when that is how you implement things like `EQ', `Show', or even something big like `Functor'. But like you said, those types already exist |
| 2022-06-28 21:21:31 +0000 | <arj0019> | this will require a major rethink :( |
| 2022-06-28 21:21:39 +0000 | <dolio> | There isn't resistance to using type classes. |
| 2022-06-28 21:21:56 +0000 | <dolio> | There is resistance to just directly translating OO design into type classes. |
| 2022-06-28 21:22:24 +0000 | <monochrom> | What is "`instance'"? |
| 2022-06-28 21:22:43 +0000 | <dolio> | If you are just coming from OO programming, and prone to thinking that way, and just translate that into type classes, you will be developing habits that are considered bad. |
| 2022-06-28 21:23:19 +0000 | <monochrom> | Also, Functor is not big, it has just one method. |
| 2022-06-28 21:23:26 +0000 | <Rembane> | arj0019: OTOH, if you need polymorphism, typeclasses might be useful, but don't use them as the everything-looks-like-a-nail-hammer |
| 2022-06-28 21:24:04 +0000 | <dolio> | Eq/Ord is actually rather unlike the equivalent OO design. |
| 2022-06-28 21:24:05 +0000 | <monochrom> | "when all you have is acetone, everything looks like nail polish" :) |
| 2022-06-28 21:24:26 +0000 | <Rembane> | Shiny! :D |
| 2022-06-28 21:24:44 +0000 | <monochrom> | Now, "when all you have is superglue..." >:) |
| 2022-06-28 21:24:49 +0000 | <dolio> | That is, it is like passing around a comparator object, not like having your types implement an 'Equatable' interface or something. |
| 2022-06-28 21:26:02 +0000 | money | polo |
| 2022-06-28 21:27:09 +0000 | <arj0019> | dolio: I may not have been clear on my intentions. I want to create a `factor' (that is potentially a combination of `factor's) that will either `rate' or `rank' a list of datas |
| 2022-06-28 21:27:41 +0000 | <arj0019> | or maybe it is better to say that the factor provides the functions used for rating and ranking |
| 2022-06-28 21:27:52 +0000 | <sclv> | yin: correct |
| 2022-06-28 21:28:16 +0000 | <arj0019> | either way, I think that I see the bad things more clearly now |
| 2022-06-28 21:28:38 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-06-28 21:28:47 +0000 | mmhat | (~mmh@p200300f1c7385d0fee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5) |
| 2022-06-28 21:28:51 +0000 | pwug | (~pwug@user/pwug) (Quit: Leaving) |
| 2022-06-28 21:29:02 +0000 | <dolio> | To be honest, I don't find that description clear. :) |
| 2022-06-28 21:29:21 +0000 | <geekosaur> | another useful thing to consider with respect to typeclasses is that it's strongly preferred that they have testable laws (typically they can't be part of the typeclass though). if you can't phrase reasonable laws for your typeclass, there's a decent chance that a typeclass is the wrong tool |
| 2022-06-28 21:29:49 +0000 | <dolio> | But if you have learned something from the conversation, that's good. :) |
| 2022-06-28 21:29:59 +0000 | <Rembane> | arj0019: I think you can have a great start by writing functions that do that and if you need to use those functions for more than one type you could put them in a typeclass. I think it's a good idea to keep the code as simple as possible for as long as possible. |
| 2022-06-28 21:30:31 +0000 | <geekosaur> | Functor, for example, has laws such that there's either zero or one valid Functor for any type. |
| 2022-06-28 21:30:49 +0000 | <geekosaur> | (also, if it's not keyed off a type, a typeclass isn't the right tool) |
| 2022-06-28 21:31:48 +0000 | <dolio> | Yeah, that's also a good point. Preemptively overloading everything is not necessarily the right strategy. |
| 2022-06-28 21:32:02 +0000 | <monochrom> | lambdabot has my quote about premature generalization, yeah |
| 2022-06-28 21:33:13 +0000 | <arj0019> | my over all goal: given a list of datas, run some function that will return the datas ordered by best to worst (rate is the same, but has a non-constant scale for weighting). I would also like to create a way to combine multiple rate (or rank) functions to build a more complex analysis |
| 2022-06-28 21:34:05 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2022-06-28 21:34:07 +0000 | <geekosaur> | that doesn't sound like a typeclass, then, since your combined functions would use the same types as the uncombined ones. I'd go with record-of-functions and specify a way to compose them |
| 2022-06-28 21:34:21 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Quit: Leaving) |
| 2022-06-28 21:34:52 +0000 | <arj0019> | geekosaur: your not the only one to reccomend that, so I will definately research it. |
| 2022-06-28 21:35:46 +0000 | <yin> | sclv: has this always been the case or have i just been lucky? |
| 2022-06-28 21:36:03 +0000 | <sclv> | been the case for a very long time |
| 2022-06-28 21:36:11 +0000 | <arj0019> | Anyways, I don't want to take over the chat for too long so i am going to go do some research on your suggestions. ty |
| 2022-06-28 21:36:25 +0000 | <geekosaur> | that's what the chat is here for 🙂 |
| 2022-06-28 21:37:08 +0000 | <geekosaur> | very long discussions may occasionally be redirected to e.g. #haskell-in-depth, if there's a lot of other stuff going on at the same time |
| 2022-06-28 21:39:33 +0000 | polo | (~Gambino@user/polo) (Read error: Connection reset by peer) |
| 2022-06-28 21:39:33 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-28 21:40:12 +0000 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-28 21:40:41 +0000 | Polo | (~Gambino@user/polo) |
| 2022-06-28 21:40:50 +0000 | DGMrKong | (~arj0019@162.218.254.7) |
| 2022-06-28 21:41:51 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-06-28 21:42:03 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-06-28 21:42:42 +0000 | martin02 | (~silas@141.84.69.76) (Ping timeout: 264 seconds) |
| 2022-06-28 21:43:25 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2022-06-28 21:43:41 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-28 21:44:30 +0000 | arj0019 | (~arj0019@162.218.254.7) (Ping timeout: 246 seconds) |
| 2022-06-28 21:44:47 +0000 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2022-06-28 21:47:30 +0000 | DGMrKong | (~arj0019@162.218.254.7) (Ping timeout: 260 seconds) |
| 2022-06-28 21:49:48 +0000 | Polo | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-06-28 21:51:32 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2022-06-28 21:52:13 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-28 21:55:32 +0000 | martin02 | (~silas@141.84.69.76) |
| 2022-06-28 21:58:14 +0000 | ARJ0019 | (~arj0019@72.15.124.127) |
| 2022-06-28 22:01:46 +0000 | pleo | (~pleo@user/pleo) (Ping timeout: 272 seconds) |
| 2022-06-28 22:04:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-28 22:07:12 +0000 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2022-06-28 22:09:36 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-06-28 22:13:21 +0000 | mima | (~mmh@aftr-62-216-210-153.dynamic.mnet-online.de) (Remote host closed the connection) |
| 2022-06-28 22:15:02 +0000 | <Psybur> | How would you create a framework that expresses your business logic in pure code, possibly with its own dialect of SQL or SQL like DSL, and then implement each piece in multiple backends, that each have their own objects (DataFrames etc) and dialect of SQL? |
| 2022-06-28 22:16:28 +0000 | <ARJ0019> | I have found this talk to be useful and relevant to the problem you are trying to solve: https://www.youtube.com/watch?v=US8QG9I1XW0 |
| 2022-06-28 22:16:51 +0000 | <ARJ0019> | I would try to explain it myself, but I am still new to haskell |
| 2022-06-28 22:17:16 +0000 | <ARJ0019> | the talk is not haskell specific, but it covers the concepts |
| 2022-06-28 22:17:26 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-06-28 22:18:30 +0000 | <Psybur> | thanks, watching |
| 2022-06-28 22:20:41 +0000 | pleo | (~pleo@user/pleo) |
| 2022-06-28 22:20:50 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-06-28 22:22:00 +0000 | merijn | (~merijn@86.86.29.250) |
| 2022-06-28 22:24:52 +0000 | Salmon39 | (~Salmon@pool-108-28-90-74.washdc.fios.verizon.net) |
| 2022-06-28 22:25:20 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-06-28 22:26:30 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2022-06-28 22:27:19 +0000 | sagax | (~sagax_nb@user/sagax) |
| 2022-06-28 22:29:36 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-06-28 22:31:18 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-06-28 22:32:10 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 272 seconds) |
| 2022-06-28 22:33:47 +0000 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-06-28 22:36:58 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-28 22:45:05 +0000 | aliosablack | (~chomwitt@2a02:587:dc1c:800:5c71:ba1b:727c:3afe) (Ping timeout: 255 seconds) |
| 2022-06-28 22:48:25 +0000 | pleo | (~pleo@user/pleo) |
| 2022-06-28 22:48:55 +0000 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) |
| 2022-06-28 22:51:42 +0000 | michalz | (~michalz@185.246.204.107) (Remote host closed the connection) |
| 2022-06-28 22:55:32 +0000 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-06-28 22:56:20 +0000 | merijn | (~merijn@86.86.29.250) (Ping timeout: 255 seconds) |
| 2022-06-28 22:56:56 +0000 | <EvanR> | my bumbling path: OO concepts => forget OO concepts => learn algebraic concepts => go back and see what OO could look like algebraically => dust off the aftermath and see if anything useful remains of OO that's not just algebra |
| 2022-06-28 22:58:40 +0000 | <EvanR> | shoot that convo is way in the past |
| 2022-06-28 22:59:14 +0000 | king_gs | (~Thunderbi@2806:103e:29:a4ff:9938:ec1d:a54a:6688) |
| 2022-06-28 23:00:11 +0000 | <hpc> | heh, i had the advantage of not learning the OO concepts "properly" |
| 2022-06-28 23:01:31 +0000 | <hpc> | whenever i look at OOP design patterns now, i just keep thinking "that's just a function" about one pattern, and "that's just a function" about a completely different pattern |
| 2022-06-28 23:02:56 +0000 | <EvanR> | "that would be just a function if we even had functions here" |
| 2022-06-28 23:03:26 +0000 | <EvanR> | "if only I had a function" |
| 2022-06-28 23:03:53 +0000 | <dsal> | I learned OO from "Object Oriented Software Construction" (Eiffel) and then tried to do stuff in Java which was philosophically completely opposite. |
| 2022-06-28 23:04:35 +0000 | <dsal> | IN OOSC, you'd have methods that either let you get information from an object or altered the object, but never both. In java, you just changed all the things all the time. |
| 2022-06-28 23:06:04 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-06-28 23:06:40 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-28 23:08:56 +0000 | <EvanR> | sounds great on paper, then you get hit with stuff like... check if the file exists, if so, open it! (and before you manage to open it, the file is moved by someone else) |
| 2022-06-28 23:10:02 +0000 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) |
| 2022-06-28 23:10:17 +0000 | <dsal> | Sure, that's why you skip the first part. |
| 2022-06-28 23:11:21 +0000 | <EvanR> | so "alter the object" could return information! |
| 2022-06-28 23:12:59 +0000 | <EvanR> | I wonder what other arbitrary principles like those in eiffel there are |
| 2022-06-28 23:13:18 +0000 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 264 seconds) |
| 2022-06-28 23:13:48 +0000 | <EvanR> | weird stuff like all expressions are referentially transparent |
| 2022-06-28 23:16:30 +0000 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-06-28 23:22:30 +0000 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) (Ping timeout: 246 seconds) |
| 2022-06-28 23:24:40 +0000 | <yin> | what does this mean?: ghc: can't find a package database at /home/yin/seis/dist-newstyle/packagedb/ghc-8.10.7 |
| 2022-06-28 23:26:52 +0000 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) |
| 2022-06-28 23:27:03 +0000 | <yin> | hm... nvm i think i get what i did wrong |
| 2022-06-28 23:27:45 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-06-28 23:28:09 +0000 | lottaquestions | (~nick@S0106a84e3f794893.ca.shawcable.net) (Client Quit) |
| 2022-06-28 23:28:12 +0000 | lottaquestions_ | (~nick@S0106a84e3f794893.ca.shawcable.net) |
| 2022-06-28 23:28:59 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-28 23:33:08 +0000 | <dsal> | "alter the object" changes the state. You ask for the state separately. It's a similar concept to returning a record with a bunch of fields. |
| 2022-06-28 23:35:00 +0000 | lottaquestions_ | (~nick@S0106a84e3f794893.ca.shawcable.net) (Ping timeout: 268 seconds) |
| 2022-06-28 23:35:34 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-28 23:35:53 +0000 | lottaquestions_ | (~nick@S0106a84e3f794893.ca.shawcable.net) |
| 2022-06-28 23:36:40 +0000 | lottaquestions_ | (~nick@S0106a84e3f794893.ca.shawcable.net) (Client Quit) |
| 2022-06-28 23:36:52 +0000 | lottaquestions_ | (~nick@S0106a84e3f794893.ca.shawcable.net) |
| 2022-06-28 23:37:14 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-28 23:38:00 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) (Remote host closed the connection) |
| 2022-06-28 23:38:10 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a18e:bc95:1523:62c) |
| 2022-06-28 23:41:46 +0000 | xf00b4r | (~soukenka@104-217.internetbox.cz) |
| 2022-06-28 23:42:39 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-06-28 23:46:08 +0000 | img | (~img@user/img) |
| 2022-06-28 23:48:01 +0000 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) |
| 2022-06-28 23:48:39 +0000 | Guest9415 | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) |
| 2022-06-28 23:49:57 +0000 | Guest9415 | (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host) |
| 2022-06-28 23:49:57 +0000 | Guest9415 | (~Gambino@user/polo) |
| 2022-06-28 23:52:08 +0000 | erythrina | (~erythrina@2804:4b0:11a1:8200:fc0a:678b:2ca9:68aa) |
| 2022-06-28 23:52:08 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
| 2022-06-28 23:52:15 +0000 | Guest9415 | Polo |
| 2022-06-28 23:52:53 +0000 | yauhsien | (~yauhsien@61-231-28-31.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-06-28 23:54:46 +0000 | erythrina | (~erythrina@2804:4b0:11a1:8200:fc0a:678b:2ca9:68aa) (Leaving) |
| 2022-06-28 23:55:30 +0000 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-06-28 23:56:13 +0000 | zeenk | (~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3) (Quit: Konversation terminated!) |
| 2022-06-28 23:59:00 +0000 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-28 23:59:47 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |