| 2024-01-24 00:01:37 +0000 | <haskellbridge> | 05<irregularsphere> imagine nullpointerexceptions in safe haskell |
| 2024-01-24 00:01:54 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-24 00:02:01 +0000 | <monochrom> | But _|_ is safe Haskell! >:) |
| 2024-01-24 00:02:02 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-01-24 00:02:32 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-24 00:08:49 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-24 00:09:10 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-01-24 00:09:38 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-24 00:15:41 +0000 | Square2 | (~Square4@user/square) |
| 2024-01-24 00:18:43 +0000 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Quit: myxos) |
| 2024-01-24 00:19:03 +0000 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-01-24 00:28:01 +0000 | micro | (~micro@user/micro) (Ping timeout: 246 seconds) |
| 2024-01-24 00:28:41 +0000 | micro | (~micro@user/micro) |
| 2024-01-24 00:29:55 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 2024-01-24 00:30:13 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-24 00:30:19 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-01-24 00:34:11 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2024-01-24 00:37:15 +0000 | bilegeek | (~bilegeek@2600:1008:b04b:425e:f3c:aa87:97da:f2b4) |
| 2024-01-24 00:37:16 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-01-24 00:37:39 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-24 00:39:28 +0000 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2024-01-24 00:49:34 +0000 | causal | (~eric@50.35.85.7) |
| 2024-01-24 00:51:56 +0000 | forell | (~forell@user/forell) (Ping timeout: 252 seconds) |
| 2024-01-24 01:09:07 +0000 | yotta | (~cha0s@14.191.144.106) (Quit: WeeChat 4.1.2) |
| 2024-01-24 01:12:25 +0000 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-01-24 01:29:47 +0000 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2024-01-24 01:33:38 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-01-24 01:35:31 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-01-24 01:44:57 +0000 | rosco | (~rosco@175.136.156.77) |
| 2024-01-24 01:45:27 +0000 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-01-24 01:50:43 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-24 01:53:05 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-24 01:53:49 +0000 | mima | (~mmh@aftr-62-216-211-120.dynamic.mnet-online.de) (Ping timeout: 264 seconds) |
| 2024-01-24 01:56:09 +0000 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-01-24 01:56:23 +0000 | xigua | (~xigua@user/xigua) |
| 2024-01-24 01:58:58 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-01-24 02:00:46 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 246 seconds) |
| 2024-01-24 02:02:25 +0000 | cross | (~cross@spitfire.i.gajendra.net) |
| 2024-01-24 02:03:07 +0000 | cross | (~cross@spitfire.i.gajendra.net) (Client Quit) |
| 2024-01-24 02:03:45 +0000 | cross | (~cross@spitfire.i.gajendra.net) |
| 2024-01-24 02:04:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-01-24 02:10:09 +0000 | trev | (~trev@user/trev) |
| 2024-01-24 02:13:34 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-01-24 02:13:37 +0000 | thegeekinside | (~thegeekin@189.180.85.240) (Ping timeout: 264 seconds) |
| 2024-01-24 02:19:42 +0000 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-01-24 02:37:53 +0000 | average | (uid473595@user/average) |
| 2024-01-24 02:39:30 +0000 | caconym | (~caconym@user/caconym) (Read error: Connection reset by peer) |
| 2024-01-24 02:42:14 +0000 | yeahitsme | (~bob@2a01:799:15e2:1800:8bf3:5e36:1335:cc51) (Read error: Connection reset by peer) |
| 2024-01-24 02:42:21 +0000 | caconym | (~caconym@user/caconym) |
| 2024-01-24 02:42:37 +0000 | yeahitsme | (~bob@2a01:799:15e2:1800:8bf3:5e36:1335:cc51) |
| 2024-01-24 02:47:07 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2024-01-24 02:48:25 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-24 02:48:48 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-24 02:51:18 +0000 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-24 02:52:02 +0000 | tri__ | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-24 02:52:18 +0000 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2024-01-24 02:52:20 +0000 | tri__ | (~tri@ool-18bc2e74.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2024-01-24 02:52:32 +0000 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-24 02:53:29 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-01-24 02:55:05 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-01-24 02:55:47 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-01-24 02:57:56 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:558a:c642:c5e9:5691) (Remote host closed the connection) |
| 2024-01-24 02:58:21 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:558a:c642:c5e9:5691) |
| 2024-01-24 03:03:46 +0000 | forell | (~forell@user/forell) |
| 2024-01-24 03:12:35 +0000 | qqq_ | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-01-24 03:14:47 +0000 | forell | (~forell@user/forell) (Ping timeout: 260 seconds) |
| 2024-01-24 03:16:55 +0000 | forell | (~forell@user/forell) |
| 2024-01-24 03:18:25 +0000 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-01-24 03:22:29 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-01-24 03:23:07 +0000 | tri_ | (~tri@172.59.8.254) |
| 2024-01-24 03:26:58 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-01-24 03:31:53 +0000 | <haskellbridge> | 05<irregularsphere> not all _|_ are made equal |
| 2024-01-24 03:32:07 +0000 | <haskellbridge> | 05<irregularsphere> \_|\_* |
| 2024-01-24 03:37:28 +0000 | <EvanR> | you dare question the central dogma of haskell |
| 2024-01-24 03:38:48 +0000 | <haskellbridge> | 05<irregularsphere> oh no |
| 2024-01-24 03:44:19 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-24 03:50:31 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2024-01-24 03:51:02 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-24 03:52:51 +0000 | td_ | (~td@i53870938.versanet.de) (Ping timeout: 256 seconds) |
| 2024-01-24 03:54:41 +0000 | td_ | (~td@i5387090C.versanet.de) |
| 2024-01-24 04:04:08 +0000 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) |
| 2024-01-24 04:16:49 +0000 | aforemny | (~aforemny@i59F516EE.versanet.de) |
| 2024-01-24 04:17:05 +0000 | aforemny_ | (~aforemny@i59F516CD.versanet.de) (Ping timeout: 252 seconds) |
| 2024-01-24 04:32:50 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-01-24 04:45:27 +0000 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-01-24 04:46:23 +0000 | bilegeek_ | (~bilegeek@47.sub-174-209-36.myvzw.com) |
| 2024-01-24 04:49:03 +0000 | bilegeek | (~bilegeek@2600:1008:b04b:425e:f3c:aa87:97da:f2b4) (Ping timeout: 260 seconds) |
| 2024-01-24 04:56:12 +0000 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2024-01-24 05:08:24 +0000 | average | (uid473595@user/average) |
| 2024-01-24 05:16:04 +0000 | son0p | (~ff@181.32.158.171) (Ping timeout: 256 seconds) |
| 2024-01-24 05:22:29 +0000 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-01-24 05:30:43 +0000 | tri_ | (~tri@172.59.8.254) (Leaving...) |
| 2024-01-24 05:30:45 +0000 | tri_ | (~tri@172.59.8.254) |
| 2024-01-24 05:39:06 +0000 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-01-24 05:43:55 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-01-24 05:54:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-24 05:54:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-01-24 05:55:13 +0000 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) |
| 2024-01-24 05:56:12 +0000 | Maxdaman1us | (~Maxdamant@user/maxdamantus) |
| 2024-01-24 05:57:35 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2024-01-24 05:57:47 +0000 | pavonia | (~user@user/siracusa) |
| 2024-01-24 06:02:20 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-01-24 06:04:49 +0000 | mixfix41 | (~enriqodog@user/mixfix41) (Ping timeout: 260 seconds) |
| 2024-01-24 06:06:14 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2024-01-24 06:06:50 +0000 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
| 2024-01-24 06:07:32 +0000 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2024-01-24 06:08:05 +0000 | michalz | (~michalz@185.246.207.203) |
| 2024-01-24 06:08:25 +0000 | <tri_> | hi, im having trouble understanding foldMap (* 5) [1,2,3,4 :: Sum Int] |
| 2024-01-24 06:08:37 +0000 | <tri_> | :t foldMap |
| 2024-01-24 06:08:38 +0000 | <lambdabot> | (Foldable t, Monoid m) => (a -> m) -> t a -> m |
| 2024-01-24 06:09:43 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-24 06:09:44 +0000 | <tri_> | fold map first arg is a function returning a monoid, however, (* 5) returns a Num. And unless Num inherits Monoid (which it's not), it should not compile |
| 2024-01-24 06:10:02 +0000 | <tri_> | however, the above code compiles and run, so can someone help me with that please |
| 2024-01-24 06:13:56 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-24 06:14:22 +0000 | <[Leary]> | tri_: You're using `instance Num a => Num (Sum a)` and `instance Num a => Monoid (Sum a)`. |
| 2024-01-24 06:14:29 +0000 | <[Leary]> | :t (* 5) :: Num a => Sum a -> Sum a |
| 2024-01-24 06:14:30 +0000 | <lambdabot> | Num a => Sum a -> Sum a |
| 2024-01-24 06:14:37 +0000 | <tri_> | eya thank you |
| 2024-01-24 06:14:44 +0000 | <tri_> | i was just also figured that out haha |
| 2024-01-24 06:14:58 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-01-24 06:15:03 +0000 | <tri_> | it's actualyl not retunring a Num, but it was only partially applied |
| 2024-01-24 06:15:08 +0000 | andreabedini | (~andreabed@2403-580e-e231-0-20a8-7249-ea21-1418.ip6.aussiebb.net) |
| 2024-01-24 06:15:26 +0000 | andreabedini | (~andreabed@2403-580e-e231-0-20a8-7249-ea21-1418.ip6.aussiebb.net) (Client Quit) |
| 2024-01-24 06:15:50 +0000 | euleritian | (~euleritia@dynamic-176-006-180-169.176.6.pool.telefonica.de) |
| 2024-01-24 06:16:58 +0000 | <tri_> | :t (* 5) :: Num a => Sum a -> Sum a |
| 2024-01-24 06:16:59 +0000 | <lambdabot> | Num a => Sum a -> Sum a |
| 2024-01-24 06:19:14 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-24 06:19:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-24 06:19:42 +0000 | bilegeek_ | (~bilegeek@47.sub-174-209-36.myvzw.com) (Quit: Leaving) |
| 2024-01-24 06:19:55 +0000 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Ping timeout: 276 seconds) |
| 2024-01-24 06:24:07 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-24 06:27:11 +0000 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2024-01-24 06:34:56 +0000 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-24 06:35:54 +0000 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-24 06:37:51 +0000 | michalz | (~michalz@185.246.207.222) |
| 2024-01-24 06:40:43 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 276 seconds) |
| 2024-01-24 06:44:16 +0000 | tri_ | (~tri@172.59.8.254) (Remote host closed the connection) |
| 2024-01-24 06:53:25 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-01-24 06:58:23 +0000 | acidjnk | (~acidjnk@p200300d6e737e797cd67f117b5f3b07c.dip0.t-ipconnect.de) |
| 2024-01-24 07:10:56 +0000 | bilegeek | (~bilegeek@47.sub-174-209-36.myvzw.com) |
| 2024-01-24 07:18:10 +0000 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-01-24 07:25:23 +0000 | CiaoSen | (~Jura@2a05:5800:282:4000:ca4b:d6ff:fec1:99da) |
| 2024-01-24 07:25:42 +0000 | son0p | (~ff@152.203.88.4) |
| 2024-01-24 07:29:49 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 264 seconds) |
| 2024-01-24 07:32:12 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-24 07:35:36 +0000 | euleritian | (~euleritia@dynamic-176-006-180-169.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-24 07:35:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-24 07:39:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-24 07:40:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-24 07:57:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-24 07:59:21 +0000 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-24 08:02:05 +0000 | sroso | (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 2024-01-24 08:06:32 +0000 | sroso | (~sroso@user/SrOso) |
| 2024-01-24 08:06:33 +0000 | yeahitsme | (~bob@2a01:799:15e2:1800:8bf3:5e36:1335:cc51) (Changing host) |
| 2024-01-24 08:06:33 +0000 | yeahitsme | (~bob@user/yeahitsme) |
| 2024-01-24 08:07:07 +0000 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
| 2024-01-24 08:10:01 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-01-24 08:10:30 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-24 08:11:19 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-01-24 08:12:48 +0000 | sroso | (~sroso@user/SrOso) |
| 2024-01-24 08:13:23 +0000 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
| 2024-01-24 08:14:11 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Quit: WeeChat 3.0) |
| 2024-01-24 08:15:19 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-24 08:19:01 +0000 | sroso | (~sroso@user/SrOso) |
| 2024-01-24 08:23:14 +0000 | mima | (~mmh@aftr-62-216-211-232.dynamic.mnet-online.de) |
| 2024-01-24 08:31:22 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-01-24 08:34:28 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-24 08:57:57 +0000 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2024-01-24 08:58:22 +0000 | arthurvl | earthy |
| 2024-01-24 09:07:03 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-24 09:13:05 +0000 | mikess | (~mikess@user/mikess) (Quit: mikess) |
| 2024-01-24 09:15:50 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:558a:c642:c5e9:5691) (Remote host closed the connection) |
| 2024-01-24 09:35:11 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-24 09:36:18 +0000 | mmhat | (~mmh@p200300f1c724f9e1ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-24 09:41:53 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-01-24 09:47:02 +0000 | ft | (~ft@p508dbda4.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-01-24 09:47:24 +0000 | danse-nr3 | (~danse@rm-19-56-83.service.infuturo.it) |
| 2024-01-24 09:50:03 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:558a:c642:c5e9:5691) |
| 2024-01-24 09:51:19 +0000 | CiaoSen | (~Jura@2a05:5800:282:4000:ca4b:d6ff:fec1:99da) (Ping timeout: 268 seconds) |
| 2024-01-24 09:55:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:558a:c642:c5e9:5691) (Ping timeout: 268 seconds) |
| 2024-01-24 10:01:25 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-01-24 10:06:22 +0000 | califax | (~califax@user/califx) |
| 2024-01-24 10:07:21 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-01-24 10:19:04 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-01-24 10:19:20 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2024-01-24 10:38:36 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:558a:c642:c5e9:5691) |
| 2024-01-24 10:39:21 +0000 | czy | (~user@114.226.59.181) (Remote host closed the connection) |
| 2024-01-24 10:39:43 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-24 10:40:13 +0000 | danse-nr3 | (~danse@rm-19-56-83.service.infuturo.it) (Read error: Connection reset by peer) |
| 2024-01-24 10:40:54 +0000 | danse-nr3 | (~danse@rm-19-17-156.service.infuturo.it) |
| 2024-01-24 10:40:58 +0000 | czy | (~user@114.226.59.181) |
| 2024-01-24 10:49:17 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-01-24 10:49:32 +0000 | califax | (~califax@user/califx) |
| 2024-01-24 10:52:34 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-01-24 10:52:58 +0000 | califax | (~califax@user/califx) |
| 2024-01-24 10:55:38 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-01-24 10:56:49 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 2024-01-24 10:57:51 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-01-24 10:59:04 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-01-24 11:04:05 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-01-24 11:04:26 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-24 11:06:48 +0000 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) |
| 2024-01-24 11:10:07 +0000 | bilegeek | (~bilegeek@47.sub-174-209-36.myvzw.com) (Quit: Leaving) |
| 2024-01-24 11:12:18 +0000 | phma | (phma@2001:5b0:211f:c9b8:8d72:9b4c:9f04:5951) (Read error: Connection reset by peer) |
| 2024-01-24 11:13:17 +0000 | phma | (~phma@2001:5b0:211c:bbb8:1d29:ba48:4236:ecbf) |
| 2024-01-24 11:13:47 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-01-24 11:22:42 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-01-24 11:24:41 +0000 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-01-24 11:25:15 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3240-ef87-bc85-922c-f784-732c.rev.sfr.net) |
| 2024-01-24 11:28:08 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-01-24 11:28:19 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-01-24 11:28:37 +0000 | mmhat | (~mmh@p200300f1c724f9e1ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-01-24 11:30:38 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-01-24 11:31:33 +0000 | Maxdaman1us | Maxdamantus |
| 2024-01-24 11:33:02 +0000 | coot_ | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-24 11:33:07 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Client Quit) |
| 2024-01-24 11:33:14 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 252 seconds) |
| 2024-01-24 11:33:46 +0000 | coot_ | coot |
| 2024-01-24 11:34:51 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-01-24 11:39:48 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-01-24 11:42:06 +0000 | mmhat | (~mmh@p200300f1c73bf4a3ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-24 11:45:56 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-01-24 11:47:47 +0000 | yeahitsme | (~bob@user/yeahitsme) (Read error: Connection reset by peer) |
| 2024-01-24 11:48:10 +0000 | yeahitsme | (~bob@2a01:799:15e2:1800:8bf3:5e36:1335:cc51) |
| 2024-01-24 12:00:14 +0000 | aforemny_ | (~aforemny@2001:9e8:6cd9:9100:ac0d:f435:5523:64b3) |
| 2024-01-24 12:00:40 +0000 | aforemny | (~aforemny@i59F516EE.versanet.de) (Ping timeout: 256 seconds) |
| 2024-01-24 12:12:36 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3240-ef87-bc85-922c-f784-732c.rev.sfr.net) (Remote host closed the connection) |
| 2024-01-24 12:13:51 +0000 | alexherbo2 | (~alexherbo@195.14.23.93.rev.sfr.net) |
| 2024-01-24 12:17:19 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-24 12:22:01 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-24 12:22:31 +0000 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2024-01-24 12:24:49 +0000 | califax | (~califax@user/califx) |
| 2024-01-24 12:27:05 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-01-24 12:27:19 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds) |
| 2024-01-24 12:27:43 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2024-01-24 12:29:21 +0000 | rosco | (~rosco@175.136.156.77) |
| 2024-01-24 12:30:05 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-24 12:30:25 +0000 | danse-nr3 | (~danse@rm-19-17-156.service.infuturo.it) (Ping timeout: 264 seconds) |
| 2024-01-24 12:32:01 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-24 12:34:33 +0000 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-01-24 12:35:53 +0000 | mima | (~mmh@aftr-62-216-211-232.dynamic.mnet-online.de) (Ping timeout: 260 seconds) |
| 2024-01-24 12:39:02 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-01-24 12:39:03 +0000 | tomith | (tomith@user/tomith) (Quit: tomith) |
| 2024-01-24 12:39:32 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-24 12:54:13 +0000 | yeahitsme | (~bob@2a01:799:15e2:1800:8bf3:5e36:1335:cc51) (Ping timeout: 246 seconds) |
| 2024-01-24 13:01:01 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-24 13:03:34 +0000 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2024-01-24 13:12:31 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-01-24 13:13:38 +0000 | danse-nr3 | (~danse@rm-19-17-156.service.infuturo.it) |
| 2024-01-24 13:13:46 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-01-24 13:14:17 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2024-01-24 13:14:30 +0000 | euleritian | (~euleritia@dynamic-176-006-192-038.176.6.pool.telefonica.de) |
| 2024-01-24 13:20:42 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-24 13:23:05 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-01-24 13:23:07 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-24 13:23:40 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-24 13:24:02 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-01-24 13:24:08 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-01-24 13:25:19 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2024-01-24 13:28:00 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-01-24 13:28:55 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
| 2024-01-24 13:31:29 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-01-24 13:31:31 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-24 13:42:50 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2024-01-24 13:44:50 +0000 | euleritian | (~euleritia@dynamic-176-006-192-038.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-24 13:45:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-24 13:45:40 +0000 | foul_owl | (~kerry@157.97.134.168) (Read error: Connection reset by peer) |
| 2024-01-24 13:50:03 +0000 | irrgit | (~irrgit@86.106.90.226) (Remote host closed the connection) |
| 2024-01-24 13:50:22 +0000 | irrgit | (~irrgit@176.113.74.74) |
| 2024-01-24 13:55:10 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-24 14:02:50 +0000 | foul_owl | (~kerry@185.219.141.160) |
| 2024-01-24 14:14:04 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-24 14:15:06 +0000 | thegeekinside | (~thegeekin@189.180.85.240) |
| 2024-01-24 14:16:45 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-01-24 14:21:32 +0000 | Buggys | (Buggys@shelltalk.net) (Ping timeout: 252 seconds) |
| 2024-01-24 14:24:53 +0000 | CiaoSen | (~Jura@2a05:5800:282:4000:ca4b:d6ff:fec1:99da) |
| 2024-01-24 14:27:51 +0000 | michalz | (~michalz@185.246.207.222) (Read error: Connection reset by peer) |
| 2024-01-24 14:30:02 +0000 | michalz | (~michalz@185.246.207.221) |
| 2024-01-24 14:30:46 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-01-24 14:33:23 +0000 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-24 14:38:35 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-01-24 14:39:03 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-24 14:41:04 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-24 14:43:17 +0000 | danse-nr3 | (~danse@rm-19-17-156.service.infuturo.it) (Ping timeout: 240 seconds) |
| 2024-01-24 14:43:20 +0000 | krei-se | (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 2024-01-24 14:43:24 +0000 | danse-nr3 | (~danse@rm-19-27-102.service.infuturo.it) |
| 2024-01-24 14:48:34 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-01-24 14:49:21 +0000 | euleritian | (~euleritia@dynamic-176-006-192-038.176.6.pool.telefonica.de) |
| 2024-01-24 14:49:38 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-01-24 14:51:10 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-01-24 14:54:35 +0000 | mmhat | (~mmh@p200300f1c73bf4a3ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-01-24 14:54:57 +0000 | mmhat | (~mmh@p200300f1c73bf455ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-24 14:56:08 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-24 15:02:28 +0000 | ystael | (~ystael@user/ystael) |
| 2024-01-24 15:03:04 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-01-24 15:03:41 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-01-24 15:07:06 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 15:10:00 +0000 | mima | (~mmh@dhcp-138-246-3-41.dynamic.eduroam.mwn.de) |
| 2024-01-24 15:10:13 +0000 | michalz_ | (~michalz@185.246.207.205) |
| 2024-01-24 15:10:46 +0000 | michalz | (~michalz@185.246.207.221) (Ping timeout: 264 seconds) |
| 2024-01-24 15:11:37 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 276 seconds) |
| 2024-01-24 15:12:04 +0000 | zetef | (~quassel@95.77.17.251) |
| 2024-01-24 15:12:24 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-01-24 15:12:46 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-01-24 15:13:39 +0000 | Nixkernal | (~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-01-24 15:16:11 +0000 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-01-24 15:18:04 +0000 | irrgit_ | (~irrgit@89.47.234.26) |
| 2024-01-24 15:21:29 +0000 | irrgit | (~irrgit@176.113.74.74) (Ping timeout: 252 seconds) |
| 2024-01-24 15:30:07 +0000 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-24 15:33:05 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-01-24 15:39:03 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 15:40:04 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-24 15:54:13 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2024-01-24 16:03:20 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-01-24 16:03:44 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-01-24 16:20:43 +0000 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-01-24 16:23:18 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-01-24 16:25:59 +0000 | danse-nr3 | (~danse@rm-19-27-102.service.infuturo.it) (Ping timeout: 268 seconds) |
| 2024-01-24 16:28:55 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-24 16:28:55 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2024-01-24 16:29:15 +0000 | thegeekinside | (~thegeekin@189.180.85.240) (Remote host closed the connection) |
| 2024-01-24 16:29:19 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-24 16:30:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-24 16:32:28 +0000 | danse-nr3 | (~danse@rm-19-27-102.service.infuturo.it) |
| 2024-01-24 16:34:33 +0000 | Silver_X | (~Silver_X@182.178.248.65) |
| 2024-01-24 16:35:37 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-01-24 16:36:04 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-24 16:40:01 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-24 16:43:41 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-24 16:46:02 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-01-24 16:46:23 +0000 | Square | (~Square@user/square) |
| 2024-01-24 16:47:58 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-01-24 16:48:20 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-01-24 17:00:05 +0000 | igemnace | (~ian@user/igemnace) (Remote host closed the connection) |
| 2024-01-24 17:05:44 +0000 | alexherbo2 | (~alexherbo@195.14.23.93.rev.sfr.net) (Remote host closed the connection) |
| 2024-01-24 17:06:55 +0000 | CiaoSen | (~Jura@2a05:5800:282:4000:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-01-24 17:10:45 +0000 | euleritian | (~euleritia@dynamic-176-006-192-038.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-24 17:11:02 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-24 17:12:55 +0000 | Silver_X | (~Silver_X@182.178.248.65) (Quit: Leaving) |
| 2024-01-24 17:13:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-24 17:14:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-24 17:15:28 +0000 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-01-24 17:15:34 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-24 17:16:25 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-24 17:20:37 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-01-24 17:21:10 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 17:22:40 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-01-24 17:28:32 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-01-24 17:34:01 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-01-24 17:37:19 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 17:37:22 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:558a:c642:c5e9:5691) (Remote host closed the connection) |
| 2024-01-24 17:37:38 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2024-01-24 17:44:40 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-01-24 17:45:46 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-01-24 17:46:06 +0000 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-01-24 17:46:19 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 276 seconds) |
| 2024-01-24 17:48:30 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-01-24 17:51:24 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-01-24 17:52:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-24 17:54:35 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-01-24 17:54:35 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Read error: Connection reset by peer) |
| 2024-01-24 17:54:36 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-01-24 17:54:36 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-01-24 17:54:36 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-24 17:55:09 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-24 17:55:11 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-24 17:55:12 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-24 17:55:18 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-24 17:55:24 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-24 17:55:25 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-01-24 17:55:54 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 17:56:24 +0000 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-24 17:58:39 +0000 | <ph88> | is there something in the standard library to reverse the function compare :: a -> a -> Ordering ? like notCompare :: a -> a -> Ordering same as compare but gives LT instead of GT and GT instead of LT |
| 2024-01-24 17:59:21 +0000 | <ph88> | or maybe a function Ordering -> Ordering to flip it around that way |
| 2024-01-24 18:00:13 +0000 | <danse-nr3> | there is a monoid to apply i think, let me search for it ... |
| 2024-01-24 18:00:34 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2024-01-24 18:01:11 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-01-24 18:02:03 +0000 | <[Leary]> | ph88: `comparing Down` or just `flip compare`. |
| 2024-01-24 18:03:18 +0000 | <mauke> | > sortBy (flip compare) [3,1,4,1,5,9,2,6,5] |
| 2024-01-24 18:03:19 +0000 | <lambdabot> | [9,6,5,5,4,3,2,1,1] |
| 2024-01-24 18:03:27 +0000 | <danse-nr3> | oh yeah i must have recalled wrong about Down |
| 2024-01-24 18:04:18 +0000 | <ph88> | i thought that it didn't matter for compare whether you put an argument in first or second position o_O |
| 2024-01-24 18:04:19 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 18:04:55 +0000 | <mauke> | > sortBy (comparing length <> flip compare) (words "looks like the shoe is on the other foot now") |
| 2024-01-24 18:04:57 +0000 | <lambdabot> | ["on","is","the","the","now","shoe","like","foot","other","looks"] |
| 2024-01-24 18:05:32 +0000 | <ph88> | what monoid is that ? |
| 2024-01-24 18:06:04 +0000 | <danse-nr3> | i was thinking of Down, not a monoid |
| 2024-01-24 18:06:06 +0000 | <EvanR> | > compare True False |
| 2024-01-24 18:06:07 +0000 | <lambdabot> | GT |
| 2024-01-24 18:06:09 +0000 | <EvanR> | > compare False True |
| 2024-01-24 18:06:11 +0000 | <lambdabot> | LT |
| 2024-01-24 18:06:20 +0000 | <mauke> | > 1 < 2 |
| 2024-01-24 18:06:21 +0000 | <lambdabot> | True |
| 2024-01-24 18:06:26 +0000 | <mauke> | > 2 < 1 |
| 2024-01-24 18:06:27 +0000 | <lambdabot> | False |
| 2024-01-24 18:06:40 +0000 | <ncf> | ph88: Monoid Ordering |
| 2024-01-24 18:06:46 +0000 | <ncf> | > LT <> GT |
| 2024-01-24 18:06:47 +0000 | <lambdabot> | LT |
| 2024-01-24 18:06:49 +0000 | <ncf> | > EQ <> LT |
| 2024-01-24 18:06:51 +0000 | <lambdabot> | LT |
| 2024-01-24 18:06:57 +0000 | <ncf> | it implements lexicographical ordering |
| 2024-01-24 18:06:58 +0000 | <mauke> | (Monoid m) => e -> m |
| 2024-01-24 18:07:23 +0000 | <ncf> | well, there's also the Monoid m => Monoid (a -> m) instance involved |
| 2024-01-24 18:07:38 +0000 | <ph88> | :t flip compare |
| 2024-01-24 18:07:39 +0000 | <lambdabot> | Ord a => a -> a -> Ordering |
| 2024-01-24 18:07:43 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-24 18:07:50 +0000 | <ph88> | :t comparing length |
| 2024-01-24 18:07:51 +0000 | <lambdabot> | Foldable t => t a -> t a -> Ordering |
| 2024-01-24 18:08:00 +0000 | <ncf> | given f, g :: a -> a -> Ordering, f <> g = \ x y -> f x y <> g x y |
| 2024-01-24 18:08:09 +0000 | <ph88> | Foldable t => t a -> t a -> Ordering <> Ord a => a -> a -> Ordering |
| 2024-01-24 18:08:23 +0000 | <ph88> | how can this be monoid over Ordering when there are 2 more arguments to be filled ? |
| 2024-01-24 18:08:35 +0000 | <ncf> | because of the aforementioned instance for functions |
| 2024-01-24 18:08:59 +0000 | <ncf> | defined here https://hackage.haskell.org/package/base-4.19.0.0/docs/src/GHC.Base.html#line-398 |
| 2024-01-24 18:09:01 +0000 | <ph88> | oh ok not familiar with those instances |
| 2024-01-24 18:09:04 +0000 | <ph88> | thanks for the help |
| 2024-01-24 18:09:18 +0000 | <ncf> | (and above for Semigroup) |
| 2024-01-24 18:09:30 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-24 18:09:30 +0000 | <ncf> | here it fires twice, because two arguments |
| 2024-01-24 18:13:09 +0000 | qqq | (~qqq@92.43.167.61) |
| 2024-01-24 18:13:10 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-24 18:13:19 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-24 18:13:57 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-01-24 18:14:41 +0000 | <haskellbridge> | 15<Jade> I wish there was a way to have the option for any datatype to have a temporary Show instance (as well as any types it depends on) in order to debug random constructors you find in the wild |
| 2024-01-24 18:14:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-24 18:15:36 +0000 | <ph88> | if i want a function like [a -> a -> Ordering] -> [a] -> [a] where it tries the next comparison function in cases where the previous gives EQ is that something i have to write myself or is there something in the stdlib that combines these ordering functions ? |
| 2024-01-24 18:16:26 +0000 | <mauke> | I don't understand the [a] -> [a] part |
| 2024-01-24 18:16:31 +0000 | <haskellbridge> | 15<Jade> you can use the `Semigroup` instance of `Ordering` |
| 2024-01-24 18:16:43 +0000 | <mauke> | :t mconcat |
| 2024-01-24 18:16:43 +0000 | <lambdabot> | Monoid a => [a] -> a |
| 2024-01-24 18:16:56 +0000 | <mauke> | :t mconcat [compare] |
| 2024-01-24 18:16:57 +0000 | <lambdabot> | Ord a => a -> a -> Ordering |
| 2024-01-24 18:17:16 +0000 | <hololeap> | what's the best way to throw an unrecoverable error that will give a full stack trace |
| 2024-01-24 18:17:32 +0000 | <hololeap> | just error from Prelude? |
| 2024-01-24 18:17:34 +0000 | <ph88> | mauke, it was a typo [a -> a -> Ordering] -> a -> a |
| 2024-01-24 18:17:48 +0000 | <ph88> | thanks ! |
| 2024-01-24 18:17:49 +0000 | <ncf> | do you mean [a -> a -> Ordering] -> a -> a -> Ordering? if so, mconcat |
| 2024-01-24 18:19:00 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2024-01-24 18:19:56 +0000 | <EvanR> | what is this full stack trace you speak of |
| 2024-01-24 18:20:23 +0000 | danse-nr3 | (~danse@rm-19-27-102.service.infuturo.it) (Ping timeout: 264 seconds) |
| 2024-01-24 18:25:48 +0000 | <EvanR> | if functions / values have the HasCallStack constraint you can get a partial call stack by error-ing |
| 2024-01-24 18:26:00 +0000 | <ph88> | hololeap, i believe you have to either compiler or set runtime options to stack trace on exception |
| 2024-01-24 18:26:34 +0000 | <ph88> | how can i go from function b -> b -> Ordering to Maybe b -> Maybe b -> Ordering ? |
| 2024-01-24 18:28:17 +0000 | <EvanR> | is that a bicontrafunctor or something |
| 2024-01-24 18:28:39 +0000 | <hololeap> | long story, but I'm trying to get some HLS tests fixed on gentoo, my comp is too slow so I occassionally get "Timed out while waiting for server" test failures, so I tried to patch out timeouts for lsp-test. somehow it's still happening and I want to see what is calling that exception |
| 2024-01-24 18:28:54 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-24 18:29:08 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-01-24 18:29:40 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-01-24 18:30:44 +0000 | <ph88> | hololeap, stack build --profile program +RTS -xc try this |
| 2024-01-24 18:31:02 +0000 | <ncf> | ph88: there's an Ord a => Ord (Maybe a) instance, is that what you're after? |
| 2024-01-24 18:31:31 +0000 | <ncf> | i guess i don't know if you can invoke that instance directly as a function |
| 2024-01-24 18:31:32 +0000 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Read error: Connection reset by peer) |
| 2024-01-24 18:32:16 +0000 | <ncf> | i doubt it, even |
| 2024-01-24 18:32:37 +0000 | <hololeap> | Ord (Maybe a) should do what you expect. `Just x > Nothing` for all values of x |
| 2024-01-24 18:32:58 +0000 | <ph88> | f :: (a -> a -> Ordering) -> (Maybe a -> Maybe a -> Ordering) |
| 2024-01-24 18:33:13 +0000 | <ncf> | if a happens to have a bottom element you can contramap (fromMaybe bottom) |
| 2024-01-24 18:33:18 +0000 | <ncf> | but that's kind of cheating :p |
| 2024-01-24 18:33:37 +0000 | <ncf> | also not quite correct i guess |
| 2024-01-24 18:34:07 +0000 | <ncf> | (you'd have Nothing == Just bottom, but you want Nothing < Just bottom) |
| 2024-01-24 18:34:24 +0000 | <ncf> | anyway, i don't think there's a better way than defining it by hand |
| 2024-01-24 18:34:50 +0000 | <ph88> | maybe this function can help? liftA2 :: (a -> b -> c) -> f a -> f b -> f c |
| 2024-01-24 18:35:56 +0000 | <hololeap> | ph88: that will return a (Maybe Ordering) |
| 2024-01-24 18:36:17 +0000 | <ph88> | isn't that guaranteed to be Just ? |
| 2024-01-24 18:36:28 +0000 | <ncf> | if you fromMaybe EQ (liftA2 compare) you get something close, but not quite what you want |
| 2024-01-24 18:36:41 +0000 | <ncf> | you will get Nothing == Just a again |
| 2024-01-24 18:36:57 +0000 | <hololeap> | no, if either Maybe argument is Nothing, the result will be Nothing |
| 2024-01-24 18:37:11 +0000 | <ph88> | :( |
| 2024-01-24 18:37:31 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-01-24 18:37:31 +0000 | Zmzi | (rscastilho@user/Zmzi) |
| 2024-01-24 18:37:55 +0000 | <hololeap> | but the Ord a => Ord (Maybe a) instance should do what you want, I would think? |
| 2024-01-24 18:37:59 +0000 | Zmzi | (rscastilho@user/Zmzi) (Remote host closed the connection) |
| 2024-01-24 18:38:11 +0000 | <ncf> | they want it at runtime |
| 2024-01-24 18:38:49 +0000 | <[Leary]> | % :t liftCompare @Maybe |
| 2024-01-24 18:38:49 +0000 | <yahb2> | liftCompare @Maybe ; :: (a -> b -> Ordering) -> Maybe a -> Maybe b -> Ordering |
| 2024-01-24 18:38:53 +0000 | <hololeap> | unless you truly want to pass in a function `a -> a -> Ordering` that isn't `compare` |
| 2024-01-24 18:39:25 +0000 | <ncf> | [Leary]: nice |
| 2024-01-24 18:39:35 +0000 | <ncf> | didn't know about Ord1 |
| 2024-01-24 18:39:35 +0000 | <ph88> | [Leary], very nice |
| 2024-01-24 18:39:39 +0000 | <hololeap> | oh, right Ord1 |
| 2024-01-24 18:40:22 +0000 | <hololeap> | % Just 4 `compare` Just 5 |
| 2024-01-24 18:40:22 +0000 | <yahb2> | LT |
| 2024-01-24 18:40:27 +0000 | <hololeap> | % Just 4 `compare` Nothing |
| 2024-01-24 18:40:27 +0000 | <yahb2> | GT |
| 2024-01-24 18:41:59 +0000 | <ph88> | what does it mean when we have a typeclass with a 1 attached? I was it with Generic too sometimes |
| 2024-01-24 18:42:44 +0000 | <ncf> | usually means it applies to functors instead of types |
| 2024-01-24 18:42:50 +0000 | <hololeap> | it means that it works with things a kind of (Type -> Type) |
| 2024-01-24 18:43:19 +0000 | <hololeap> | Ord2 works with things with a kind of (Type -> Type -> Type) |
| 2024-01-24 18:43:31 +0000 | <hololeap> | such as Either |
| 2024-01-24 18:43:36 +0000 | <ph88> | aaah i see ! |
| 2024-01-24 18:44:10 +0000 | <hololeap> | ph88: the -xc profiling option looks like what I want. I'll try it out |
| 2024-01-24 18:44:48 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-01-24 18:45:32 +0000 | hippoid1 | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Remote host closed the connection) |
| 2024-01-24 18:45:35 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 18:45:55 +0000 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
| 2024-01-24 18:46:23 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-01-24 18:47:27 +0000 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2024-01-24 18:47:41 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-24 18:50:22 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2024-01-24 19:02:11 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-01-24 19:02:12 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-24 19:02:12 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-01-24 19:02:36 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-24 19:02:40 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-24 19:02:53 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-01-24 19:07:23 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 19:12:07 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 276 seconds) |
| 2024-01-24 19:12:45 +0000 | target_i | (~target_i@217.175.14.39) |
| 2024-01-24 19:16:31 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-01-24 19:16:58 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-24 19:19:31 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-01-24 19:24:41 +0000 | mima | (~mmh@dhcp-138-246-3-41.dynamic.eduroam.mwn.de) (Ping timeout: 260 seconds) |
| 2024-01-24 19:27:19 +0000 | justache | (~justache@user/justache) (Read error: Connection reset by peer) |
| 2024-01-24 19:28:31 +0000 | justache | (~justache@user/justache) |
| 2024-01-24 19:29:26 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-24 19:31:39 +0000 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2024-01-24 19:31:56 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2024-01-24 19:33:12 +0000 | ft | (~ft@p508dbda4.dip0.t-ipconnect.de) |
| 2024-01-24 19:35:07 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-24 19:37:25 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 19:38:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-24 19:41:42 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-01-24 19:42:08 +0000 | justache | (~justache@user/justache) (Read error: Connection reset by peer) |
| 2024-01-24 19:42:24 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-01-24 19:42:52 +0000 | average | (uid473595@user/average) |
| 2024-01-24 19:45:41 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
| 2024-01-24 19:49:26 +0000 | justache | (~justache@user/justache) |
| 2024-01-24 20:02:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-24 20:04:31 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds) |
| 2024-01-24 20:04:55 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2024-01-24 20:07:30 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 20:07:36 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-01-24 20:07:41 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-01-24 20:11:43 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-01-24 20:13:13 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-01-24 20:13:57 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-01-24 20:13:59 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-01-24 20:14:43 +0000 | <ph88> | hololeap, did it work out ? |
| 2024-01-24 20:15:18 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2024-01-24 20:16:35 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 20:17:53 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-24 20:18:11 +0000 | <hololeap> | it certainly gave me a lot of debug info :p |
| 2024-01-24 20:18:34 +0000 | <hololeap> | although I had to build the test-suite as an executable to get profiling to work |
| 2024-01-24 20:18:42 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3240-ef87-9c3a-8942-2bb0-e838.rev.sfr.net) |
| 2024-01-24 20:21:25 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2024-01-24 20:30:10 +0000 | mobivme | (~mobivme@112.201.111.217) |
| 2024-01-24 20:35:46 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-24 20:37:33 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 20:46:05 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-01-24 20:48:40 +0000 | mima | (~mmh@aftr-62-216-211-11.dynamic.mnet-online.de) |
| 2024-01-24 20:50:45 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) |
| 2024-01-24 20:51:11 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-24 20:53:46 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2024-01-24 20:58:37 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2024-01-24 21:07:49 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-24 21:13:15 +0000 | pandeyan | (~pandeyan@192-184-249-55.fiber.dynamic.sonic.net) |
| 2024-01-24 21:13:37 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-01-24 21:14:18 +0000 | anpad | (~pandeyan@user/anpad) (Ping timeout: 260 seconds) |
| 2024-01-24 21:14:48 +0000 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-01-24 21:17:53 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-24 21:21:17 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2024-01-24 21:22:37 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 2024-01-24 21:32:39 +0000 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-01-24 21:35:07 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-24 21:35:48 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-01-24 21:36:37 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2024-01-24 21:40:20 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-01-24 21:41:06 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 268 seconds) |
| 2024-01-24 21:41:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d9f4:da25:bff2:5432) |
| 2024-01-24 21:42:55 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2024-01-24 21:44:22 +0000 | mikoto-chan | (~mikoto-ch@85-76-72-21-nat.elisa-mobile.fi) |
| 2024-01-24 21:44:49 +0000 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-01-24 21:45:24 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-24 21:45:54 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-01-24 21:50:15 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-24 21:50:19 +0000 | console | (~console@cpc114424-sout9-2-0-cust3385.20-1.cable.virginm.net) |
| 2024-01-24 21:50:36 +0000 | <console> | Hello, anyone there? |
| 2024-01-24 21:50:43 +0000 | <yushyin> | maybe |
| 2024-01-24 21:51:03 +0000 | <console> | Is this a budy channel? |
| 2024-01-24 21:51:09 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-01-24 21:51:13 +0000 | <console> | Sorry, *busy |
| 2024-01-24 21:51:38 +0000 | <tomsmeding> | sometimes it is, sometimes it isn't :) |
| 2024-01-24 21:51:50 +0000 | <console> | How long have you used this channle? |
| 2024-01-24 21:52:29 +0000 | <Rembane> | console: It becomes less busy over time, so do all the talking you need asap |
| 2024-01-24 21:52:40 +0000 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-01-24 21:52:53 +0000 | <console> | Yes, I have noticed that |
| 2024-01-24 21:53:02 +0000 | <console> | It seems odd |
| 2024-01-24 21:53:19 +0000 | <console> | You login and everyone is quiet |
| 2024-01-24 21:53:20 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3240-ef87-9c3a-8942-2bb0-e838.rev.sfr.net) (Remote host closed the connection) |
| 2024-01-24 21:53:52 +0000 | alexherbo2 | (~alexherbo@195.14.23.93.rev.sfr.net) |
| 2024-01-24 21:53:54 +0000 | <console> | Surely defeating the point of the chat in the 1st place |
| 2024-01-24 21:54:08 +0000 | <console> | Hi Alex |
| 2024-01-24 21:56:52 +0000 | <darkling> | Tech-oriented IRC channels tend to be very solution-focussed. Random chatter isn't exactly encouraged (nor engaged in). |
| 2024-01-24 21:56:54 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-24 21:57:11 +0000 | <darkling> | Specific questions with likely answers will usually get a good response. |
| 2024-01-24 21:57:42 +0000 | <console> | What sort of Tech does this channel generally focus on? |
| 2024-01-24 21:57:45 +0000 | <darkling> | Fuzzier, "get to know people" talk often goes unanswered. |
| 2024-01-24 21:57:59 +0000 | <darkling> | That's in the name... #haskell. |
| 2024-01-24 21:58:56 +0000 | <Rembane> | console: /topic is a good command to get the channel intro |
| 2024-01-24 21:59:14 +0000 | <console> | Sorry, my bad, I didn't put 2+2 together when I saw the channel name |
| 2024-01-24 22:00:52 +0000 | console | (~console@cpc114424-sout9-2-0-cust3385.20-1.cable.virginm.net) (Leaving) |
| 2024-01-24 22:01:16 +0000 | <tomsmeding> | darkling++ for doing this constructively |
| 2024-01-24 22:02:11 +0000 | <darkling> | I do my best. |
| 2024-01-24 22:04:37 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-01-24 22:17:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-24 22:19:25 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-01-24 22:19:26 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-01-24 22:20:13 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-01-24 22:33:49 +0000 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-01-24 22:34:07 +0000 | wagle | (~wagle@quassel.wagle.io) |
| 2024-01-24 22:34:10 +0000 | wagle | (~wagle@quassel.wagle.io) (Client Quit) |
| 2024-01-24 22:35:02 +0000 | wagle | (~wagle@quassel.wagle.io) |
| 2024-01-24 22:36:13 +0000 | acidjnk_new | (~acidjnk@p200300d6e737e7109cde0c014502dbcd.dip0.t-ipconnect.de) |
| 2024-01-24 22:39:28 +0000 | acidjnk | (~acidjnk@p200300d6e737e797cd67f117b5f3b07c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-01-24 22:45:57 +0000 | michalz_ | (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-24 22:50:49 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-01-24 22:52:28 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 276 seconds) |
| 2024-01-24 22:54:03 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2024-01-24 23:01:40 +0000 | <haskellbridge> | 15<Jade> I'm wondering if you could build a proper `Enum [a]` instance using an `(Enum a, Bounded a)` constraint. |
| 2024-01-24 23:02:09 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-24 23:03:00 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-24 23:03:57 +0000 | <ncf> | might need Eq for fromEnum |
| 2024-01-24 23:04:45 +0000 | <haskellbridge> | 15<Jade> right |
| 2024-01-24 23:04:49 +0000 | <ncf> | i guess Enum implies Eq... why is it not a superclass |
| 2024-01-24 23:04:52 +0000 | dorin | (~dorin@user/dorin) |
| 2024-01-24 23:05:55 +0000 | <geekosaur> | because it can often be done by patterrn matching which doesn't need Eq? |
| 2024-01-24 23:07:05 +0000 | <ncf> | ? |
| 2024-01-24 23:14:22 +0000 | <EvanR> | what if i ask is countably denumerable implying decidably equal |
| 2024-01-24 23:16:32 +0000 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-01-24 23:17:40 +0000 | <ncf> | should be |
| 2024-01-24 23:26:49 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 264 seconds) |
| 2024-01-24 23:36:03 +0000 | mikoto-chan | (~mikoto-ch@85-76-72-21-nat.elisa-mobile.fi) (Ping timeout: 256 seconds) |
| 2024-01-24 23:48:03 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-01-24 23:48:21 +0000 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-24 23:50:13 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |