| 2023-10-03 00:04:54 +0000 | jabuxas | (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 2023-10-03 00:05:15 +0000 | <dibblego> | does this exist somewhere? blah :: Comonad w => (w a -> b) -> w a -> w (a, b); blah f = extend (\t -> (extract t, f t)) |
| 2023-10-03 00:07:50 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-10-03 00:14:27 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-03 00:15:26 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-10-03 00:15:45 +0000 | <probie> | :t \f t -> fmap (,f t) t |
| 2023-10-03 00:15:46 +0000 | <lambdabot> | Functor f => (f t1 -> t2) -> f t1 -> f (t1, t2) |
| 2023-10-03 00:25:58 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 255 seconds) |
| 2023-10-03 00:27:58 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-10-03 00:29:05 +0000 | <monochrom> | :) |
| 2023-10-03 00:29:53 +0000 | [itchyjunk] | [spookyJunk] |
| 2023-10-03 00:30:19 +0000 | vglfr | (~vglfr@149.102.239.226) (Ping timeout: 258 seconds) |
| 2023-10-03 00:32:03 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-10-03 00:32:15 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 00:42:20 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-10-03 00:42:39 +0000 | euleritian | (~euleritia@185.238.219.45) |
| 2023-10-03 00:43:50 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2023-10-03 00:44:53 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 00:46:36 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2023-10-03 00:47:31 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-03 00:50:52 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-1916-deb3-136b-cab6.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2023-10-03 00:54:11 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-03 01:01:01 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 01:18:36 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2023-10-03 01:18:37 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-03 01:22:36 +0000 | drdo | (~drdo@bl14-14-49.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2023-10-03 01:26:12 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-10-03 01:31:54 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 01:32:15 +0000 | otto_s | (~user@p5b0445cd.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-03 01:33:47 +0000 | otto_s | (~user@p5b0441b5.dip0.t-ipconnect.de) |
| 2023-10-03 01:40:41 +0000 | drdo | (~drdo@bl14-14-49.dsl.telepac.pt) |
| 2023-10-03 01:44:07 +0000 | lisphacker | (~lisphacke@81.2.182.20) |
| 2023-10-03 01:50:32 +0000 | son0p | (~ff@181.136.122.143) (Quit: Bye) |
| 2023-10-03 01:59:50 +0000 | lisphacker | (~lisphacke@81.2.182.20) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-10-03 02:09:57 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 02:11:21 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:388b:f740:8f2c:555) (Remote host closed the connection) |
| 2023-10-03 02:11:35 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:388b:f740:8f2c:555) |
| 2023-10-03 02:13:37 +0000 | son0p | (~ff@181.136.122.143) |
| 2023-10-03 02:14:31 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-03 02:17:07 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-03 02:17:19 +0000 | AlexNoo | (~AlexNoo@94.233.241.182) (Read error: Connection reset by peer) |
| 2023-10-03 02:17:43 +0000 | AlexNoo | (~AlexNoo@94.233.241.182) |
| 2023-10-03 02:17:46 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-10-03 02:21:31 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-03 02:22:21 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-03 02:31:31 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 255 seconds) |
| 2023-10-03 02:33:17 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-10-03 02:39:15 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 02:42:15 +0000 | brettgilio | (a35ba67324@2604:bf00:561:2000::260) (Remote host closed the connection) |
| 2023-10-03 02:42:23 +0000 | brettgilio | (a35ba67324@2604:bf00:561:2000::260) |
| 2023-10-03 02:43:01 +0000 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-03 02:43:41 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-10-03 02:50:36 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 02:57:41 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-03 03:00:41 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-03 03:02:05 +0000 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 240 seconds) |
| 2023-10-03 03:04:00 +0000 | td_ | (~td@i53870920.versanet.de) |
| 2023-10-03 03:04:36 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-10-03 03:06:41 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-03 03:11:31 +0000 | poscat | (~poscat@user/poscat) |
| 2023-10-03 03:11:48 +0000 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2023-10-03 03:16:41 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-03 03:30:19 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 03:42:22 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-03 03:49:32 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2023-10-03 03:51:08 +0000 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Ping timeout: 248 seconds) |
| 2023-10-03 03:52:14 +0000 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2023-10-03 03:53:41 +0000 | aforemny_ | (~aforemny@i59F516DB.versanet.de) |
| 2023-10-03 03:54:20 +0000 | aforemny | (~aforemny@2001:9e8:6cea:5700:875:b49a:e016:4759) (Ping timeout: 248 seconds) |
| 2023-10-03 03:58:35 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 04:01:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:388b:f740:8f2c:555) (Remote host closed the connection) |
| 2023-10-03 04:04:42 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-03 04:05:17 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-03 04:08:53 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 04:10:41 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 246 seconds) |
| 2023-10-03 04:12:23 +0000 | poscat | (~poscat@user/poscat) |
| 2023-10-03 04:13:36 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-10-03 04:17:32 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2023-10-03 04:17:43 +0000 | Vajb | (~Vajb@85-76-144-99-nat.elisa-mobile.fi) |
| 2023-10-03 04:18:27 +0000 | Guest12 | (~Guest12@110.54.134.244) |
| 2023-10-03 04:18:37 +0000 | Guest12 | (~Guest12@110.54.134.244) (Client Quit) |
| 2023-10-03 04:21:12 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 04:29:13 +0000 | billchenchina | (~billchenc@2a0c:b641:7a2:230::10) |
| 2023-10-03 04:36:42 +0000 | vglfr | (~vglfr@149.102.244.106) |
| 2023-10-03 04:40:18 +0000 | drewjose | (~drewjose@129.154.40.88) (Remote host closed the connection) |
| 2023-10-03 04:41:19 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 04:41:26 +0000 | vglfr | (~vglfr@149.102.244.106) (Ping timeout: 272 seconds) |
| 2023-10-03 04:41:36 +0000 | vglfr | (~vglfr@88.155.254.59) |
| 2023-10-03 04:41:48 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 04:45:43 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 2023-10-03 04:46:00 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-10-03 04:47:43 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 04:49:36 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 2023-10-03 04:49:52 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 04:52:05 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-03 04:53:55 +0000 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-10-03 04:57:06 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 05:09:26 +0000 | [spookyJunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-10-03 05:13:36 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-10-03 05:15:31 +0000 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-03 05:16:57 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-10-03 05:18:24 +0000 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-03 05:18:24 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-10-03 05:18:29 +0000 | michalz | (~michalz@185.246.204.101) |
| 2023-10-03 05:24:02 +0000 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-10-03 05:33:01 +0000 | CiaoSen | (~Jura@2a05:5800:28e:3d00:664b:f0ff:fe37:9ef) |
| 2023-10-03 05:33:30 +0000 | <haskellbridge> | <b​ozeman_5-0> https://discord.com/invite/Eug7txK6WV |
| 2023-10-03 05:35:19 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-03 05:37:19 +0000 | simendsjo | (~user@84.211.91.241) |
| 2023-10-03 05:47:27 +0000 | euleritian | (~euleritia@185.238.219.45) (Ping timeout: 240 seconds) |
| 2023-10-03 05:48:15 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-03 05:54:34 +0000 | euleritian | (~euleritia@185.238.219.49) |
| 2023-10-03 05:55:31 +0000 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-10-03 05:58:24 +0000 | acidjnk | (~acidjnk@p200300d6e7072f6250a540857548904b.dip0.t-ipconnect.de) |
| 2023-10-03 05:59:23 +0000 | bilegeek | (~bilegeek@2600:1008:b026:1a87:2ee8:e964:d4e2:13c1) (Quit: Leaving) |
| 2023-10-03 05:59:49 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-03 06:01:12 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 06:02:48 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2023-10-03 06:04:24 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 06:05:22 +0000 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2023-10-03 06:05:37 +0000 | benjaminl | (~benjaminl@user/benjaminl) |
| 2023-10-03 06:07:34 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 272 seconds) |
| 2023-10-03 06:08:25 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-10-03 06:11:10 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 06:17:42 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-03 06:21:50 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-03 06:27:30 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 06:32:20 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-10-03 06:32:25 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-10-03 06:32:51 +0000 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 2023-10-03 06:33:53 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-03 06:34:07 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 06:37:10 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 258 seconds) |
| 2023-10-03 06:38:43 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-10-03 06:38:43 +0000 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-10-03 06:39:28 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-10-03 06:39:56 +0000 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-03 06:40:25 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:f5ba:a242:b43c:a732) |
| 2023-10-03 06:40:27 +0000 | acidjnk | (~acidjnk@p200300d6e7072f6250a540857548904b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-03 06:40:37 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 06:44:36 +0000 | euleritian | (~euleritia@185.238.219.49) (Ping timeout: 240 seconds) |
| 2023-10-03 06:45:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-03 06:45:40 +0000 | califax | (~califax@user/califx) |
| 2023-10-03 06:45:55 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-10-03 06:47:15 +0000 | acidjnk_new | (~acidjnk@p200300d6e7072f62a999b01f4585689b.dip0.t-ipconnect.de) |
| 2023-10-03 06:50:23 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 2023-10-03 06:51:04 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-10-03 06:51:10 +0000 | danza_ | (~francesco@151.47.112.4) |
| 2023-10-03 06:52:46 +0000 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-03 06:53:57 +0000 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-03 06:57:27 +0000 | holsta | (~holsta@user/holsta) (Ping timeout: 240 seconds) |
| 2023-10-03 07:11:57 +0000 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 2023-10-03 07:12:05 +0000 | kuribas | (~user@2a02:1808:80:f0b4:876c:b239:5e6d:47b9) |
| 2023-10-03 07:14:44 +0000 | danza_ | (~francesco@151.47.112.4) (Ping timeout: 258 seconds) |
| 2023-10-03 07:18:52 +0000 | johnw | (~johnw@69.62.242.138) (Read error: Connection reset by peer) |
| 2023-10-03 07:20:26 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-10-03 07:26:37 +0000 | mmhat | (~mmh@p200300f1c74e6f66ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-10-03 07:26:40 +0000 | mmhat | (~mmh@p200300f1c74e6f66ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-10-03 07:30:55 +0000 | danza_ | (~francesco@151.47.112.4) |
| 2023-10-03 07:32:38 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3340-ff56-003f-3040-a1bb-596f.rev.sfr.net) |
| 2023-10-03 07:32:59 +0000 | kuribas | (~user@2a02:1808:80:f0b4:876c:b239:5e6d:47b9) (Ping timeout: 246 seconds) |
| 2023-10-03 07:36:49 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 07:37:16 +0000 | euleritian | (~euleritia@185.238.219.57) |
| 2023-10-03 07:42:12 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-03 07:42:57 +0000 | kuribas | (~user@2a02:1808:80:f0b4:ee2a:7e1c:5f55:573e) |
| 2023-10-03 07:45:09 +0000 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-10-03 07:46:02 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-10-03 07:46:04 +0000 | danza_ | (~francesco@151.47.112.4) (Ping timeout: 255 seconds) |
| 2023-10-03 07:47:24 +0000 | kuribas | (~user@2a02:1808:80:f0b4:ee2a:7e1c:5f55:573e) (Ping timeout: 248 seconds) |
| 2023-10-03 07:48:20 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 07:48:36 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-10-03 07:52:47 +0000 | <kuribas`> | https://medium.com/javascript-scene/the-shocking-secret-about-static-types-514d39bf30a3 |
| 2023-10-03 07:53:08 +0000 | <kuribas`> | Supposedly clojure: 8.29% bug density, and haskell 29.72%... |
| 2023-10-03 07:53:16 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-10-03 07:54:06 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-03 07:54:09 +0000 | <kuribas`> | My experience with clojure is that I can write thousands of lines of haskell code with only a few "bugs", and not even a few lines of clojure code without. |
| 2023-10-03 07:54:14 +0000 | <kuribas`> | I'd say this is complete BS. |
| 2023-10-03 07:54:23 +0000 | <kuribas`> | Or I am just terrible at clojure :) |
| 2023-10-03 07:54:56 +0000 | <kuribas`> | But we also have a javascript frontend done by an external team which has been dragging on an has tons of bugs. |
| 2023-10-03 07:56:18 +0000 | <[exa]> | kuribas`: what is this "bug density" metric? #issues slashed by #LoC ? |
| 2023-10-03 07:57:25 +0000 | <kuribas`> | I suppose so. |
| 2023-10-03 07:57:26 +0000 | <[exa]> | anyway yeah the article is nonsense |
| 2023-10-03 07:58:13 +0000 | <[exa]> | (also identified by use of boldface instead of emph) |
| 2023-10-03 07:58:51 +0000 | <kuribas`> | I wonder about these advocates, are they just too lazy to learn types? |
| 2023-10-03 07:59:19 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 252 seconds) |
| 2023-10-03 07:59:23 +0000 | <mankyKitty> | As someone that has taught haskell, it's not about laziness, it's often about how people have been exposed to type systems in the past |
| 2023-10-03 07:59:53 +0000 | <kuribas`> | yeah, one of my colleages has a trauma of types due to scala :-0 |
| 2023-10-03 08:00:00 +0000 | <kuribas`> | two of them actually. |
| 2023-10-03 08:00:02 +0000 | <mankyKitty> | if you're only exposure is "the compiler won't let me pass an Int because the type says String" ... then you're not going to see a lot of value |
| 2023-10-03 08:00:10 +0000 | <mankyKitty> | or scala yeah |
| 2023-10-03 08:01:04 +0000 | <kuribas`> | Typed holes are one of my favorite type system features. |
| 2023-10-03 08:01:16 +0000 | <mankyKitty> | But also the thinking that "it only improves things a little sometimes and is therefore a complete and utter waste of time" seems a little ... disigenuous |
| 2023-10-03 08:01:17 +0000 | <kuribas`> | But even just having the squiggly lines while I code or indispensable for me. |
| 2023-10-03 08:01:29 +0000 | <probie> | For a rather useless data point, I'd say that the number of bugs remaining once all my tests are passing doesn't differ much between static and dynamic typing |
| 2023-10-03 08:01:48 +0000 | euleritian | (~euleritia@185.238.219.57) (Ping timeout: 248 seconds) |
| 2023-10-03 08:01:53 +0000 | <mankyKitty> | or thinking that it's purely about helping code linters, there's a fundamental misunderstanding buried in there that hinders a greater understanding of what's on offer |
| 2023-10-03 08:02:09 +0000 | <probie> | The process of getting to "all tests passing" is not the same however |
| 2023-10-03 08:02:09 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-10-03 08:02:21 +0000 | <kuribas`> | I tried linters in clojure, and I found them very lacking. |
| 2023-10-03 08:02:54 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-03 08:02:54 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-03 08:02:54 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-03 08:02:56 +0000 | <kuribas`> | For me it's not about code correctness,but about the ability to understand and reason about code. |
| 2023-10-03 08:03:20 +0000 | <mankyKitty> | ehhh, it's a slanted article meant to push a specific point and then upsell their courses.. If the person shows up we should be helpful |
| 2023-10-03 08:03:33 +0000 | <mankyKitty> | but apart from that, there's others things to do |
| 2023-10-03 08:03:54 +0000 | <int-e> | . o O ( "what does really reduce bug density"... boilerplate! we need more boilerplate! hundreds of lines with little bug potential ) |
| 2023-10-03 08:05:05 +0000 | <kuribas`> | For me, the only good boilerplate is the one that is checked with types, so I don't have to worry about it. |
| 2023-10-03 08:05:14 +0000 | rgw | (~R@2605:a601:a0df:5600:7d17:3b99:a896:2e62) (Read error: Connection reset by peer) |
| 2023-10-03 08:07:32 +0000 | <dibblego> | I write clojure every day for the last 6 months. 100% of our bugs that I have so far encountered would not have existed in Haskell. |
| 2023-10-03 08:07:51 +0000 | <mankyKitty> | we're also hella biased in here, so as much as we're convinced, our `evidence` is still anecdotal ;) *he says poking the bear* |
| 2023-10-03 08:08:04 +0000 | <kuribas`> | I have been doing some Python programming with dataframes, and I think being able to track columns and units would be a great advantage (using phantom/dependent types). |
| 2023-10-03 08:08:23 +0000 | <kuribas`> | mankyKitty: we *are* biased, but I think haskell challenges lie elsewhere. |
| 2023-10-03 08:08:40 +0000 | <probie> | dibblego: how many of them are a sneaky `nil` slipping in? |
| 2023-10-03 08:08:50 +0000 | <dibblego> | the conclusion from that chart is: "python programmers admit their mistakes more often than clojure" |
| 2023-10-03 08:08:58 +0000 | <dibblego> | probie: about 40-60% |
| 2023-10-03 08:09:01 +0000 | <dibblego> | at a guess |
| 2023-10-03 08:09:08 +0000 | <mankyKitty> | kuribas`: exactly. :) |
| 2023-10-03 08:10:07 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-10-03 08:12:22 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-03 08:14:04 +0000 | <kuribas`> | There real reason I get from clojure programmers, is that they find learning the types distracting, and they want an easy solution so they can think about the business logic instead. |
| 2023-10-03 08:14:39 +0000 | <kuribas`> | It's a fair tradeoff, but not one it is often communicated honestly. |
| 2023-10-03 08:19:17 +0000 | gehmehgeh | gmg |
| 2023-10-03 08:19:44 +0000 | gmg | gewobag |
| 2023-10-03 08:20:05 +0000 | gewobag | gmg |
| 2023-10-03 08:24:57 +0000 | migas0 | (~migas@astra4961.startdedicated.net) |
| 2023-10-03 08:26:31 +0000 | migas | (~migas@astra4961.startdedicated.net) (Read error: Connection reset by peer) |
| 2023-10-03 08:26:32 +0000 | migas0 | migas |
| 2023-10-03 08:34:26 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 08:34:30 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2023-10-03 08:39:05 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-03 08:41:43 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 2023-10-03 08:42:05 +0000 | danse-nr3 | (~francesco@151.47.112.4) |
| 2023-10-03 08:47:53 +0000 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-03 08:51:10 +0000 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 2023-10-03 08:55:44 +0000 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-03 08:57:29 +0000 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 2023-10-03 09:04:16 +0000 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2023-10-03 09:17:39 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3340-ff56-003f-3040-a1bb-596f.rev.sfr.net) (Remote host closed the connection) |
| 2023-10-03 09:19:47 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 09:28:24 +0000 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-03 09:29:05 +0000 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 2023-10-03 09:32:28 +0000 | Square3 | (~Square4@user/square) |
| 2023-10-03 09:32:56 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3340-ff56-003f-3040-a1bb-596f.rev.sfr.net) |
| 2023-10-03 09:33:26 +0000 | todi1 | (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 2023-10-03 09:33:33 +0000 | todi | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-03 09:35:01 +0000 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 09:35:48 +0000 | phma | (~phma@2001:5b0:210f:1d68:2eef:5dcd:dc4a:2231) (Read error: Connection reset by peer) |
| 2023-10-03 09:36:56 +0000 | phma | (~phma@2001:5b0:2143:dc48:abeb:f726:fe91:c1bd) |
| 2023-10-03 09:37:01 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-10-03 09:37:59 +0000 | todi1 | (~todi@p5dca5e79.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-03 09:45:06 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-10-03 09:55:08 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3340-ff56-003f-3040-a1bb-596f.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-10-03 10:01:27 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2382:d87:4dd6:d990) (Read error: Connection reset by peer) |
| 2023-10-03 10:02:15 +0000 | CiaoSen | (~Jura@2a05:5800:28e:3d00:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 2023-10-03 10:05:46 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3903:9332:e66b:72f6) |
| 2023-10-03 10:06:00 +0000 | Square2 | (~Square4@user/square) |
| 2023-10-03 10:08:08 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2023-10-03 10:10:04 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 10:13:32 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 248 seconds) |
| 2023-10-03 10:15:12 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-03 10:19:25 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2023-10-03 10:42:38 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 10:47:43 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-10-03 10:52:15 +0000 | danse-nr3_ | (~francesco@151.43.111.248) |
| 2023-10-03 10:53:08 +0000 | vglfr | (~vglfr@88.155.254.59) (Ping timeout: 255 seconds) |
| 2023-10-03 10:54:51 +0000 | danse-nr3 | (~francesco@151.47.112.4) (Ping timeout: 260 seconds) |
| 2023-10-03 10:57:16 +0000 | drewjose | (~drewjose@129.154.40.88) |
| 2023-10-03 11:06:59 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-10-03 11:13:34 +0000 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: Ping timeout (120 seconds)) |
| 2023-10-03 11:14:19 +0000 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 2023-10-03 11:21:13 +0000 | vglfr | (~vglfr@88.155.254.59) |
| 2023-10-03 11:24:06 +0000 | danse-nr3_ | (~francesco@151.43.111.248) (Ping timeout: 260 seconds) |
| 2023-10-03 11:37:32 +0000 | billchenchina | (~billchenc@2a0c:b641:7a2:230::10) (Quit: Leaving) |
| 2023-10-03 11:45:33 +0000 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) |
| 2023-10-03 11:45:53 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 11:50:43 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-10-03 11:54:28 +0000 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 255 seconds) |
| 2023-10-03 11:56:47 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-03 12:07:13 +0000 | gaff | (~gaff@49.207.212.189) |
| 2023-10-03 12:07:18 +0000 | gaff | (~gaff@49.207.212.189) (Client Quit) |
| 2023-10-03 12:07:35 +0000 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-10-03 12:12:00 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 12:17:02 +0000 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Read error: Connection reset by peer) |
| 2023-10-03 12:20:33 +0000 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 2023-10-03 12:21:27 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-03 12:27:05 +0000 | ulysses4ever | (~artem@73.145.240.159) |
| 2023-10-03 12:27:12 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 12:27:48 +0000 | vglfr | (~vglfr@88.155.254.59) (Ping timeout: 240 seconds) |
| 2023-10-03 12:29:07 +0000 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 264 seconds) |
| 2023-10-03 12:31:38 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 12:32:00 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-03 12:32:00 +0000 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2023-10-03 12:32:41 +0000 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) |
| 2023-10-03 12:33:37 +0000 | ulysses4ever | (~artem@73.145.240.159) (Ping timeout: 255 seconds) |
| 2023-10-03 12:35:19 +0000 | danse-nr3 | (~francesco@151.43.111.248) |
| 2023-10-03 12:35:57 +0000 | hugo- | hugo |
| 2023-10-03 12:38:30 +0000 | ulysses4ever | (~artem@73.145.240.159) |
| 2023-10-03 12:39:08 +0000 | shapr | (~user@2600:1700:c640:3100:2ddc:dc2b:d95:69f) (Ping timeout: 248 seconds) |
| 2023-10-03 12:39:55 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-10-03 12:47:19 +0000 | son0p | (~ff@181.136.122.143) (Quit: Bye) |
| 2023-10-03 12:58:13 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-03 13:05:34 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-03 13:08:48 +0000 | son0p | (~ff@181.136.122.143) |
| 2023-10-03 13:09:21 +0000 | elbear | (~lucian@109.101.137.234) |
| 2023-10-03 13:09:59 +0000 | <elbear> | hello. where can I find an up-to-date AST of Haskell? |
| 2023-10-03 13:10:52 +0000 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-10-03 13:11:13 +0000 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-10-03 13:11:42 +0000 | <lortabac> | @hackage ghc -- elbear |
| 2023-10-03 13:11:42 +0000 | <lambdabot> | https://hackage.haskell.org/package/ghc -- elbear |
| 2023-10-03 13:13:01 +0000 | <lortabac> | https://hackage.haskell.org/package/ghc-9.6.3/docs/Language-Haskell-Syntax.html |
| 2023-10-03 13:16:25 +0000 | <elbear> | lortabac: awesome. thank you! |
| 2023-10-03 13:18:45 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-10-03 13:18:52 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 272 seconds) |
| 2023-10-03 13:18:56 +0000 | stites | (~stites@130.44.147.204) (Ping timeout: 260 seconds) |
| 2023-10-03 13:19:12 +0000 | stites | (~stites@2607:fb91:dc1:c31f:f5a5:ac9:104d:5b91) |
| 2023-10-03 13:20:00 +0000 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-10-03 13:21:27 +0000 | <tomsmeding> | elbear: see also https://hackage.haskell.org/package/template-haskell-2.18.0.0/docs/Language-Haskell-TH-Syntax.html which is the thing you can use as a user from TemplateHaskell |
| 2023-10-03 13:21:43 +0000 | Lycurgus | (~juan@user/Lycurgus) (Client Quit) |
| 2023-10-03 13:22:07 +0000 | ulysses4ever | (~artem@73.145.240.159) (Read error: Connection reset by peer) |
| 2023-10-03 13:22:21 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2023-10-03 13:29:17 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-10-03 13:29:17 +0000 | Feuermagier | Guest7216 |
| 2023-10-03 13:29:17 +0000 | Guest7216 | (~Feuermagi@user/feuermagier) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2023-10-03 13:29:17 +0000 | Feuermagier_ | Feuermagier |
| 2023-10-03 13:29:41 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2023-10-03 13:30:03 +0000 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-03 13:33:44 +0000 | <elbear> | tomsmeding: thanks. this might be useful |
| 2023-10-03 13:37:17 +0000 | phma_ | (~phma@2001:5b0:2143:dc48:abeb:f726:fe91:c1bd) |
| 2023-10-03 13:40:08 +0000 | phma | (~phma@2001:5b0:2143:dc48:abeb:f726:fe91:c1bd) (Ping timeout: 246 seconds) |
| 2023-10-03 13:42:26 +0000 | stites | (~stites@2607:fb91:dc1:c31f:f5a5:ac9:104d:5b91) (Read error: Connection reset by peer) |
| 2023-10-03 13:42:36 +0000 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-03 13:42:37 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-03 13:42:37 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-03 13:42:37 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-03 13:42:45 +0000 | stites | (~stites@155.33.132.39) |
| 2023-10-03 13:44:43 +0000 | stites | (~stites@155.33.132.39) (Read error: Connection reset by peer) |
| 2023-10-03 13:45:02 +0000 | stites | (~stites@155.33.132.39) |
| 2023-10-03 13:48:46 +0000 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2023-10-03 13:49:21 +0000 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) |
| 2023-10-03 13:51:00 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 13:55:32 +0000 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-10-03 13:57:28 +0000 | simendsjo | (~user@84.211.91.241) (Ping timeout: 255 seconds) |
| 2023-10-03 13:58:09 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 14:05:00 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-03 14:05:06 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2023-10-03 14:09:10 +0000 | pyooque | (~puke@user/puke) |
| 2023-10-03 14:09:10 +0000 | puke | (~puke@user/puke) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2023-10-03 14:09:10 +0000 | pyooque | puke |
| 2023-10-03 14:10:03 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-03 14:10:51 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-10-03 14:14:07 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-10-03 14:14:23 +0000 | califax | (~califax@user/califx) |
| 2023-10-03 14:18:12 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-10-03 14:21:47 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-03 14:21:47 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-03 14:21:47 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-03 14:22:46 +0000 | shapr | (~user@2600:1700:c640:3100:f49:558c:8a5a:9e38) |
| 2023-10-03 14:26:45 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 2023-10-03 14:27:08 +0000 | acidjnk_new | (~acidjnk@p200300d6e7072f62a999b01f4585689b.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-03 14:29:36 +0000 | acidjnk | (~acidjnk@p200300d6e7072f62c83efacb636187f1.dip0.t-ipconnect.de) |
| 2023-10-03 14:30:36 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 248 seconds) |
| 2023-10-03 14:31:13 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 14:37:00 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2023-10-03 14:37:22 +0000 | elbear | (~lucian@109.101.137.234) (Ping timeout: 255 seconds) |
| 2023-10-03 14:38:05 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:f5ba:a242:b43c:a732) (Quit: WeeChat 2.8) |
| 2023-10-03 14:38:58 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2023-10-03 14:40:32 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 14:44:16 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 14:45:05 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-10-03 14:45:25 +0000 | euleritian | (~euleritia@p200300d40f0c65007af85a5663d6a6ec.dip0.t-ipconnect.de) |
| 2023-10-03 14:45:41 +0000 | sabino | (~sabino@user/sabino) |
| 2023-10-03 14:50:04 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-03 14:52:15 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) |
| 2023-10-03 14:52:15 +0000 | danse-nr3 | (~francesco@151.43.111.248) (Read error: Connection reset by peer) |
| 2023-10-03 14:52:18 +0000 | danse-nr3_ | (~francesco@151.43.108.29) |
| 2023-10-03 14:56:13 +0000 | euleritian | (~euleritia@p200300d40f0c65007af85a5663d6a6ec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-10-03 14:59:07 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-03 15:03:51 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-03 15:07:20 +0000 | vglfr | (~vglfr@37.73.22.201) |
| 2023-10-03 15:08:44 +0000 | nullie | (~nullie@amsterdam.nullie.name) (Ping timeout: 255 seconds) |
| 2023-10-03 15:12:04 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 15:12:06 +0000 | vglfr | (~vglfr@37.73.22.201) (Ping timeout: 260 seconds) |
| 2023-10-03 15:16:01 +0000 | euleritian | (~euleritia@p200300d40f0c650004a69dafb9cda176.dip0.t-ipconnect.de) |
| 2023-10-03 15:19:11 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-10-03 15:22:17 +0000 | nullie | (~nullie@amsterdam.nullie.name) |
| 2023-10-03 15:22:25 +0000 | Heffalump | (~ganesh@urchin.earth.li) |
| 2023-10-03 15:26:30 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-03 15:29:42 +0000 | danse-nr3_ | (~francesco@151.43.108.29) (Ping timeout: 255 seconds) |
| 2023-10-03 15:31:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-03 15:34:43 +0000 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-3592-87ff-2ef3-8839.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-10-03 15:35:53 +0000 | stites | (~stites@155.33.132.39) (Read error: Connection reset by peer) |
| 2023-10-03 15:36:32 +0000 | stites | (~stites@155.33.132.39) |
| 2023-10-03 15:36:37 +0000 | danse-nr3_ | (~francesco@151.43.108.29) |
| 2023-10-03 15:38:51 +0000 | stites | (~stites@155.33.132.39) (Read error: Connection reset by peer) |
| 2023-10-03 15:39:16 +0000 | stites | (~stites@155.33.132.39) |
| 2023-10-03 15:41:16 +0000 | stites | (~stites@155.33.132.39) (Read error: Connection reset by peer) |
| 2023-10-03 15:41:35 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-03 15:41:39 +0000 | stites | (~stites@155.33.132.39) |
| 2023-10-03 15:45:12 +0000 | Franciman | (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
| 2023-10-03 15:57:01 +0000 | hyiltiz | (~hyiltiz@2620:149:13d1::4) |
| 2023-10-03 15:59:01 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-03 15:59:35 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 16:09:45 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-03 16:10:44 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-10-03 16:11:03 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-10-03 16:12:40 +0000 | phma_ | phma |
| 2023-10-03 16:20:51 +0000 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-10-03 16:21:22 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 258 seconds) |
| 2023-10-03 16:23:10 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-10-03 16:24:05 +0000 | rgw | (~R@2605:a601:a0df:5600:5fc:3a3a:86f0:f33a) |
| 2023-10-03 16:39:59 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 2023-10-03 16:40:18 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-10-03 16:41:19 +0000 | elbear | (~lucian@109.101.137.234) |
| 2023-10-03 16:45:13 +0000 | NinjaTrappeur | (~ninja@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.0.5) |
| 2023-10-03 16:45:31 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 16:45:56 +0000 | elbear | (~lucian@109.101.137.234) (Ping timeout: 255 seconds) |
| 2023-10-03 16:46:50 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-10-03 16:48:03 +0000 | alexherbo2 | (~alexherbo@2a01cb000b1eec001411a588c41916b2.ipv6.abo.wanadoo.fr) (Ping timeout: 245 seconds) |
| 2023-10-03 16:48:20 +0000 | NinjaTrappeur | (~ninja@about/aquilenet/vodoo/NinjaTrappeur) |
| 2023-10-03 16:49:48 +0000 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 248 seconds) |
| 2023-10-03 16:49:59 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-03 16:58:29 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-10-03 16:59:19 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-10-03 17:00:01 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-10-03 17:00:52 +0000 | ski | (~ski@88.131.7.247) |
| 2023-10-03 17:01:14 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-03 17:05:17 +0000 | mikoto-chan | (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) |
| 2023-10-03 17:05:25 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2023-10-03 17:05:43 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-03 17:07:43 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2023-10-03 17:16:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3903:9332:e66b:72f6) (Ping timeout: 240 seconds) |
| 2023-10-03 17:16:38 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-03 17:17:59 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-03 17:18:48 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-03 17:20:21 +0000 | Square | (~Square@user/square) |
| 2023-10-03 17:22:28 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-03 17:23:45 +0000 | simendsjo | (~user@84.211.91.241) |
| 2023-10-03 17:26:43 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-03 17:28:35 +0000 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-10-03 17:28:38 +0000 | zer0bitz_ | zer0bitz |
| 2023-10-03 17:44:15 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-03 17:45:12 +0000 | elbear | (~lucian@109.101.137.234) |
| 2023-10-03 17:47:21 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-03 17:47:24 +0000 | danse-nr3_ | (~francesco@151.43.108.29) (Ping timeout: 272 seconds) |
| 2023-10-03 17:48:00 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 258 seconds) |
| 2023-10-03 17:48:16 +0000 | Square | (~Square@user/square) |
| 2023-10-03 17:49:32 +0000 | elbear | (~lucian@109.101.137.234) (Ping timeout: 258 seconds) |
| 2023-10-03 17:54:28 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-10-03 17:55:01 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-10-03 17:56:28 +0000 | mikoto-chan | (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) (Ping timeout: 248 seconds) |
| 2023-10-03 17:58:23 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-10-03 18:00:59 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-03 18:03:44 +0000 | shapr | (~user@2600:1700:c640:3100:f49:558c:8a5a:9e38) (Remote host closed the connection) |
| 2023-10-03 18:03:57 +0000 | shapr | (~user@2600:1700:c640:3100:e1b1:e88e:4412:3c5c) |
| 2023-10-03 18:06:48 +0000 | ubert1 | (~Thunderbi@178.115.77.244.wireless.dyn.drei.com) |
| 2023-10-03 18:07:48 +0000 | ubert | (~Thunderbi@91.141.57.144.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2023-10-03 18:07:48 +0000 | ubert1 | ubert |
| 2023-10-03 18:08:43 +0000 | ski | (~ski@88.131.7.247) (Ping timeout: 264 seconds) |
| 2023-10-03 18:08:50 +0000 | mikoto-chan | (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) |
| 2023-10-03 18:09:08 +0000 | ski | (~ski@88.131.7.247) |
| 2023-10-03 18:10:34 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-10-03 18:12:02 +0000 | stites | (~stites@155.33.132.39) (Read error: Connection reset by peer) |
| 2023-10-03 18:12:50 +0000 | stites | (~stites@155.33.132.39) |
| 2023-10-03 18:12:56 +0000 | kimiamania4 | (~65804703@user/kimiamania) (Ping timeout: 260 seconds) |
| 2023-10-03 18:13:33 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-10-03 18:15:56 +0000 | danse-nr3_ | (~francesco@151.43.108.29) |
| 2023-10-03 18:17:29 +0000 | danza | (~francesco@151.43.108.29) |
| 2023-10-03 18:17:36 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-10-03 18:22:06 +0000 | kimiamania4 | (~65804703@user/kimiamania) |
| 2023-10-03 18:34:31 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-10-03 18:35:50 +0000 | elbear | (~lucian@109.101.137.234) |
| 2023-10-03 18:38:09 +0000 | n1essa | fn_lumi |
| 2023-10-03 18:38:52 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 18:40:05 +0000 | elbear | (~lucian@109.101.137.234) (Ping timeout: 246 seconds) |
| 2023-10-03 18:46:16 +0000 | Square | (~Square@user/square) (Ping timeout: 258 seconds) |
| 2023-10-03 18:49:19 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 2023-10-03 18:52:09 +0000 | danza_ | (~francesco@151.43.122.221) |
| 2023-10-03 18:52:12 +0000 | danse-nr3__ | (~francesco@151.43.122.221) |
| 2023-10-03 18:52:35 +0000 | danse-nr3_ | (~francesco@151.43.108.29) (Read error: Connection reset by peer) |
| 2023-10-03 18:54:14 +0000 | <tomsmeding> | mankyKitty: re "can't pass Int because the type says String" not being very valuable: without a type system catching that, honestly what did you expect would happen? :p |
| 2023-10-03 18:54:46 +0000 | danza | (~francesco@151.43.108.29) (Ping timeout: 255 seconds) |
| 2023-10-03 18:56:19 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 18:56:35 +0000 | <[exa]> | tomsmeding: PHP |
| 2023-10-03 18:56:37 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-10-03 18:57:37 +0000 | <tomsmeding> | @hackage acme-php |
| 2023-10-03 18:57:37 +0000 | <lambdabot> | https://hackage.haskell.org/package/acme-php |
| 2023-10-03 18:58:11 +0000 | <loonycyborg> | you're forced to work with types no matter what, only tradeoff is compile-time vs runtime |
| 2023-10-03 18:59:27 +0000 | <loonycyborg> | even if type isn't something programmer specifies the programming language still have to make sense of data it gets somehow.. |
| 2023-10-03 18:59:43 +0000 | <[exa]> | tomsmeding: I'm still amazed how much 2000's can fit into the acme-php homepage |
| 2023-10-03 19:01:28 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 19:02:43 +0000 | cpressey88 | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 19:05:07 +0000 | danza_ | (~francesco@151.43.122.221) (Ping timeout: 255 seconds) |
| 2023-10-03 19:06:23 +0000 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-03 19:08:23 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-03 19:10:53 +0000 | cpressey88 | cpressey |
| 2023-10-03 19:13:16 +0000 | Guest61 | (~Guest10@104.129.159.227) |
| 2023-10-03 19:13:19 +0000 | <Guest61> | [Hi, in C# or OOP, for pubsub pattern, I can have event in a class, and other classes can subscribe to that event by adding many handlers to that events, e.g. adding a delegate to a click event in winform. |
| 2023-10-03 19:13:20 +0000 | <Guest61> | Could anyone show me how I could approach this pub-sub problem in functional programming, and haskell, please? |
| 2023-10-03 19:15:45 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-10-03 19:18:43 +0000 | Guest61 | (~Guest10@104.129.159.227) (Quit: Client closed) |
| 2023-10-03 19:19:00 +0000 | <EvanR> | oof |
| 2023-10-03 19:20:35 +0000 | hugo- | hugo |
| 2023-10-03 19:21:43 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 2023-10-03 19:21:43 +0000 | <probie> | Guest61: It really depends on what problem you're trying to solve. That said, if you really need to do something like this, I'd recommend using a `TChan`. Your event publisher creates a broadcast `TChan`, and to subscribe, clients call `dupTChan` |
| 2023-10-03 19:21:52 +0000 | <EvanR> | they left |
| 2023-10-03 19:22:55 +0000 | ulysses4ever | (~artem@73.145.240.168) |
| 2023-10-03 19:23:01 +0000 | <probie> | I know, but I've gone to the effort of typing, so I'm going to hit enter |
| 2023-10-03 19:23:23 +0000 | <probie> | maybe they'll come back and look at the logs |
| 2023-10-03 19:23:32 +0000 | <monochrom> | "sunk cost policy" :) |
| 2023-10-03 19:25:29 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-03 19:26:50 +0000 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-03 19:27:28 +0000 | alexherbo2 | (~alexherbo@2a02-8440-b212-1625-0c45-7133-54b7-59c4.rev.sfr.net) |
| 2023-10-03 19:28:20 +0000 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-10-03 19:28:59 +0000 | reginal | (~reginal@bras-base-otwaon230qw-grc-11-174-94-5-43.dsl.bell.ca) |
| 2023-10-03 19:30:35 +0000 | ulysses4ever | (~artem@73.145.240.168) (Read error: Connection reset by peer) |
| 2023-10-03 19:33:52 +0000 | reginal | (~reginal@bras-base-otwaon230qw-grc-11-174-94-5-43.dsl.bell.ca) (K-Lined) |
| 2023-10-03 19:38:03 +0000 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-03 19:38:16 +0000 | johnw | (~johnw@69.62.242.138) (Read error: Connection reset by peer) |
| 2023-10-03 19:41:42 +0000 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 19:42:27 +0000 | michalz | (~michalz@185.246.204.101) (Remote host closed the connection) |
| 2023-10-03 19:44:07 +0000 | danse-nr3__ | (~francesco@151.43.122.221) (Ping timeout: 264 seconds) |
| 2023-10-03 19:45:09 +0000 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2023-10-03 19:50:19 +0000 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-03 19:51:40 +0000 | Reyaina | (~Reyaina@bras-base-otwaon230qw-grc-30-174-88-134-146.dsl.bell.ca) |
| 2023-10-03 19:53:58 +0000 | danse-nr3__ | (~francesco@151.43.122.221) |
| 2023-10-03 19:55:08 +0000 | alexherbo2 | (~alexherbo@2a02-8440-b212-1625-0c45-7133-54b7-59c4.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-10-03 19:55:21 +0000 | Square | (~Square@user/square) |
| 2023-10-03 19:55:23 +0000 | <Reyaina> | Courtney Rickett Gets Gangbanged by the Braves - The Shitty Clarinet Courtney Rickett takes ecstasy suppositories with Edna Skilton and ends up gangbanged by the Atlanta Braves and consensually sodomized by her trusty clarinet. https://justpaste.it/Courtney_Rickett_Gangbanged |
| 2023-10-03 19:55:39 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-03 19:56:40 +0000 | <mauke> | @where ops |
| 2023-10-03 19:56:40 +0000 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 2023-10-03 19:58:10 +0000 | ChanServ | +o Cale |
| 2023-10-03 19:58:18 +0000 | Cale | +b *!*@bras-base-otwaon230qw-grc-30-174-88-134-146.dsl.bell.ca |
| 2023-10-03 19:58:18 +0000 | Reyaina | Cale (Reyaina) |
| 2023-10-03 19:58:29 +0000 | Cale | -o Cale |
| 2023-10-03 19:58:31 +0000 | ski | (~ski@88.131.7.247) (Ping timeout: 260 seconds) |
| 2023-10-03 20:01:02 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 20:01:10 +0000 | ChanServ | +o litharge |
| 2023-10-03 20:01:10 +0000 | litharge | -bo *!*@bras-base-otwaon230qw-grc-30-174-88-134-146.dsl.bell.ca litharge |
| 2023-10-03 20:04:43 +0000 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) (Quit: Client closed) |
| 2023-10-03 20:05:31 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Ping timeout: 260 seconds) |
| 2023-10-03 20:05:41 +0000 | mikoto-chan | (~mikoto-ch@ip-212-239-236-59.dsl.scarlet.be) (Quit: WeeChat 3.8) |
| 2023-10-03 20:08:48 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-10-03 20:09:18 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 20:09:19 +0000 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2023-10-03 20:12:21 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-10-03 20:12:31 +0000 | simendsjo | (~user@84.211.91.241) (Ping timeout: 260 seconds) |
| 2023-10-03 20:14:52 +0000 | <EvanR> | wut, your ban was overruled? |
| 2023-10-03 20:15:26 +0000 | <Franciman> | hi, is there any public statistics about haskell adoption in industry and its trends? |
| 2023-10-03 20:19:31 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-10-03 20:20:22 +0000 | <geekosaur> | EvanR, litharge implements ban timeouts. It will have asked Cale first for a timeout (or a non-timeout response making it permanent) |
| 2023-10-03 20:20:44 +0000 | <geekosaur> | monochrom and I use it |
| 2023-10-03 20:21:20 +0000 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 20:21:38 +0000 | <EvanR> | handy |
| 2023-10-03 20:22:01 +0000 | <EvanR> | apparently it was not used in #space just now on that user |
| 2023-10-03 20:22:04 +0000 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 255 seconds) |
| 2023-10-03 20:22:29 +0000 | <geekosaur> | right, it has to be invited into a channel |
| 2023-10-03 20:22:31 +0000 | danse-nr3__ | (~francesco@151.43.122.221) (Ping timeout: 255 seconds) |
| 2023-10-03 20:23:03 +0000 | ulysses4ever | (~artem@73.145.240.152) |
| 2023-10-03 20:25:48 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-10-03 20:26:47 +0000 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-03 20:27:47 +0000 | <Cale> | geekosaur: I asked for 1month |
| 2023-10-03 20:28:11 +0000 | <Cale> | and it said "ack." and then probably interpreted it as 1 minute |
| 2023-10-03 20:28:23 +0000 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-10-03 20:28:59 +0000 | <geekosaur> | that sounds about right, I don't think it understands anything longer than days |
| 2023-10-03 20:29:10 +0000 | <geekosaur> | at least I recall having to use days for a 2-week ban |
| 2023-10-03 20:30:43 +0000 | elbear | (~lucian@109.101.137.234) |
| 2023-10-03 20:32:36 +0000 | ulysses4ever | (~artem@73.145.240.152) (Read error: Connection reset by peer) |
| 2023-10-03 20:35:08 +0000 | elbear | (~lucian@109.101.137.234) (Ping timeout: 258 seconds) |
| 2023-10-03 20:37:50 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-10-03 20:43:42 +0000 | cpressey96 | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 20:46:48 +0000 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-03 20:47:10 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-03 20:47:18 +0000 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 2023-10-03 20:47:46 +0000 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-03 20:48:28 +0000 | cpressey96 | (~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-03 20:49:22 +0000 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 20:49:39 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-10-03 20:51:03 +0000 | Jackneill | (~Jackneill@20014C4E1E13B20020A43670487A9903.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2023-10-03 20:51:56 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-10-03 20:54:11 +0000 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) (Client Quit) |
| 2023-10-03 20:55:47 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 2023-10-03 21:00:58 +0000 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) |
| 2023-10-03 21:01:31 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-03 21:01:35 +0000 | acidjnk | (~acidjnk@p200300d6e7072f62c83efacb636187f1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-10-03 21:01:38 +0000 | Square2 | (~Square4@user/square) |
| 2023-10-03 21:01:59 +0000 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-10-03 21:04:39 +0000 | Square | (~Square@user/square) (Ping timeout: 258 seconds) |
| 2023-10-03 21:06:46 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-10-03 21:07:17 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-03 21:07:19 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-10-03 21:11:03 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 21:13:35 +0000 | prite | (~pritam@user/pritambaral) |
| 2023-10-03 21:22:17 +0000 | pavonia | (~user@user/siracusa) |
| 2023-10-03 21:35:54 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-10-03 21:45:35 +0000 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
| 2023-10-03 21:50:59 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-03 21:57:20 +0000 | stites | (~stites@155.33.132.39) (Ping timeout: 255 seconds) |
| 2023-10-03 21:58:29 +0000 | stites | (~stites@2607:fb91:dca:1fe3:e61a:30b8:bd10:dac3) |
| 2023-10-03 22:03:57 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-03 22:04:25 +0000 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2023-10-03 22:04:34 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-03 22:14:03 +0000 | migas5 | (~migas@astra4961.startdedicated.net) |
| 2023-10-03 22:14:54 +0000 | migas | (~migas@astra4961.startdedicated.net) (Read error: Connection reset by peer) |
| 2023-10-03 22:14:54 +0000 | migas5 | migas |
| 2023-10-03 22:16:46 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-03 22:17:06 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2023-10-03 22:20:07 +0000 | puke | (~puke@user/puke) |
| 2023-10-03 22:22:17 +0000 | stites | (~stites@2607:fb91:dca:1fe3:e61a:30b8:bd10:dac3) (Read error: Connection reset by peer) |
| 2023-10-03 22:22:41 +0000 | stites | (~stites@130.44.147.204) |
| 2023-10-03 22:25:24 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-03 22:28:03 +0000 | cpressey | (~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-03 22:38:21 +0000 | jackhill | KM4MBG |
| 2023-10-03 22:39:32 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-03 22:40:28 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-10-03 22:42:39 +0000 | hyiltiz | (~hyiltiz@2620:149:13d1::4) (Ping timeout: 240 seconds) |
| 2023-10-03 22:46:39 +0000 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-10-03 22:46:43 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-10-03 22:55:40 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 255 seconds) |
| 2023-10-03 22:56:55 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-03 22:59:40 +0000 | euleritian | (~euleritia@p200300d40f0c650004a69dafb9cda176.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-10-03 23:02:35 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-03 23:08:11 +0000 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) |
| 2023-10-03 23:08:37 +0000 | hyiltiz | (~hyiltiz@2620:149:13d1::4) |
| 2023-10-03 23:13:09 +0000 | Square3 | (~Square4@user/square) |
| 2023-10-03 23:16:06 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2023-10-03 23:18:52 +0000 | Square3 | Square |
| 2023-10-03 23:20:39 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-03 23:21:14 +0000 | Square2 | (~Square@user/square) |
| 2023-10-03 23:21:50 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-03 23:23:48 +0000 | Square | (~Square4@user/square) (Ping timeout: 258 seconds) |
| 2023-10-03 23:24:12 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-03 23:29:06 +0000 | hyiltiz | (~hyiltiz@2620:149:13d1::4) (Ping timeout: 260 seconds) |
| 2023-10-03 23:35:20 +0000 | stites | (~stites@130.44.147.204) (Ping timeout: 255 seconds) |
| 2023-10-03 23:35:45 +0000 | stites | (~stites@2607:fb91:dca:1fe3:e61a:30b8:bd10:dac3) |
| 2023-10-03 23:37:20 +0000 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-10-03 23:41:35 +0000 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-03 23:44:30 +0000 | prite | (~pritam@user/pritambaral) (Ping timeout: 258 seconds) |
| 2023-10-03 23:44:35 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-10-03 23:44:35 +0000 | jinsun | Guest2176 |
| 2023-10-03 23:44:35 +0000 | Guest2176 | (~jinsun@user/jinsun) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2023-10-03 23:44:35 +0000 | jinsun_ | jinsun |
| 2023-10-03 23:46:37 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2023-10-03 23:46:56 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-10-03 23:58:22 +0000 | stites | (~stites@2607:fb91:dca:1fe3:e61a:30b8:bd10:dac3) (Read error: Connection reset by peer) |
| 2023-10-03 23:58:42 +0000 | stites | (~stites@130.44.147.204) |