2024/02/25

2024-02-25 00:05:13 +0100yoo(~yo0O0o@104.28.226.104)
2024-02-25 00:09:17 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-02-25 00:09:40 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2024-02-25 00:09:55 +0100tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl)
2024-02-25 00:11:06 +0100yoo(~yo0O0o@104.28.226.104) (Max SendQ exceeded)
2024-02-25 00:15:45 +0100yoo(~yo0O0o@104.28.226.104)
2024-02-25 00:18:03 +0100haftl(~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de)
2024-02-25 00:18:50 +0100zetef(~quassel@2a02:2f00:5208:300:2eac:56a:f29c:cb5b) (Remote host closed the connection)
2024-02-25 00:26:04 +0100kvgrai(~kvgrai@p200300f91711f4000c1e8d1adb8ecaa4.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-02-25 00:29:22 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2024-02-25 00:29:28 +0100target_i(~target_i@217.175.14.39) (Quit: leaving)
2024-02-25 00:38:29 +0100haftlgateway
2024-02-25 00:38:37 +0100gatewaykvgrai`
2024-02-25 00:39:21 +0100kvgrai`haftl
2024-02-25 00:41:02 +0100haftl(~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de) (Changing host)
2024-02-25 00:41:02 +0100haftl(~user@user/haftl)
2024-02-25 00:41:46 +0100haftl(~user@user/haftl) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
2024-02-25 00:42:06 +0100haftl(~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de)
2024-02-25 00:45:54 +0100haftl(~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de) (Changing host)
2024-02-25 00:45:54 +0100haftl(~user@user/haftl)
2024-02-25 00:51:35 +0100Lycurgus(~georg@user/Lycurgus)
2024-02-25 00:53:43 +0100ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2024-02-25 01:05:11 +0100codaraxis__(~codaraxis@user/codaraxis)
2024-02-25 01:09:07 +0100codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 260 seconds)
2024-02-25 01:14:21 +0100average(uid473595@user/average)
2024-02-25 01:17:16 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-02-25 01:17:29 +0100mmhat(~mmh@p200300f1c70b44dbee086bfffe095315.dip0.t-ipconnect.de)
2024-02-25 01:17:38 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2024-02-25 01:20:58 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds)
2024-02-25 01:21:18 +0100codaraxis__(~codaraxis@user/codaraxis) (Quit: Leaving)
2024-02-25 01:25:13 +0100nadja(~dequbed@banana-new.kilobyte22.de) (Ping timeout: 255 seconds)
2024-02-25 01:28:50 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-25 01:30:03 +0100acidjnk(~acidjnk@p200300d6e737e756e0799c90b43bb6d6.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2024-02-25 01:37:12 +0100nadja(~dequbed@banana-new.kilobyte22.de)
2024-02-25 01:37:29 +0100igemnace(~ian@user/igemnace)
2024-02-25 01:39:16 +0100nadja(~dequbed@banana-new.kilobyte22.de) (Client Quit)
2024-02-25 01:48:19 +0100dtman34(~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2024-02-25 01:49:31 +0100dtman34(~dtman34@c-75-72-163-222.hsd1.mn.comcast.net)
2024-02-25 01:51:08 +0100haftl(~user@user/haftl) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
2024-02-25 02:00:10 +0100yoo(~yo0O0o@104.28.226.104) (Ping timeout: 246 seconds)
2024-02-25 02:00:28 +0100dtman34(~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
2024-02-25 02:01:13 +0100destituion(~destituio@2a02:2121:6b0:945a:fb41:5f60:ee0c:e724) (Ping timeout: 255 seconds)
2024-02-25 02:02:07 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-02-25 02:03:48 +0100califax(~califax@user/califx)
2024-02-25 02:04:48 +0100notzmv(~daniel@user/notzmv) (Ping timeout: 255 seconds)
2024-02-25 02:10:12 +0100amjoseph(~amjoseph@static-198-44-128-146.cust.tzulo.com)
2024-02-25 02:12:07 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2024-02-25 02:13:22 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-02-25 02:13:43 +0100califax(~califax@user/califx)
2024-02-25 02:13:48 +0100yoo(~yo0O0o@104.28.194.105)
2024-02-25 02:17:30 +0100 <cheater> rate my parser https://github.com/cheater/prompt/blob/master/prompt
2024-02-25 02:18:46 +0100 <d34df00d> Apparently too many ghc extensions for me to understand the code.
2024-02-25 02:20:42 +0100 <cheater> heh.
2024-02-25 02:22:29 +0100mmhat(~mmh@p200300f1c70b44dbee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1)
2024-02-25 02:23:33 +0100dtman34(~dtman34@2601:447:d001:ed50:6530:3738:8884:2f25)
2024-02-25 02:31:49 +0100komikat(~akshitkr@218.185.248.66) (Ping timeout: 256 seconds)
2024-02-25 02:35:52 +0100[Leary](~Leary]@user/Leary/x-0910699) (Ping timeout: 255 seconds)
2024-02-25 02:39:53 +0100tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds)
2024-02-25 02:41:38 +0100tessier(~treed@ip72-220-57-194.sd.sd.cox.net)
2024-02-25 02:48:25 +0100Square(~Square@user/square) (Ping timeout: 264 seconds)
2024-02-25 02:52:57 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
2024-02-25 02:54:27 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-02-25 03:08:43 +0100notzmv(~daniel@user/notzmv)
2024-02-25 03:10:08 +0100[Leary](~Leary]@user/Leary/x-0910699)
2024-02-25 03:18:49 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-02-25 03:19:58 +0100mulk(~mulk@pd9514bb2.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-02-25 03:20:22 +0100mulk(~mulk@pd95143d7.dip0.t-ipconnect.de)
2024-02-25 03:33:29 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-02-25 03:43:08 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-02-25 03:44:29 +0100yoo(~yo0O0o@104.28.194.105) (Ping timeout: 240 seconds)
2024-02-25 03:51:01 +0100igemnace(~ian@user/igemnace)
2024-02-25 03:54:38 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-02-25 03:59:40 +0100otto_s(~user@p5de2ff2d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-02-25 04:01:15 +0100otto_s(~user@p5b04471c.dip0.t-ipconnect.de)
2024-02-25 04:02:40 +0100yoo(~yo0O0o@104.28.194.106)
2024-02-25 04:05:02 +0100op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2024-02-25 04:05:32 +0100op_4(~tslil@user/op-4/x-9116473)
2024-02-25 04:11:51 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-25 04:13:59 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-02-25 04:14:10 +0100Axma92735(~Axman6@user/axman6)
2024-02-25 04:15:56 +0100Axman6(~Axman6@user/axman6) (Ping timeout: 244 seconds)
2024-02-25 04:17:05 +0100igemnace(~ian@user/igemnace) (Quit: WeeChat 4.2.1)
2024-02-25 04:17:23 +0100td_(~td@i53870933.versanet.de) (Ping timeout: 272 seconds)
2024-02-25 04:18:48 +0100td_(~td@i53870917.versanet.de)
2024-02-25 04:28:21 +0100Axma92735Axman6
2024-02-25 04:42:34 +0100terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2024-02-25 04:43:28 +0100myxos(~myxos@065-028-251-121.inf.spectrum.com)
2024-02-25 04:45:28 +0100terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2024-02-25 04:59:11 +0100yoo(~yo0O0o@104.28.194.106) (Ping timeout: 272 seconds)
2024-02-25 05:06:50 +0100yoo(~yo0O0o@104.28.226.106)
2024-02-25 05:10:12 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds)
2024-02-25 05:14:48 +0100yoo(~yo0O0o@104.28.226.106) (Ping timeout: 260 seconds)
2024-02-25 05:16:32 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2024-02-25 05:21:17 +0100jargon(~jargon@53.sub-174-205-227.myvzw.com) (Remote host closed the connection)
2024-02-25 05:28:13 +0100bilegeek(~bilegeek@2600:1008:b086:477d:7583:8839:720f:c01b) (Quit: Leaving)
2024-02-25 05:32:17 +0100aforemny(~aforemny@2001:9e8:6ce6:e500:e763:b68f:f774:77ed)
2024-02-25 05:32:49 +0100aforemny_(~aforemny@2001:9e8:6cc2:9000:e4e7:200e:bd59:b73a) (Ping timeout: 264 seconds)
2024-02-25 05:42:48 +0100rekahsoft(~rekahsoft@70.51.99.248) (Ping timeout: 260 seconds)
2024-02-25 05:45:22 +0100rvalue(~rvalue@user/rvalue)
2024-02-25 05:52:46 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds)
2024-02-25 06:11:29 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-02-25 06:12:19 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-02-25 06:12:35 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2024-02-25 06:16:21 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-02-25 07:02:36 +0100mulk(~mulk@pd95143d7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-02-25 07:05:18 +0100 <dmj`> are there any implementations of THIH that use constraint solving
2024-02-25 07:12:51 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-02-25 07:13:38 +0100average(uid473595@user/average) (Quit: Connection closed for inactivity)
2024-02-25 07:17:53 +0100mulk(~mulk@p5b112848.dip0.t-ipconnect.de)
2024-02-25 07:18:58 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-02-25 07:23:12 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2024-02-25 07:25:00 +0100mulk(~mulk@p5b112848.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-02-25 07:25:48 +0100mulk(~mulk@p5b112853.dip0.t-ipconnect.de)
2024-02-25 07:29:04 +0100tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
2024-02-25 07:29:26 +0100euphores(~SASL_euph@user/euphores)
2024-02-25 07:30:17 +0100mulk(~mulk@p5b112853.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-02-25 07:31:51 +0100mulk(~mulk@pd95140bb.dip0.t-ipconnect.de)
2024-02-25 07:37:38 +0100myxos(~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection)
2024-02-25 07:52:43 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2024-02-25 07:55:38 +0100meinside(uid24933@helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2024-02-25 08:00:31 +0100paddymahoney(~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com)
2024-02-25 08:07:56 +0100iteratee(~kyle@162.218.222.207) (Ping timeout: 260 seconds)
2024-02-25 08:10:04 +0100iteratee(~kyle@162.218.222.207)
2024-02-25 08:16:23 +0100iteratee(~kyle@162.218.222.207) (Read error: Connection reset by peer)
2024-02-25 08:18:34 +0100a51(a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1)
2024-02-25 08:21:18 +0100iteratee(~kyle@162.218.222.207)
2024-02-25 08:22:29 +0100dtman34(~dtman34@2601:447:d001:ed50:6530:3738:8884:2f25) (Ping timeout: 240 seconds)
2024-02-25 08:27:40 +0100iteratee_(~kyle@162.218.222.207)
2024-02-25 08:28:03 +0100dtman34(~dtman34@2601:447:d001:ed50:6530:3738:8884:2f25)
2024-02-25 08:30:50 +0100iteratee(~kyle@162.218.222.207) (Ping timeout: 268 seconds)
2024-02-25 08:32:37 +0100iteratee(~kyle@162.218.222.207)
2024-02-25 08:34:30 +0100iteratee_(~kyle@162.218.222.207) (Ping timeout: 255 seconds)
2024-02-25 08:37:40 +0100iteratee_(~kyle@162.218.222.207)
2024-02-25 08:39:45 +0100meinside(uid24933@id-24933.helmsley.irccloud.com)
2024-02-25 08:40:05 +0100iteratee(~kyle@162.218.222.207) (Ping timeout: 268 seconds)
2024-02-25 08:40:07 +0100iteratee_(~kyle@162.218.222.207) (Client Quit)
2024-02-25 08:40:28 +0100iteratee(~kyle@162.218.222.207)
2024-02-25 08:41:25 +0100iteratee(~kyle@162.218.222.207) (Client Quit)
2024-02-25 08:41:41 +0100iteratee(~kyle@162.218.222.207)
2024-02-25 08:42:14 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-25 08:43:05 +0100michalz(~michalz@185.246.207.203)
2024-02-25 08:53:39 +0100raym(~ray@user/raym) (Remote host closed the connection)
2024-02-25 09:00:07 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat)
2024-02-25 09:02:01 +0100arahael(~arahael@119-18-0-146.771200.syd.nbn.aussiebb.net)
2024-02-25 09:02:13 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com)
2024-02-25 09:14:07 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2024-02-25 09:20:18 +0100Square(~Square@user/square)
2024-02-25 09:23:47 +0100bontaq(~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-02-25 09:31:08 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-02-25 09:31:50 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
2024-02-25 09:35:32 +0100acidjnk(~acidjnk@p200300d6e737e75609ef641bbbea6816.dip0.t-ipconnect.de)
2024-02-25 09:41:15 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-25 09:48:35 +0100igemnace(~ian@user/igemnace)
2024-02-25 09:50:23 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-25 09:52:48 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-02-25 09:57:09 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-02-25 10:07:33 +0100gmg(~user@user/gehmehgeh)
2024-02-25 10:10:22 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2024-02-25 10:15:11 +0100igemnace(~ian@user/igemnace) (Quit: WeeChat 4.2.1)
2024-02-25 10:17:06 +0100michalz(~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in)
2024-02-25 10:18:14 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-02-25 10:38:46 +0100mmhat(~mmh@p200300f1c70b44dbee086bfffe095315.dip0.t-ipconnect.de)
2024-02-25 10:39:04 +0100mmhat(~mmh@p200300f1c70b44dbee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2024-02-25 10:42:27 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds)
2024-02-25 10:45:58 +0100igemnace(~ian@user/igemnace)
2024-02-25 10:48:13 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-02-25 10:49:22 +0100meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2024-02-25 10:57:34 +0100CiaoSen(~Jura@2a05:5800:2b1:cd00:e6b9:7aff:fe80:3d03)
2024-02-25 10:58:49 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-02-25 10:59:40 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-02-25 11:20:24 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-25 11:22:01 +0100CiaoSen(~Jura@2a05:5800:2b1:cd00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds)
2024-02-25 11:23:48 +0100CiaoSen(~Jura@2a05:5800:281:b300:e6b9:7aff:fe80:3d03)
2024-02-25 11:26:56 +0100target_i(~target_i@217.175.14.39)
2024-02-25 11:30:59 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-02-25 11:31:48 +0100oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-02-25 11:34:14 +0100_xor7(~xor@ip-208-102-243-175.dynamic.fuse.net)
2024-02-25 11:36:08 +0100_xor(~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 252 seconds)
2024-02-25 11:36:09 +0100_xor7_xor
2024-02-25 11:47:33 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
2024-02-25 11:49:04 +0100igemnace(~ian@user/igemnace)
2024-02-25 11:54:13 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-02-25 11:54:21 +0100Heffalump(~ganesh@urchin.earth.li)
2024-02-25 12:01:11 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-02-25 12:04:22 +0100Heffalump(~ganesh@urchin.earth.li) ()
2024-02-25 12:17:50 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2024-02-25 12:23:20 +0100gooba(~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
2024-02-25 12:32:47 +0100driib(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-02-25 12:34:54 +0100driib(~driib@vmi931078.contaboserver.net)
2024-02-25 12:36:21 +0100driib(~driib@vmi931078.contaboserver.net) (Client Quit)
2024-02-25 12:37:06 +0100haftl(~user@user/haftl)
2024-02-25 12:37:40 +0100gooba(~gooba@90-231-13-185-no3430.tbcn.telia.com)
2024-02-25 12:38:06 +0100driib(~driib@vmi931078.contaboserver.net)
2024-02-25 12:41:38 +0100driib(~driib@vmi931078.contaboserver.net) (Client Quit)
2024-02-25 12:42:00 +0100rscastilho2024(rscastilho@189.61.140.215)
2024-02-25 12:42:18 +0100rscastilho2024(rscastilho@189.61.140.215) (Remote host closed the connection)
2024-02-25 12:43:48 +0100driib(~driib@vmi931078.contaboserver.net)
2024-02-25 12:46:45 +0100driib(~driib@vmi931078.contaboserver.net) (Client Quit)
2024-02-25 12:48:57 +0100driib(~driib@vmi931078.contaboserver.net)
2024-02-25 12:49:50 +0100lexi-lambda(sid92601@hampstead.irccloud.com) (Ping timeout: 252 seconds)
2024-02-25 12:50:24 +0100haftl(~user@user/haftl) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
2024-02-25 12:53:03 +0100lexi-lambda(sid92601@id-92601.hampstead.irccloud.com)
2024-02-25 12:54:45 +0100testin(~user@p200300f9171bad009b56c0c90dc9f8b1.dip0.t-ipconnect.de)
2024-02-25 12:55:14 +0100testin(~user@p200300f9171bad009b56c0c90dc9f8b1.dip0.t-ipconnect.de) (Client Quit)
2024-02-25 13:00:38 +0100mrmr155334(~mrmr@user/mrmr) (Quit: Bye, See ya later!)
2024-02-25 13:03:04 +0100haftl(~user@user/haftl)
2024-02-25 13:03:37 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds)
2024-02-25 13:06:45 +0100mrmr155334(~mrmr@user/mrmr)
2024-02-25 13:26:07 +0100gooba(~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
2024-02-25 13:30:58 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-02-25 13:32:04 +0100gooba(~gooba@90-231-13-185-no3430.tbcn.telia.com)
2024-02-25 13:33:21 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-02-25 13:39:31 +0100cheater_(~Username@user/cheater)
2024-02-25 13:41:41 +0100cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2024-02-25 13:41:47 +0100cheater_cheater
2024-02-25 13:46:16 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-02-25 13:46:30 +0100euleritian(~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de)
2024-02-25 13:51:06 +0100Fischmiep(~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer)
2024-02-25 13:53:00 +0100euleritian(~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-25 13:53:16 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-02-25 13:53:17 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-25 14:03:49 +0100tremon(~tremon@83.80.159.219)
2024-02-25 14:08:03 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-02-25 14:25:52 +0100[exa](~exa@user/exa/x-3587197)
2024-02-25 14:44:30 +0100TonyStone(~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving)
2024-02-25 14:45:11 +0100ht_(~Thunderbi@194.110.115.38)
2024-02-25 14:46:50 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 256 seconds)
2024-02-25 14:46:50 +0100ht__ht
2024-02-25 14:54:27 +0100Lumia(~Lumia@user/Lumia)
2024-02-25 14:57:33 +0100driib(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-02-25 15:08:57 +0100a51(a51@gateway/vpn/protonvpn/a51)
2024-02-25 15:15:24 +0100driib(~driib@vmi931078.contaboserver.net)
2024-02-25 15:21:58 +0100phma(~phma@host-67-44-208-33.hnremote.net) (Read error: Connection reset by peer)
2024-02-25 15:22:53 +0100phma(phma@2001:5b0:211f:22f8:44a3:14c4:614e:e459)
2024-02-25 15:27:23 +0100Heffalump(~ganesh@urchin.earth.li)
2024-02-25 15:28:13 +0100 <Heffalump> if you have a compatibility problem with an indirect dependency, is it better to constrain it in foo.cabal, or in cabal.project?
2024-02-25 15:32:41 +0100fr33domlover(~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat)
2024-02-25 15:36:16 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2024-02-25 15:42:08 +0100zetef(~quassel@109.166.134.132)
2024-02-25 15:48:59 +0100raym(~ray@user/raym)
2024-02-25 15:49:06 +0100thyriaen(~thyriaen@2a01:aea0:dd4:82f2:6245:cbff:fe9f:48b1)
2024-02-25 15:50:27 +0100fr33domlover(~fr33domlo@towards.vision)
2024-02-25 15:55:44 +0100rscastilho2024(~rscastilh@189.61.140.215)
2024-02-25 16:00:40 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-02-25 16:00:55 +0100cods(~fred@tuxee.net)
2024-02-25 16:01:37 +0100zetef(~quassel@109.166.134.132) (Ping timeout: 264 seconds)
2024-02-25 16:01:46 +0100euleritian(~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de)
2024-02-25 16:12:12 +0100zetef(~quassel@109.166.134.132)
2024-02-25 16:14:51 +0100zetef(~quassel@109.166.134.132) (Read error: Connection reset by peer)
2024-02-25 16:17:45 +0100thyriaen(~thyriaen@2a01:aea0:dd4:82f2:6245:cbff:fe9f:48b1) (Quit: Leaving)
2024-02-25 16:18:52 +0100zetef(~quassel@109.166.134.132)
2024-02-25 16:27:20 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-02-25 16:45:32 +0100a51(a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1)
2024-02-25 16:46:04 +0100pavonia(~user@user/siracusa)
2024-02-25 16:48:22 +0100ht_(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-02-25 16:48:37 +0100_ht(~Thunderbi@194.110.115.38) (Ping timeout: 255 seconds)
2024-02-25 16:48:37 +0100ht__ht
2024-02-25 16:56:00 +0100zetef(~quassel@109.166.134.132) (Remote host closed the connection)
2024-02-25 16:57:14 +0100zetef(~quassel@109.166.134.132)
2024-02-25 16:57:45 +0100zetef(~quassel@109.166.134.132) (Remote host closed the connection)
2024-02-25 16:57:47 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-25 17:07:09 +0100jtza8(~user@user/jtza8)
2024-02-25 17:10:16 +0100euleritian(~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-02-25 17:10:34 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-02-25 17:10:43 +0100 <jtza8> I have this feeling I can't shake that there's already a function like this somewhere: both f g x = f x && g x
2024-02-25 17:11:58 +0100 <jtza8> So that you could do something like: both isDigit (/= 'x')
2024-02-25 17:12:32 +0100 <jtza8> It's like this is resting on a concept that I /should/ know the name of.
2024-02-25 17:12:55 +0100 <sm> Data.Bifunctor.bimap ?
2024-02-25 17:13:35 +0100 <jtza8> Ah. Thanks, I think it's probably something like that.
2024-02-25 17:14:00 +0100 <L29Ah> https://hoogle.haskell.org/?hoogle=(t%20->%20Bool)%20->%20(t%20->%20Bool)%20->%20t%20->%20Bool
2024-02-25 17:15:07 +0100 <jtza8> Hoogle. I should have known.
2024-02-25 17:19:02 +0100 <ncf> jtza8: https://hackage.haskell.org/package/base-4.19.1.0/docs/Data-Functor-Contravariant.html#t:Predicate
2024-02-25 17:19:11 +0100 <ncf> see the Semigroup instance
2024-02-25 17:19:57 +0100 <ncf> this is the instance you get by lifting the Monoid All instance to functions
2024-02-25 17:20:48 +0100 <ncf> (which you can achieve via liftA2 (<>))
2024-02-25 17:24:11 +0100rscastilho2024(~rscastilh@189.61.140.215) (Remote host closed the connection)
2024-02-25 17:24:47 +0100rscastilho2024(~rscastilh@189.61.140.215)
2024-02-25 17:25:07 +0100 <jtza8> Thank you, this would have kept bothering me. So much still to learn. :)
2024-02-25 17:25:11 +0100rscastilho2024(~rscastilh@189.61.140.215) (Remote host closed the connection)
2024-02-25 17:29:34 +0100rscastilho2024(~rscastilh@189.61.140.215)
2024-02-25 17:31:58 +0100 <sm> Heffalump: .cabal because it'll also work for non cabal-install users ?
2024-02-25 17:32:08 +0100 <mauke> :t liftA2 (&&)
2024-02-25 17:32:09 +0100 <lambdabot> Applicative f => f Bool -> f Bool -> f Bool
2024-02-25 17:32:28 +0100 <mauke> :t \f g -> liftA2 (&&) f g
2024-02-25 17:32:29 +0100 <lambdabot> Applicative f => f Bool -> f Bool -> f Bool
2024-02-25 17:32:39 +0100 <mauke> :t \f g x -> liftA2 (&&) f g x
2024-02-25 17:32:39 +0100 <lambdabot> (t -> Bool) -> (t -> Bool) -> t -> Bool
2024-02-25 17:39:05 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-02-25 17:43:55 +0100rscastilho2024(~rscastilh@189.61.140.215) (Remote host closed the connection)
2024-02-25 17:49:33 +0100rscastilho2024(~rscastilh@189.61.140.215)
2024-02-25 17:50:10 +0100tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-02-25 17:52:27 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
2024-02-25 17:55:13 +0100 <Heffalump> sm: hmm, true
2024-02-25 17:58:52 +0100jtza8(~user@user/jtza8) (Remote host closed the connection)
2024-02-25 18:01:46 +0100a51(a51@gateway/vpn/protonvpn/a51)
2024-02-25 18:08:55 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2024-02-25 18:12:14 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-25 18:20:18 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-25 18:20:25 +0100Lumia(~Lumia@user/Lumia) (Ping timeout: 256 seconds)
2024-02-25 18:21:01 +0100destituion(~destituio@2a02:2121:34a:61a6:cc4f:561a:e55c:73cc)
2024-02-25 18:28:10 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-02-25 18:28:37 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Ping timeout: 264 seconds)
2024-02-25 18:31:01 +0100michalz(~michalz@185.246.207.193)
2024-02-25 18:38:48 +0100rscastilho2024(~rscastilh@189.61.140.215) (Read error: Connection reset by peer)
2024-02-25 18:39:05 +0100rscastilho2024(~rscastilh@189.61.140.215)
2024-02-25 18:39:21 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 272 seconds)
2024-02-25 18:39:37 +0100rscastilho2024(~rscastilh@189.61.140.215) ()
2024-02-25 18:39:42 +0100Philonous(~Philonous@user/philonous) (Quit: ZNC - https://znc.in)
2024-02-25 18:40:07 +0100Philonous(~Philonous@user/philonous)
2024-02-25 18:42:52 +0100rscastilho2024(~rscastilh@189.61.140.215)
2024-02-25 18:45:00 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2024-02-25 18:47:52 +0100rvalue(~rvalue@user/rvalue)
2024-02-25 18:58:15 +0100Lumia(~Lumia@user/Lumia)
2024-02-25 19:01:20 +0100igemnace(~ian@user/igemnace) (Quit: WeeChat 4.2.1)
2024-02-25 19:13:01 +0100Lumia(~Lumia@user/Lumia) (Quit: ,-)
2024-02-25 19:21:16 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-02-25 19:23:41 +0100qqq(~qqq@92.43.167.61)
2024-02-25 19:24:14 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-25 19:27:07 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2024-02-25 19:29:23 +0100myxos(~myxos@065-028-251-121.inf.spectrum.com)
2024-02-25 19:34:41 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-02-25 19:35:20 +0100euleritian(~euleritia@77.22.252.56)
2024-02-25 19:50:18 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-02-25 19:54:52 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-25 20:13:45 +0100Jackneill(~Jackneill@20014C4E1E054000F26AF8BFB0516A57.dsl.pool.telekom.hu) (Ping timeout: 256 seconds)
2024-02-25 20:14:56 +0100Jackneill(~Jackneill@20014C4E1E0540009D4D55D884553556.dsl.pool.telekom.hu)
2024-02-25 20:14:56 +0100Jackneill(~Jackneill@20014C4E1E0540009D4D55D884553556.dsl.pool.telekom.hu) (Remote host closed the connection)
2024-02-25 20:16:56 +0100Jackneill(~Jackneill@563BCD86.dsl.pool.telekom.hu)
2024-02-25 20:16:57 +0100Jackneill(~Jackneill@563BCD86.dsl.pool.telekom.hu) (Remote host closed the connection)
2024-02-25 20:18:43 +0100Jackneill(~Jackneill@563BCD86.dsl.pool.telekom.hu)
2024-02-25 20:18:44 +0100Jackneill(~Jackneill@563BCD86.dsl.pool.telekom.hu) (Max SendQ exceeded)
2024-02-25 20:25:14 +0100euleritian(~euleritia@77.22.252.56) (Ping timeout: 268 seconds)
2024-02-25 20:25:43 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-02-25 20:30:22 +0100a51(a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1)
2024-02-25 20:32:01 +0100Square(~Square@user/square) (Ping timeout: 268 seconds)
2024-02-25 20:38:00 +0100euleritian(~euleritia@77.22.252.56)
2024-02-25 20:38:00 +0100noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-02-25 20:45:50 +0100a51(a51@gateway/vpn/protonvpn/a51)
2024-02-25 20:46:00 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2024-02-25 20:49:51 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-02-25 21:01:12 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-02-25 21:02:24 +0100robobub(uid248673@id-248673.uxbridge.irccloud.com)
2024-02-25 21:03:00 +0100duncan(c6181279e3@user/duncan) (Remote host closed the connection)
2024-02-25 21:03:09 +0100duncan(c6181279e3@user/duncan)
2024-02-25 21:06:10 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-02-25 21:07:31 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
2024-02-25 21:09:05 +0100Sgeo(~Sgeo@user/sgeo)
2024-02-25 21:13:51 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish)
2024-02-25 21:21:43 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-02-25 21:21:51 +0100rscastilho2024(~rscastilh@189.61.140.215) (Remote host closed the connection)
2024-02-25 21:22:07 +0100euleritian(~euleritia@77.22.252.56) (Ping timeout: 272 seconds)
2024-02-25 21:22:19 +0100euleritian(~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de)
2024-02-25 21:29:42 +0100tabemann(~tabemann@2600:1700:7990:24e0:a91b:78d:f890:8e7c) (Remote host closed the connection)
2024-02-25 21:29:56 +0100tabemann(~tabemann@2600:1700:7990:24e0:4fec:b58c:4116:4501)
2024-02-25 21:52:24 +0100zetef(~quassel@5.2.182.98)
2024-02-25 21:56:56 +0100a51(a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1)
2024-02-25 21:58:10 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-02-25 22:05:27 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-02-25 22:07:32 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-02-25 22:12:53 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-02-25 22:18:16 +0100jargon(~jargon@53.sub-174-205-227.myvzw.com)
2024-02-25 22:18:46 +0100bilegeek(~bilegeek@2600:1008:b048:350:910e:11e2:46d6:718e)
2024-02-25 22:19:38 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2024-02-25 22:28:19 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-02-25 22:38:18 +0100zetef(~quassel@5.2.182.98) (Remote host closed the connection)
2024-02-25 22:53:52 +0100target_i(~target_i@217.175.14.39) (Quit: leaving)
2024-02-25 22:55:57 +0100michalz(~michalz@185.246.207.193) (Quit: ZNC 1.8.2 - https://znc.in)
2024-02-25 22:58:30 +0100michalz(~michalz@185.246.207.200)
2024-02-25 23:02:56 +0100michalz(~michalz@185.246.207.200) (Client Quit)
2024-02-25 23:06:07 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2024-02-25 23:15:11 +0100iteratee(~kyle@162.218.222.207) (Ping timeout: 252 seconds)
2024-02-25 23:17:21 +0100iteratee(~kyle@162.218.222.207)
2024-02-25 23:22:25 +0100iteratee_(~kyle@162.218.222.207)
2024-02-25 23:22:46 +0100iteratee(~kyle@162.218.222.207) (Ping timeout: 264 seconds)
2024-02-25 23:33:40 +0100sroso(~sroso@user/SrOso)
2024-02-25 23:34:02 +0100sroso(~sroso@user/SrOso) (Max SendQ exceeded)
2024-02-25 23:36:58 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-02-25 23:37:26 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2024-02-25 23:39:53 +0100sroso(~sroso@user/SrOso)
2024-02-25 23:43:04 +0100haftl(~user@user/haftl) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
2024-02-25 23:47:57 +0100acidjnk(~acidjnk@p200300d6e737e75609ef641bbbea6816.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)