2024/01/24

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