2024-02-25 00:05:13 +0100 | yoo | (~yo0O0o@104.28.226.104) |
2024-02-25 00:09:17 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-02-25 00:09:40 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-02-25 00:09:55 +0100 | tdammers | (~tdammers@219-131-178-143.ftth.glasoperator.nl) |
2024-02-25 00:11:06 +0100 | yoo | (~yo0O0o@104.28.226.104) (Max SendQ exceeded) |
2024-02-25 00:15:45 +0100 | yoo | (~yo0O0o@104.28.226.104) |
2024-02-25 00:18:03 +0100 | haftl | (~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de) |
2024-02-25 00:18:50 +0100 | zetef | (~quassel@2a02:2f00:5208:300:2eac:56a:f29c:cb5b) (Remote host closed the connection) |
2024-02-25 00:26:04 +0100 | kvgrai | (~kvgrai@p200300f91711f4000c1e8d1adb8ecaa4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-02-25 00:29:22 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2024-02-25 00:29:28 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
2024-02-25 00:38:29 +0100 | haftl | gateway |
2024-02-25 00:38:37 +0100 | gateway | kvgrai` |
2024-02-25 00:39:21 +0100 | kvgrai` | haftl |
2024-02-25 00:41:02 +0100 | haftl | (~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de) (Changing host) |
2024-02-25 00:41:02 +0100 | haftl | (~user@user/haftl) |
2024-02-25 00:41:46 +0100 | haftl | (~user@user/haftl) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
2024-02-25 00:42:06 +0100 | haftl | (~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de) |
2024-02-25 00:45:54 +0100 | haftl | (~user@p200300f91711f40021e002e59cf24cbd.dip0.t-ipconnect.de) (Changing host) |
2024-02-25 00:45:54 +0100 | haftl | (~user@user/haftl) |
2024-02-25 00:51:35 +0100 | Lycurgus | (~georg@user/Lycurgus) |
2024-02-25 00:53:43 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
2024-02-25 01:05:11 +0100 | codaraxis__ | (~codaraxis@user/codaraxis) |
2024-02-25 01:09:07 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
2024-02-25 01:14:21 +0100 | average | (uid473595@user/average) |
2024-02-25 01:17:16 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-02-25 01:17:29 +0100 | mmhat | (~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 +0100 | codaraxis__ | (~codaraxis@user/codaraxis) (Quit: Leaving) |
2024-02-25 01:25:13 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 255 seconds) |
2024-02-25 01:28:50 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-02-25 01:30:03 +0100 | acidjnk | (~acidjnk@p200300d6e737e756e0799c90b43bb6d6.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2024-02-25 01:37:12 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) |
2024-02-25 01:37:29 +0100 | igemnace | (~ian@user/igemnace) |
2024-02-25 01:39:16 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) (Client Quit) |
2024-02-25 01:48:19 +0100 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
2024-02-25 01:49:31 +0100 | dtman34 | (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) |
2024-02-25 01:51:08 +0100 | haftl | (~user@user/haftl) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
2024-02-25 02:00:10 +0100 | yoo | (~yo0O0o@104.28.226.104) (Ping timeout: 246 seconds) |
2024-02-25 02:00:28 +0100 | dtman34 | (~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 +0100 | destituion | (~destituio@2a02:2121:6b0:945a:fb41:5f60:ee0c:e724) (Ping timeout: 255 seconds) |
2024-02-25 02:02:07 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-02-25 02:03:48 +0100 | califax | (~califax@user/califx) |
2024-02-25 02:04:48 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
2024-02-25 02:10:12 +0100 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
2024-02-25 02:12:07 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
2024-02-25 02:13:22 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-02-25 02:13:43 +0100 | califax | (~califax@user/califx) |
2024-02-25 02:13:48 +0100 | yoo | (~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 +0100 | mmhat | (~mmh@p200300f1c70b44dbee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
2024-02-25 02:23:33 +0100 | dtman34 | (~dtman34@2601:447:d001:ed50:6530:3738:8884:2f25) |
2024-02-25 02:31:49 +0100 | komikat | (~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 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
2024-02-25 02:41:38 +0100 | tessier | (~treed@ip72-220-57-194.sd.sd.cox.net) |
2024-02-25 02:48:25 +0100 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
2024-02-25 02:52:57 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
2024-02-25 02:54:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-02-25 03:08:43 +0100 | notzmv | (~daniel@user/notzmv) |
2024-02-25 03:10:08 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
2024-02-25 03:18:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-02-25 03:19:58 +0100 | mulk | (~mulk@pd9514bb2.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
2024-02-25 03:20:22 +0100 | mulk | (~mulk@pd95143d7.dip0.t-ipconnect.de) |
2024-02-25 03:33:29 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2024-02-25 03:43:08 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-02-25 03:44:29 +0100 | yoo | (~yo0O0o@104.28.194.105) (Ping timeout: 240 seconds) |
2024-02-25 03:51:01 +0100 | igemnace | (~ian@user/igemnace) |
2024-02-25 03:54:38 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-02-25 03:59:40 +0100 | otto_s | (~user@p5de2ff2d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-02-25 04:01:15 +0100 | otto_s | (~user@p5b04471c.dip0.t-ipconnect.de) |
2024-02-25 04:02:40 +0100 | yoo | (~yo0O0o@104.28.194.106) |
2024-02-25 04:05:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-02-25 04:05:32 +0100 | op_4 | (~tslil@user/op-4/x-9116473) |
2024-02-25 04:11:51 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-02-25 04:13:59 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-02-25 04:14:10 +0100 | Axma92735 | (~Axman6@user/axman6) |
2024-02-25 04:15:56 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 244 seconds) |
2024-02-25 04:17:05 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
2024-02-25 04:17:23 +0100 | td_ | (~td@i53870933.versanet.de) (Ping timeout: 272 seconds) |
2024-02-25 04:18:48 +0100 | td_ | (~td@i53870917.versanet.de) |
2024-02-25 04:28:21 +0100 | Axma92735 | Axman6 |
2024-02-25 04:42:34 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
2024-02-25 04:43:28 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
2024-02-25 04:45:28 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2024-02-25 04:59:11 +0100 | yoo | (~yo0O0o@104.28.194.106) (Ping timeout: 272 seconds) |
2024-02-25 05:06:50 +0100 | yoo | (~yo0O0o@104.28.226.106) |
2024-02-25 05:10:12 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds) |
2024-02-25 05:14:48 +0100 | yoo | (~yo0O0o@104.28.226.106) (Ping timeout: 260 seconds) |
2024-02-25 05:16:32 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
2024-02-25 05:21:17 +0100 | jargon | (~jargon@53.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
2024-02-25 05:28:13 +0100 | bilegeek | (~bilegeek@2600:1008:b086:477d:7583:8839:720f:c01b) (Quit: Leaving) |
2024-02-25 05:32:17 +0100 | aforemny | (~aforemny@2001:9e8:6ce6:e500:e763:b68f:f774:77ed) |
2024-02-25 05:32:49 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc2:9000:e4e7:200e:bd59:b73a) (Ping timeout: 264 seconds) |
2024-02-25 05:42:48 +0100 | rekahsoft | (~rekahsoft@70.51.99.248) (Ping timeout: 260 seconds) |
2024-02-25 05:45:22 +0100 | rvalue | (~rvalue@user/rvalue) |
2024-02-25 05:52:46 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
2024-02-25 06:11:29 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-02-25 06:12:19 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-02-25 06:12:35 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-02-25 06:16:21 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-02-25 07:02:36 +0100 | mulk | (~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 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-02-25 07:13:38 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
2024-02-25 07:17:53 +0100 | mulk | (~mulk@p5b112848.dip0.t-ipconnect.de) |
2024-02-25 07:18:58 +0100 | takuan | (~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 +0100 | mulk | (~mulk@p5b112848.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-02-25 07:25:48 +0100 | mulk | (~mulk@p5b112853.dip0.t-ipconnect.de) |
2024-02-25 07:29:04 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
2024-02-25 07:29:26 +0100 | euphores | (~SASL_euph@user/euphores) |
2024-02-25 07:30:17 +0100 | mulk | (~mulk@p5b112853.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-02-25 07:31:51 +0100 | mulk | (~mulk@pd95140bb.dip0.t-ipconnect.de) |
2024-02-25 07:37:38 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
2024-02-25 07:52:43 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
2024-02-25 07:55:38 +0100 | meinside | (uid24933@helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2024-02-25 08:00:31 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
2024-02-25 08:07:56 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 260 seconds) |
2024-02-25 08:10:04 +0100 | iteratee | (~kyle@162.218.222.207) |
2024-02-25 08:16:23 +0100 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
2024-02-25 08:18:34 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
2024-02-25 08:21:18 +0100 | iteratee | (~kyle@162.218.222.207) |
2024-02-25 08:22:29 +0100 | dtman34 | (~dtman34@2601:447:d001:ed50:6530:3738:8884:2f25) (Ping timeout: 240 seconds) |
2024-02-25 08:27:40 +0100 | iteratee_ | (~kyle@162.218.222.207) |
2024-02-25 08:28:03 +0100 | dtman34 | (~dtman34@2601:447:d001:ed50:6530:3738:8884:2f25) |
2024-02-25 08:30:50 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 268 seconds) |
2024-02-25 08:32:37 +0100 | iteratee | (~kyle@162.218.222.207) |
2024-02-25 08:34:30 +0100 | iteratee_ | (~kyle@162.218.222.207) (Ping timeout: 255 seconds) |
2024-02-25 08:37:40 +0100 | iteratee_ | (~kyle@162.218.222.207) |
2024-02-25 08:39:45 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
2024-02-25 08:40:05 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 268 seconds) |
2024-02-25 08:40:07 +0100 | iteratee_ | (~kyle@162.218.222.207) (Client Quit) |
2024-02-25 08:40:28 +0100 | iteratee | (~kyle@162.218.222.207) |
2024-02-25 08:41:25 +0100 | iteratee | (~kyle@162.218.222.207) (Client Quit) |
2024-02-25 08:41:41 +0100 | iteratee | (~kyle@162.218.222.207) |
2024-02-25 08:42:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-02-25 08:43:05 +0100 | michalz | (~michalz@185.246.207.203) |
2024-02-25 08:53:39 +0100 | raym | (~ray@user/raym) (Remote host closed the connection) |
2024-02-25 09:00:07 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
2024-02-25 09:02:01 +0100 | arahael | (~arahael@119-18-0-146.771200.syd.nbn.aussiebb.net) |
2024-02-25 09:02:13 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
2024-02-25 09:14:07 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
2024-02-25 09:20:18 +0100 | Square | (~Square@user/square) |
2024-02-25 09:23:47 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 260 seconds) |
2024-02-25 09:31:08 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-02-25 09:31:50 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
2024-02-25 09:35:32 +0100 | acidjnk | (~acidjnk@p200300d6e737e75609ef641bbbea6816.dip0.t-ipconnect.de) |
2024-02-25 09:41:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-02-25 09:48:35 +0100 | igemnace | (~ian@user/igemnace) |
2024-02-25 09:50:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-02-25 09:52:48 +0100 | Lycurgus | (~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 +0100 | gmg | (~user@user/gehmehgeh) |
2024-02-25 10:10:22 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-02-25 10:15:11 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
2024-02-25 10:17:06 +0100 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-02-25 10:18:14 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2024-02-25 10:38:46 +0100 | mmhat | (~mmh@p200300f1c70b44dbee086bfffe095315.dip0.t-ipconnect.de) |
2024-02-25 10:39:04 +0100 | mmhat | (~mmh@p200300f1c70b44dbee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
2024-02-25 10:42:27 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
2024-02-25 10:45:58 +0100 | igemnace | (~ian@user/igemnace) |
2024-02-25 10:48:13 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-02-25 10:49:22 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2024-02-25 10:57:34 +0100 | CiaoSen | (~Jura@2a05:5800:2b1:cd00:e6b9:7aff:fe80:3d03) |
2024-02-25 10:58:49 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-02-25 10:59:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-02-25 11:20:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-02-25 11:22:01 +0100 | CiaoSen | (~Jura@2a05:5800:2b1:cd00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
2024-02-25 11:23:48 +0100 | CiaoSen | (~Jura@2a05:5800:281:b300:e6b9:7aff:fe80:3d03) |
2024-02-25 11:26:56 +0100 | target_i | (~target_i@217.175.14.39) |
2024-02-25 11:30:59 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2024-02-25 11:31:48 +0100 | oo_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 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
2024-02-25 11:49:04 +0100 | igemnace | (~ian@user/igemnace) |
2024-02-25 11:54:13 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2024-02-25 11:54:21 +0100 | Heffalump | (~ganesh@urchin.earth.li) |
2024-02-25 12:01:11 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-02-25 12:04:22 +0100 | Heffalump | (~ganesh@urchin.earth.li) () |
2024-02-25 12:17:50 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-02-25 12:23:20 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
2024-02-25 12:32:47 +0100 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-02-25 12:34:54 +0100 | driib | (~driib@vmi931078.contaboserver.net) |
2024-02-25 12:36:21 +0100 | driib | (~driib@vmi931078.contaboserver.net) (Client Quit) |
2024-02-25 12:37:06 +0100 | haftl | (~user@user/haftl) |
2024-02-25 12:37:40 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
2024-02-25 12:38:06 +0100 | driib | (~driib@vmi931078.contaboserver.net) |
2024-02-25 12:41:38 +0100 | driib | (~driib@vmi931078.contaboserver.net) (Client Quit) |
2024-02-25 12:42:00 +0100 | rscastilho2024 | (rscastilho@189.61.140.215) |
2024-02-25 12:42:18 +0100 | rscastilho2024 | (rscastilho@189.61.140.215) (Remote host closed the connection) |
2024-02-25 12:43:48 +0100 | driib | (~driib@vmi931078.contaboserver.net) |
2024-02-25 12:46:45 +0100 | driib | (~driib@vmi931078.contaboserver.net) (Client Quit) |
2024-02-25 12:48:57 +0100 | driib | (~driib@vmi931078.contaboserver.net) |
2024-02-25 12:49:50 +0100 | lexi-lambda | (sid92601@hampstead.irccloud.com) (Ping timeout: 252 seconds) |
2024-02-25 12:50:24 +0100 | haftl | (~user@user/haftl) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
2024-02-25 12:53:03 +0100 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) |
2024-02-25 12:54:45 +0100 | testin | (~user@p200300f9171bad009b56c0c90dc9f8b1.dip0.t-ipconnect.de) |
2024-02-25 12:55:14 +0100 | testin | (~user@p200300f9171bad009b56c0c90dc9f8b1.dip0.t-ipconnect.de) (Client Quit) |
2024-02-25 13:00:38 +0100 | mrmr155334 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
2024-02-25 13:03:04 +0100 | haftl | (~user@user/haftl) |
2024-02-25 13:03:37 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
2024-02-25 13:06:45 +0100 | mrmr155334 | (~mrmr@user/mrmr) |
2024-02-25 13:26:07 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
2024-02-25 13:30:58 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-02-25 13:32:04 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
2024-02-25 13:33:21 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-02-25 13:39:31 +0100 | cheater_ | (~Username@user/cheater) |
2024-02-25 13:41:41 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
2024-02-25 13:41:47 +0100 | cheater_ | cheater |
2024-02-25 13:46:16 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-02-25 13:46:30 +0100 | euleritian | (~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) |
2024-02-25 13:51:06 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
2024-02-25 13:53:00 +0100 | euleritian | (~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-02-25 13:53:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-02-25 13:53:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-02-25 14:03:49 +0100 | tremon | (~tremon@83.80.159.219) |
2024-02-25 14:08:03 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2024-02-25 14:25:52 +0100 | [exa] | (~exa@user/exa/x-3587197) |
2024-02-25 14:44:30 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving) |
2024-02-25 14:45:11 +0100 | ht_ | (~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 +0100 | ht_ | _ht |
2024-02-25 14:54:27 +0100 | Lumia | (~Lumia@user/Lumia) |
2024-02-25 14:57:33 +0100 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-02-25 15:08:57 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
2024-02-25 15:15:24 +0100 | driib | (~driib@vmi931078.contaboserver.net) |
2024-02-25 15:21:58 +0100 | phma | (~phma@host-67-44-208-33.hnremote.net) (Read error: Connection reset by peer) |
2024-02-25 15:22:53 +0100 | phma | (phma@2001:5b0:211f:22f8:44a3:14c4:614e:e459) |
2024-02-25 15:27:23 +0100 | Heffalump | (~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 +0100 | fr33domlover | (~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 +0100 | zetef | (~quassel@109.166.134.132) |
2024-02-25 15:48:59 +0100 | raym | (~ray@user/raym) |
2024-02-25 15:49:06 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:82f2:6245:cbff:fe9f:48b1) |
2024-02-25 15:50:27 +0100 | fr33domlover | (~fr33domlo@towards.vision) |
2024-02-25 15:55:44 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) |
2024-02-25 16:00:40 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-02-25 16:00:55 +0100 | cods | (~fred@tuxee.net) |
2024-02-25 16:01:37 +0100 | zetef | (~quassel@109.166.134.132) (Ping timeout: 264 seconds) |
2024-02-25 16:01:46 +0100 | euleritian | (~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) |
2024-02-25 16:12:12 +0100 | zetef | (~quassel@109.166.134.132) |
2024-02-25 16:14:51 +0100 | zetef | (~quassel@109.166.134.132) (Read error: Connection reset by peer) |
2024-02-25 16:17:45 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:82f2:6245:cbff:fe9f:48b1) (Quit: Leaving) |
2024-02-25 16:18:52 +0100 | zetef | (~quassel@109.166.134.132) |
2024-02-25 16:27:20 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2024-02-25 16:45:32 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
2024-02-25 16:46:04 +0100 | pavonia | (~user@user/siracusa) |
2024-02-25 16:48:22 +0100 | ht_ | (~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 +0100 | ht_ | _ht |
2024-02-25 16:56:00 +0100 | zetef | (~quassel@109.166.134.132) (Remote host closed the connection) |
2024-02-25 16:57:14 +0100 | zetef | (~quassel@109.166.134.132) |
2024-02-25 16:57:45 +0100 | zetef | (~quassel@109.166.134.132) (Remote host closed the connection) |
2024-02-25 16:57:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-02-25 17:07:09 +0100 | jtza8 | (~user@user/jtza8) |
2024-02-25 17:10:16 +0100 | euleritian | (~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-02-25 17:10:34 +0100 | euleritian | (~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 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) (Remote host closed the connection) |
2024-02-25 17:24:47 +0100 | rscastilho2024 | (~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 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) (Remote host closed the connection) |
2024-02-25 17:29:34 +0100 | rscastilho2024 | (~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 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-02-25 17:43:55 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) (Remote host closed the connection) |
2024-02-25 17:49:33 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) |
2024-02-25 17:50:10 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-02-25 17:52:27 +0100 | dcoutts | (~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 +0100 | jtza8 | (~user@user/jtza8) (Remote host closed the connection) |
2024-02-25 18:01:46 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
2024-02-25 18:08:55 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-02-25 18:12:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-02-25 18:20:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-02-25 18:20:25 +0100 | Lumia | (~Lumia@user/Lumia) (Ping timeout: 256 seconds) |
2024-02-25 18:21:01 +0100 | destituion | (~destituio@2a02:2121:34a:61a6:cc4f:561a:e55c:73cc) |
2024-02-25 18:28:10 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-02-25 18:28:37 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Ping timeout: 264 seconds) |
2024-02-25 18:31:01 +0100 | michalz | (~michalz@185.246.207.193) |
2024-02-25 18:38:48 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) (Read error: Connection reset by peer) |
2024-02-25 18:39:05 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) |
2024-02-25 18:39:21 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
2024-02-25 18:39:37 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) () |
2024-02-25 18:39:42 +0100 | Philonous | (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
2024-02-25 18:40:07 +0100 | Philonous | (~Philonous@user/philonous) |
2024-02-25 18:42:52 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) |
2024-02-25 18:45:00 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2024-02-25 18:47:52 +0100 | rvalue | (~rvalue@user/rvalue) |
2024-02-25 18:58:15 +0100 | Lumia | (~Lumia@user/Lumia) |
2024-02-25 19:01:20 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
2024-02-25 19:13:01 +0100 | Lumia | (~Lumia@user/Lumia) (Quit: ,-) |
2024-02-25 19:21:16 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2024-02-25 19:23:41 +0100 | qqq | (~qqq@92.43.167.61) |
2024-02-25 19:24:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-02-25 19:27:07 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2024-02-25 19:29:23 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
2024-02-25 19:34:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-02-25 19:35:20 +0100 | euleritian | (~euleritia@77.22.252.56) |
2024-02-25 19:50:18 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2024-02-25 19:54:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-02-25 20:13:45 +0100 | Jackneill | (~Jackneill@20014C4E1E054000F26AF8BFB0516A57.dsl.pool.telekom.hu) (Ping timeout: 256 seconds) |
2024-02-25 20:14:56 +0100 | Jackneill | (~Jackneill@20014C4E1E0540009D4D55D884553556.dsl.pool.telekom.hu) |
2024-02-25 20:14:56 +0100 | Jackneill | (~Jackneill@20014C4E1E0540009D4D55D884553556.dsl.pool.telekom.hu) (Remote host closed the connection) |
2024-02-25 20:16:56 +0100 | Jackneill | (~Jackneill@563BCD86.dsl.pool.telekom.hu) |
2024-02-25 20:16:57 +0100 | Jackneill | (~Jackneill@563BCD86.dsl.pool.telekom.hu) (Remote host closed the connection) |
2024-02-25 20:18:43 +0100 | Jackneill | (~Jackneill@563BCD86.dsl.pool.telekom.hu) |
2024-02-25 20:18:44 +0100 | Jackneill | (~Jackneill@563BCD86.dsl.pool.telekom.hu) (Max SendQ exceeded) |
2024-02-25 20:25:14 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
2024-02-25 20:25:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-02-25 20:30:22 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
2024-02-25 20:32:01 +0100 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
2024-02-25 20:38:00 +0100 | euleritian | (~euleritia@77.22.252.56) |
2024-02-25 20:38:00 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
2024-02-25 20:45:50 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
2024-02-25 20:46:00 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
2024-02-25 20:49:51 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-02-25 21:01:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-02-25 21:02:24 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
2024-02-25 21:03:00 +0100 | duncan | (c6181279e3@user/duncan) (Remote host closed the connection) |
2024-02-25 21:03:09 +0100 | duncan | (c6181279e3@user/duncan) |
2024-02-25 21:06:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-02-25 21:07:31 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
2024-02-25 21:09:05 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2024-02-25 21:13:51 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
2024-02-25 21:21:43 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2024-02-25 21:21:51 +0100 | rscastilho2024 | (~rscastilh@189.61.140.215) (Remote host closed the connection) |
2024-02-25 21:22:07 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 272 seconds) |
2024-02-25 21:22:19 +0100 | euleritian | (~euleritia@dynamic-176-006-188-157.176.6.pool.telefonica.de) |
2024-02-25 21:29:42 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:a91b:78d:f890:8e7c) (Remote host closed the connection) |
2024-02-25 21:29:56 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:4fec:b58c:4116:4501) |
2024-02-25 21:52:24 +0100 | zetef | (~quassel@5.2.182.98) |
2024-02-25 21:56:56 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
2024-02-25 21:58:10 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2024-02-25 22:05:27 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-02-25 22:07:32 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-02-25 22:12:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-02-25 22:18:16 +0100 | jargon | (~jargon@53.sub-174-205-227.myvzw.com) |
2024-02-25 22:18:46 +0100 | bilegeek | (~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 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-02-25 22:38:18 +0100 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
2024-02-25 22:53:52 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
2024-02-25 22:55:57 +0100 | michalz | (~michalz@185.246.207.193) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-02-25 22:58:30 +0100 | michalz | (~michalz@185.246.207.200) |
2024-02-25 23:02:56 +0100 | michalz | (~michalz@185.246.207.200) (Client Quit) |
2024-02-25 23:06:07 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2024-02-25 23:15:11 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 252 seconds) |
2024-02-25 23:17:21 +0100 | iteratee | (~kyle@162.218.222.207) |
2024-02-25 23:22:25 +0100 | iteratee_ | (~kyle@162.218.222.207) |
2024-02-25 23:22:46 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 264 seconds) |
2024-02-25 23:33:40 +0100 | sroso | (~sroso@user/SrOso) |
2024-02-25 23:34:02 +0100 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
2024-02-25 23:36:58 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-02-25 23:37:26 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-02-25 23:39:53 +0100 | sroso | (~sroso@user/SrOso) |
2024-02-25 23:43:04 +0100 | haftl | (~user@user/haftl) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
2024-02-25 23:47:57 +0100 | acidjnk | (~acidjnk@p200300d6e737e75609ef641bbbea6816.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |