| 2024-07-15 00:08:17 +0200 | Tisoxin | (~Ikosit@user/ikosit) (Server closed connection) |
| 2024-07-15 00:08:28 +0200 | Tisoxin | (~Ikosit@user/ikosit) |
| 2024-07-15 00:10:37 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-15 00:11:23 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Server closed connection) |
| 2024-07-15 00:11:37 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-07-15 00:11:37 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-07-15 00:11:57 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Client Quit) |
| 2024-07-15 00:14:40 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-07-15 00:25:30 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-07-15 00:26:22 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-07-15 00:29:08 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb780da6807de598ff81.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-07-15 00:32:37 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-15 00:33:05 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Server closed connection) |
| 2024-07-15 00:33:11 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:d800:e6b9:7aff:fe80:3d03) |
| 2024-07-15 00:33:22 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-07-15 00:42:23 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) (Server closed connection) |
| 2024-07-15 00:42:40 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2024-07-15 00:47:02 +0200 | hc | (~hc@2407:d200:d002:43:229:85:195:3) (Server closed connection) |
| 2024-07-15 00:47:12 +0200 | hc | (~hc@2407:d200:d002:43:229:85:195:3) |
| 2024-07-15 00:50:08 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Server closed connection) |
| 2024-07-15 00:50:16 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-07-15 00:50:31 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-07-15 00:58:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-15 01:01:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-15 01:05:13 +0200 | emm | (~emm@user/edmeme) (Ping timeout: 258 seconds) |
| 2024-07-15 01:10:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-07-15 01:18:08 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-15 01:33:32 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Server closed connection) |
| 2024-07-15 01:33:47 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2024-07-15 01:42:18 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:d800:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
| 2024-07-15 01:49:46 +0200 | melodev | (~svipal@2a01:e0a:3cc:4590:1e35:5bb7:1820:8e9f) (Remote host closed the connection) |
| 2024-07-15 01:50:02 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Remote host closed the connection) |
| 2024-07-15 01:55:21 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:f1e3:4747:4928:80a0) |
| 2024-07-15 01:59:53 +0200 | teesquare | (~teesquare@user/teesquare) (Server closed connection) |
| 2024-07-15 02:00:07 +0200 | teesquare | (~teesquare@user/teesquare) |
| 2024-07-15 02:01:50 +0200 | nullobject | (~nullobjec@user/nullobject) |
| 2024-07-15 02:04:26 +0200 | pmk_ | (6afe4476a1@2a03:6000:1812:100::26d) (Server closed connection) |
| 2024-07-15 02:04:34 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-07-15 02:05:48 +0200 | nullobject | (~nullobjec@user/nullobject) (Client Quit) |
| 2024-07-15 02:10:51 +0200 | Guest73 | (~Guest73@2a09:bac3:469:18c8::278:21) |
| 2024-07-15 02:11:11 +0200 | Guest73 | (~Guest73@2a09:bac3:469:18c8::278:21) (Client Quit) |
| 2024-07-15 02:12:29 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2024-07-15 02:18:35 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 264 seconds) |
| 2024-07-15 02:19:24 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-15 02:22:00 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-15 02:31:16 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-07-15 02:32:32 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-15 02:33:53 +0200 | jakzale | (6291399afa@user/jakzale) (Server closed connection) |
| 2024-07-15 02:34:01 +0200 | jakzale | (6291399afa@user/jakzale) |
| 2024-07-15 02:38:38 +0200 | micro | (~micro@user/micro) (Server closed connection) |
| 2024-07-15 02:38:46 +0200 | micro | (~micro@user/micro) |
| 2024-07-15 02:38:48 +0200 | <Leary> | Anyone flush on delimited continuation literature? I need a good (Haskell-usable) name for {}^{-}\mathcal{F}^{+} AKA "the controller provided by `spawn`" AKA `\tag f -> control0# tag \k -> f (prompt# tag . k)`. |
| 2024-07-15 02:41:00 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-15 02:49:23 +0200 | titibandit | (e33ffbab65@user/titibandit) (Server closed connection) |
| 2024-07-15 02:49:33 +0200 | titibandit | (e33ffbab65@user/titibandit) |
| 2024-07-15 03:12:55 +0200 | throwndice | (~herodiade@193.42.96.78) |
| 2024-07-15 03:14:11 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Server closed connection) |
| 2024-07-15 03:14:12 +0200 | throwndice | (~herodiade@193.42.96.78) (Client Quit) |
| 2024-07-15 03:14:21 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-07-15 03:16:01 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-15 03:21:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-15 03:34:09 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 256 seconds) |
| 2024-07-15 03:35:23 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-07-15 03:35:41 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-15 03:39:00 +0200 | dumptruckman | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) (Server closed connection) |
| 2024-07-15 03:40:16 +0200 | dumptruckman | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) |
| 2024-07-15 03:43:43 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2024-07-15 03:44:02 +0200 | ddellacosta | (~ddellacos@68.199.61.41) |
| 2024-07-15 04:05:06 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-07-15 04:08:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2024-07-15 04:13:05 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Server closed connection) |
| 2024-07-15 04:14:38 +0200 | Catty | (~catties@user/meow/catties) (Server closed connection) |
| 2024-07-15 04:14:59 +0200 | catties | (~catties@user/meow/catties) |
| 2024-07-15 04:16:06 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-15 04:16:47 +0200 | Square2 | (~Square@user/square) |
| 2024-07-15 04:20:50 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Server closed connection) |
| 2024-07-15 04:21:10 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2024-07-15 04:25:28 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2024-07-15 04:25:48 +0200 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 245 seconds) |
| 2024-07-15 04:27:41 +0200 | td_ | (~td@i53870911.versanet.de) |
| 2024-07-15 04:28:35 +0200 | tjbc | (~tjbc@user/fliife) (Server closed connection) |
| 2024-07-15 04:28:47 +0200 | tjbc | (~tjbc@user/fliife) |
| 2024-07-15 04:30:08 +0200 | xerox | (~edi@user/edi) (Server closed connection) |
| 2024-07-15 04:30:19 +0200 | xerox | (~edi@user/edi) |
| 2024-07-15 04:33:43 +0200 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 2024-07-15 04:40:47 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-07-15 04:43:55 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-15 04:46:45 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-07-15 05:01:03 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-15 05:02:14 +0200 | dhil | (~dhil@2001:8e0:2014:3100:df41:53f:d840:e364) |
| 2024-07-15 05:06:14 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-15 05:08:49 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-15 05:19:50 +0200 | cln_ | (cln@wtf.cx) (Server closed connection) |
| 2024-07-15 05:20:08 +0200 | cln_ | (cln@wtf.cx) |
| 2024-07-15 05:36:13 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 245 seconds) |
| 2024-07-15 05:38:21 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-15 05:51:19 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-07-15 05:54:22 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-07-15 06:05:30 +0200 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 246 seconds) |
| 2024-07-15 06:07:53 +0200 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (Server closed connection) |
| 2024-07-15 06:09:02 +0200 | krjst | (~krjst@2604:a880:800:c1::16b:8001) |
| 2024-07-15 06:14:26 +0200 | puke | (~puke@user/puke) |
| 2024-07-15 06:17:31 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 264 seconds) |
| 2024-07-15 06:20:17 +0200 | APic | (apic@apic.name) (Server closed connection) |
| 2024-07-15 06:20:29 +0200 | APic | (apic@apic.name) |
| 2024-07-15 06:21:01 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:f1e3:4747:4928:80a0) (Quit: Leaving) |
| 2024-07-15 06:32:10 +0200 | danse-nr3 | (~danse-nr3@151.43.136.149) |
| 2024-07-15 06:45:40 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2024-07-15 06:51:26 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-07-15 06:57:29 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (Server closed connection) |
| 2024-07-15 06:57:38 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2024-07-15 07:00:53 +0200 | vulpine | (xfnw@user/meow/xfnw) |
| 2024-07-15 07:01:07 +0200 | _________ | (~nobody@user/noodly) |
| 2024-07-15 07:02:08 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Server closed connection) |
| 2024-07-15 07:02:15 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-07-15 07:14:45 +0200 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 258 seconds) |
| 2024-07-15 07:15:59 +0200 | tinwood | (~tinwood@canonical/tinwood) (Server closed connection) |
| 2024-07-15 07:16:12 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2024-07-15 07:16:13 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2024-07-15 07:16:13 +0200 | tinwood | (~tinwood@canonical/tinwood) |
| 2024-07-15 07:18:50 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-15 07:18:54 +0200 | vulpine | (xfnw@user/meow/xfnw) |
| 2024-07-15 07:19:55 +0200 | dhil | (~dhil@2001:8e0:2014:3100:df41:53f:d840:e364) (Ping timeout: 264 seconds) |
| 2024-07-15 07:20:44 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) (Server closed connection) |
| 2024-07-15 07:21:00 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) |
| 2024-07-15 07:23:18 +0200 | vulpine | (xfnw@user/meow/xfnw) (Ping timeout: 245 seconds) |
| 2024-07-15 07:23:44 +0200 | sm | (~znc@plaintextaccounting/sm) (Server closed connection) |
| 2024-07-15 07:24:16 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-15 07:25:30 +0200 | sm | (~znc@plaintextaccounting/sm) |
| 2024-07-15 07:25:57 +0200 | danse-nr3 | (~danse-nr3@151.43.136.149) (Quit: Leaving) |
| 2024-07-15 07:26:31 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-15 07:26:31 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-07-15 07:26:38 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2024-07-15 07:27:01 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-15 07:30:22 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-15 07:30:29 +0200 | rvalue- | rvalue |
| 2024-07-15 07:33:08 +0200 | kmein | (~weechat@user/kmein) (Server closed connection) |
| 2024-07-15 07:33:32 +0200 | kmein | (~weechat@user/kmein) |
| 2024-07-15 07:40:37 +0200 | vulpine | (xfnw@user/meow/xfnw) |
| 2024-07-15 07:46:14 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:8a00:e6b9:7aff:fe80:3d03) |
| 2024-07-15 07:54:43 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 264 seconds) |
| 2024-07-15 07:54:43 +0200 | Vajb | (~Vajb@n84f8idehd0ucclhxoj-1.v6.elisa-mobile.fi) |
| 2024-07-15 07:56:32 +0200 | Square2 | (~Square@user/square) (Ping timeout: 258 seconds) |
| 2024-07-15 07:59:36 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-15 08:06:00 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb855d3b0bd945f63b84.dip0.t-ipconnect.de) |
| 2024-07-15 08:09:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-15 08:15:03 +0200 | aforemny | (~aforemny@2001:9e8:6cd2:fc00:1da8:718a:ae87:dc3a) |
| 2024-07-15 08:16:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-15 08:21:11 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Server closed connection) |
| 2024-07-15 08:21:24 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 2024-07-15 08:22:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-07-15 08:24:20 +0200 | comonad | (~comonad@p200300d0273ec200f169249ffaccfbba.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-07-15 08:47:58 +0200 | danse-nr3 | (~danse-nr3@151.43.163.81) |
| 2024-07-15 08:48:12 +0200 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) |
| 2024-07-15 08:57:15 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-15 08:58:38 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-15 09:02:16 +0200 | euleritian | (~euleritia@dynamic-176-003-083-134.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-15 09:02:29 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) |
| 2024-07-15 09:02:34 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-07-15 09:03:02 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) |
| 2024-07-15 09:09:14 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Server closed connection) |
| 2024-07-15 09:09:23 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-07-15 09:12:29 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2024-07-15 09:17:23 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-07-15 09:19:18 +0200 | euleritian | (~euleritia@dynamic-176-003-083-134.176.3.pool.telefonica.de) |
| 2024-07-15 09:21:38 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) (Server closed connection) |
| 2024-07-15 09:21:59 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) |
| 2024-07-15 09:24:44 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Server closed connection) |
| 2024-07-15 09:25:10 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-07-15 09:27:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-15 09:39:34 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:8a00:e6b9:7aff:fe80:3d03) (Ping timeout: 245 seconds) |
| 2024-07-15 09:48:46 +0200 | phma | (~phma@host-67-44-208-22.hnremote.net) (Ping timeout: 256 seconds) |
| 2024-07-15 09:55:36 +0200 | danse-nr3 | (~danse-nr3@151.43.163.81) (Quit: Leaving) |
| 2024-07-15 09:58:50 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Server closed connection) |
| 2024-07-15 09:58:57 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) |
| 2024-07-15 10:01:52 +0200 | euleritian | (~euleritia@dynamic-176-003-083-134.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-15 10:02:05 +0200 | euleritian | (~euleritia@217.235.177.3) |
| 2024-07-15 10:05:47 +0200 | ash3en | (~ash3en@89.246.174.164) |
| 2024-07-15 10:05:58 +0200 | phma | (~phma@host-67-44-208-24.hnremote.net) |
| 2024-07-15 10:06:56 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-15 10:11:36 +0200 | ash3en | (~ash3en@89.246.174.164) (Remote host closed the connection) |
| 2024-07-15 10:11:46 +0200 | ash3en | (~ash3en@89.246.174.164) |
| 2024-07-15 10:26:47 +0200 | chele | (~chele@user/chele) |
| 2024-07-15 10:27:35 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:8a00:e6b9:7aff:fe80:3d03) |
| 2024-07-15 10:33:38 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-15 10:34:05 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-15 10:34:39 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:8a00:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
| 2024-07-15 10:34:47 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-15 10:34:55 +0200 | ash3en | (~ash3en@89.246.174.164) (Ping timeout: 256 seconds) |
| 2024-07-15 10:35:12 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 2024-07-15 10:41:31 +0200 | ash3en | (~ash3en@89.246.174.164) |
| 2024-07-15 10:43:05 +0200 | euleritian | (~euleritia@217.235.177.3) (Ping timeout: 265 seconds) |
| 2024-07-15 10:43:21 +0200 | euleritian | (~euleritia@dynamic-176-003-083-134.176.3.pool.telefonica.de) |
| 2024-07-15 10:43:44 +0200 | danse-nr3 | (~danse-nr3@151.43.163.81) |
| 2024-07-15 10:46:19 +0200 | phma | (~phma@host-67-44-208-24.hnremote.net) (Ping timeout: 264 seconds) |
| 2024-07-15 10:46:20 +0200 | phma_ | (~phma@host-67-44-208-24.hnremote.net) |
| 2024-07-15 10:49:28 +0200 | phma | (~phma@host-67-44-208-24.hnremote.net) |
| 2024-07-15 10:49:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-15 10:51:43 +0200 | phma_ | (~phma@host-67-44-208-24.hnremote.net) (Ping timeout: 264 seconds) |
| 2024-07-15 10:53:05 +0200 | drlkf | (~drlkf@192.184.163.34.bc.googleusercontent.com) (Server closed connection) |
| 2024-07-15 10:53:31 +0200 | drlkf | (~drlkf@192.184.163.34.bc.googleusercontent.com) |
| 2024-07-15 10:57:40 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-07-15 10:59:23 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-15 11:06:29 +0200 | mikoto | (~mikoto@dzcz-fyyyyyyyyyyyyhpy-3.rev.dnainternet.fi) |
| 2024-07-15 11:10:08 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Server closed connection) |
| 2024-07-15 11:10:24 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-07-15 11:12:09 +0200 | mikoto | (~mikoto@dzcz-fyyyyyyyyyyyyhpy-3.rev.dnainternet.fi) (Quit: WeeChat 4.0.4) |
| 2024-07-15 11:13:06 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-15 11:28:38 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Server closed connection) |
| 2024-07-15 11:28:48 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-07-15 11:31:26 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-07-15 11:32:16 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-15 11:33:02 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:8e4:c63e:58e8:6f0b) (Read error: Connection reset by peer) |
| 2024-07-15 11:35:18 +0200 | halloy4661 | (~halloy466@195.158.30.12) |
| 2024-07-15 11:39:29 +0200 | sus | (1b7af6299f@user/zeromomentum) (Server closed connection) |
| 2024-07-15 11:39:37 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:8a00:e6b9:7aff:fe80:3d03) |
| 2024-07-15 11:39:37 +0200 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-07-15 11:45:40 +0200 | ash3en | (~ash3en@89.246.174.164) (Remote host closed the connection) |
| 2024-07-15 11:46:00 +0200 | ash3en | (~ash3en@89.246.174.164) |
| 2024-07-15 11:59:37 +0200 | euleritian | (~euleritia@dynamic-176-003-083-134.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-15 11:59:52 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) |
| 2024-07-15 12:01:10 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-15 12:01:27 +0200 | Jackneill_ | (~Jackneill@178-164-177-183.pool.digikabel.hu) |
| 2024-07-15 12:01:44 +0200 | ash3en | (~ash3en@89.246.174.164) (Remote host closed the connection) |
| 2024-07-15 12:02:03 +0200 | ash3en | (~ash3en@89.246.174.164) |
| 2024-07-15 12:04:11 +0200 | Jackneill | (~Jackneill@217-197-184-151.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2024-07-15 12:11:17 +0200 | danse-nr3 | (~danse-nr3@151.43.163.81) (Read error: Connection reset by peer) |
| 2024-07-15 12:11:27 +0200 | danse-nr3 | (~danse-nr3@151.57.131.103) |
| 2024-07-15 12:15:09 +0200 | _0xa | (~user@user/0xa/x-3134607) (Server closed connection) |
| 2024-07-15 12:15:20 +0200 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2024-07-15 12:15:20 +0200 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2024-07-15 12:15:20 +0200 | _0xa | (~user@user/0xa/x-3134607) |
| 2024-07-15 12:29:44 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-07-15 12:30:43 +0200 | euleritian | (~euleritia@dynamic-176-003-083-134.176.3.pool.telefonica.de) |
| 2024-07-15 12:31:58 +0200 | Square2 | (~Square@user/square) |
| 2024-07-15 12:32:24 +0200 | yin | (~yin@user/zero) |
| 2024-07-15 12:33:39 +0200 | <yin> | what's the most convenient way of printing Words in their binary representation? |
| 2024-07-15 12:34:58 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-07-15 12:37:30 +0200 | <ncf> | > showBin (42 :: Word) "" |
| 2024-07-15 12:37:31 +0200 | <lambdabot> | error: |
| 2024-07-15 12:37:31 +0200 | <lambdabot> | Variable not in scope: showBin :: Word -> [Char] -> t |
| 2024-07-15 12:37:37 +0200 | <ncf> | > Numeric.showBin (42 :: Word) "" |
| 2024-07-15 12:37:38 +0200 | <lambdabot> | error: |
| 2024-07-15 12:37:38 +0200 | <lambdabot> | Not in scope: ‘Numeric.showBin’ |
| 2024-07-15 12:37:38 +0200 | <lambdabot> | Perhaps you meant one of these: |
| 2024-07-15 12:39:26 +0200 | <haskellbridge> | <maerwald> fmap fromIntegral . unpack |
| 2024-07-15 12:39:59 +0200 | <danse-nr3> | > fmap fromIntegral . unpack $ (24 :: Word) |
| 2024-07-15 12:40:00 +0200 | <lambdabot> | error: |
| 2024-07-15 12:40:00 +0200 | <lambdabot> | • Variable not in scope: unpack :: Word -> f a0 |
| 2024-07-15 12:40:00 +0200 | <lambdabot> | • Perhaps you meant one of these: |
| 2024-07-15 12:40:25 +0200 | <danse-nr3> | go figure which unpack this was. Well if anyone knows go on please |
| 2024-07-15 12:40:39 +0200 | <haskellbridge> | <maerwald> bytestring |
| 2024-07-15 12:40:50 +0200 | <xerox> | > showIntAtBase 2 intToDigit (127 :: Word) "" |
| 2024-07-15 12:40:51 +0200 | <lambdabot> | "1111111" |
| 2024-07-15 12:40:55 +0200 | <haskellbridge> | <maerwald> They didn't say what notation they want |
| 2024-07-15 12:41:10 +0200 | <danse-nr3> | % fmap fromIntegral . unpack $ (24 :: Word) |
| 2024-07-15 12:41:10 +0200 | <yahb2> | <interactive>:17:21: error: ; Variable not in scope: unpack :: Word -> f a0 |
| 2024-07-15 12:41:19 +0200 | <danse-nr3> | import Data.Bytestring (unpack) |
| 2024-07-15 12:41:29 +0200 | <danse-nr3> | % import Data.Bytestring (unpack) |
| 2024-07-15 12:41:29 +0200 | <yahb2> | <no location info>: error: ; Could not find module ‘Data.Bytestring’ ; Perhaps you meant Data.ByteString (from bytestring-0.11.5.3) |
| 2024-07-15 12:41:40 +0200 | <danse-nr3> | % import Data.ByteString (unpack) |
| 2024-07-15 12:41:40 +0200 | <yahb2> | <no output> |
| 2024-07-15 12:41:43 +0200 | <danse-nr3> | % fmap fromIntegral . unpack $ (24 :: Word) |
| 2024-07-15 12:41:43 +0200 | <yahb2> | <interactive>:23:21: error: ; • Couldn't match type ‘bytestring-0.11.5.3:Data.ByteString.Internal.Type.ByteString’ ; with ‘Word’ ; Expected: Word -> [GHC.Word.Word8] ... |
| 2024-07-15 12:41:53 +0200 | <danse-nr3> | uff |
| 2024-07-15 12:42:15 +0200 | <danse-nr3> | sorry maerwald got to come in IRC if you want to showcase that |
| 2024-07-15 12:46:14 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Server closed connection) |
| 2024-07-15 12:46:21 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2024-07-15 12:46:21 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2024-07-15 12:46:21 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2024-07-15 12:46:21 +0200 | ChanServ | +v lambdabot |
| 2024-07-15 12:55:46 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 256 seconds) |
| 2024-07-15 12:57:05 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (Server closed connection) |
| 2024-07-15 12:58:53 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-07-15 13:01:23 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-15 13:08:19 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-07-15 13:12:18 +0200 | <yin> | a simple "no" would suffice :D |
| 2024-07-15 13:12:47 +0200 | <yin> | jk. thank you |
| 2024-07-15 13:17:14 +0200 | haetsal | (~quassel@221.138.168.192) (Server closed connection) |
| 2024-07-15 13:17:27 +0200 | haetsal | (~quassel@221.138.168.192) |
| 2024-07-15 13:20:49 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-07-15 13:22:58 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 2024-07-15 13:23:55 +0200 | tv | (~tv@user/tv) (Quit: derp) |
| 2024-07-15 13:24:11 +0200 | tv | (~tv@user/tv) |
| 2024-07-15 13:24:28 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-07-15 13:30:20 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
| 2024-07-15 13:30:36 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-15 13:32:33 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-15 13:33:52 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (Remote host closed the connection) |
| 2024-07-15 13:40:25 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-15 13:46:28 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-15 14:00:45 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-15 14:03:47 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 252 seconds) |
| 2024-07-15 14:09:39 +0200 | billchenchina- | (~billchenc@103.118.42.229) |
| 2024-07-15 14:16:08 +0200 | zhuberty | (~zhuberty@user/zhuberty) (Server closed connection) |
| 2024-07-15 14:16:32 +0200 | zhuberty | (~zhuberty@2605-4A80-2900-CD0-7AD5-1D68-8951-D8B2-dynamic.midco.net) |
| 2024-07-15 14:21:45 +0200 | <haskellbridge> | <magic_rb> I had a horrible idea, so binding to C code from haskell is a pain in the arse, more so than from Rust. Calling out from haskell and calling into haskell is slow, compared to staying inside haskell. |
| 2024-07-15 14:22:09 +0200 | <haskellbridge> | <magic_rb> See a pattern? The other language not being haskell is the problem, so what if, we wrote a C to haskell compiler lmao |
| 2024-07-15 14:22:31 +0200 | ddellacosta | (~ddellacos@68.199.61.41) (Ping timeout: 265 seconds) |
| 2024-07-15 14:26:59 +0200 | bgamari_ | (~bgamari@64.223.233.64) (Server closed connection) |
| 2024-07-15 14:28:16 +0200 | bgamari | (~bgamari@64.223.233.64) |
| 2024-07-15 14:29:31 +0200 | ash3en | (~ash3en@89.246.174.164) (Ping timeout: 256 seconds) |
| 2024-07-15 14:31:45 +0200 | <tomsmeding> | magic_rb: isn't the point of calling out to C that the C code is faster than what you'd reasonably write in haskell |
| 2024-07-15 14:31:57 +0200 | <tomsmeding> | a C to haskell compiler would have a hard time meeting that performance |
| 2024-07-15 14:34:28 +0200 | <haskellbridge> | <magic_rb> tomsmeding: Carefully generated haskell should be fast enough, especially with generous use of IO and malloc+free |
| 2024-07-15 14:35:13 +0200 | <tomsmeding> | X doubt |
| 2024-07-15 14:35:19 +0200 | <tomsmeding> | C compilers do SIMD |
| 2024-07-15 14:35:37 +0200 | <haskellbridge> | <magic_rb> Then we need to teach ghc simd :) |
| 2024-07-15 14:35:40 +0200 | <tomsmeding> | this can give 2x and up to 7x or 8x speedup on some code, depending on the cpu architecture |
| 2024-07-15 14:35:52 +0200 | <tomsmeding> | ah, indeed :) |
| 2024-07-15 14:36:07 +0200 | <haskellbridge> | <magic_rb> Be a bit optimistic (its a dumb idea anyway, im not about to implement a c compiler, i dont hate myself that much) |
| 2024-07-15 14:36:25 +0200 | <tomsmeding> | it would be amazing if ghc understood simd |
| 2024-07-15 14:36:40 +0200 | <tomsmeding> | even if ghc is not smart enough to vectorise stuff by itself, at least the programmer could hand-optimise core loops |
| 2024-07-15 14:36:59 +0200 | <tomsmeding> | they have to hand-optimise these kinds of core loops anyway, using IOVectors with unsafePerformIO instead of normal vectors and stuff |
| 2024-07-15 14:38:56 +0200 | <haskellbridge> | <magic_rb> Would explain why my gameengine's physics engine is so slow :) |
| 2024-07-15 14:39:03 +0200 | <haskellbridge> | <magic_rb> That and "effectful" |
| 2024-07-15 14:43:19 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-07-15 14:47:21 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 2024-07-15 14:49:16 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-15 14:55:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-07-15 14:57:59 +0200 | robertm | (robertm@lattice.rojoma.com) (Server closed connection) |
| 2024-07-15 14:58:17 +0200 | robertm | (robertm@lattice.rojoma.com) |
| 2024-07-15 15:04:06 +0200 | mud | (~mud@user/kadoban) (Server closed connection) |
| 2024-07-15 15:04:31 +0200 | mud | (~mud@user/kadoban) |
| 2024-07-15 15:05:38 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Server closed connection) |
| 2024-07-15 15:05:58 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-07-15 15:09:17 +0200 | Guest89 | (~Guest89@236.254.70.115.static.exetel.com.au) |
| 2024-07-15 15:10:23 +0200 | visilii | (~visilii@213.24.125.33) (Server closed connection) |
| 2024-07-15 15:10:37 +0200 | <Guest89> | hello |
| 2024-07-15 15:10:42 +0200 | visilii | (~visilii@213.24.125.33) |
| 2024-07-15 15:11:36 +0200 | <tomsmeding> | hi; If you have a question, follow the standard instruction "don't ask to ask, just ask" |
| 2024-07-15 15:11:40 +0200 | <tomsmeding> | :) |
| 2024-07-15 15:12:31 +0200 | Guest89 | (~Guest89@236.254.70.115.static.exetel.com.au) (Client Quit) |
| 2024-07-15 15:12:38 +0200 | <tomsmeding> | bye |
| 2024-07-15 15:13:33 +0200 | <ghodawalaaman> | lol |
| 2024-07-15 15:14:29 +0200 | <ghodawalaaman> | hello guys |
| 2024-07-15 15:15:04 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-15 15:15:08 +0200 | <ghodawalaaman> | I want to learn haskell however I couldn't motivate my self to do so because I already know python, c, java, bash, perl |
| 2024-07-15 15:15:32 +0200 | <ghodawalaaman> | what interesting thing haskell has that I could utilize |
| 2024-07-15 15:16:03 +0200 | <hc> | Learning a side effect free language like haskell will have a lasting positive side effect on your brain cells |
| 2024-07-15 15:16:36 +0200 | <ghodawalaaman> | that's an interesting reason to learn Haskell |
| 2024-07-15 15:16:39 +0200 | <ghodawalaaman> | :D |
| 2024-07-15 15:16:48 +0200 | <danse-nr3> | don't do that ghodawalaaman, step away from haskell if you still can |
| 2024-07-15 15:17:03 +0200 | ghodawalaaman | terrified D: |
| 2024-07-15 15:17:05 +0200 | <haskellbridge> | <sm> welcome ghodawalaaman. Also haskell is good for writing correct reliable long lasting code that starts and runs fast. You'll feel motivated after you've hit enough bugs with those other languages |
| 2024-07-15 15:17:45 +0200 | <haskellbridge> | <sm> like java is to perl, but turned up to 11 |
| 2024-07-15 15:18:24 +0200 | <tomsmeding> | I've heard multiple other people state that once they learned haskell to a decent level, they really noticed that their code in other (unrelated) languages improved, just due to knowing different ways of thinking about problems |
| 2024-07-15 15:18:24 +0200 | <ghodawalaaman> | sm: but the thing is I very rarely write code and all the code that I have written isn't that high quality. my code just do the work I want it to do. |
| 2024-07-15 15:18:33 +0200 | <ghodawalaaman> | can I use haskell as a scripting lang? |
| 2024-07-15 15:18:39 +0200 | <ghodawalaaman> | for my unix servers |
| 2024-07-15 15:18:51 +0200 | <tomsmeding> | it's not ideal for that, but it can work fairly well |
| 2024-07-15 15:19:33 +0200 | <tomsmeding> | there's a small header you can put at the top of a stand-alone haskell file to make it executable on its own https://cabal.readthedocs.io/en/3.4/cabal-commands.html#cabal-v2-run ("script files") |
| 2024-07-15 15:20:09 +0200 | <ghodawalaaman> | I see |
| 2024-07-15 15:20:23 +0200 | ghodawalaaman | writes "learn haskell" in his todo list |
| 2024-07-15 15:20:24 +0200 | <ghodawalaaman> | :D |
| 2024-07-15 15:20:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-07-15 15:20:56 +0200 | <hc> | ghodawalaaman: One thing haskell has that the languages you mentioned (afaict) do not have is green threads, i.e., you can spawn millions of threads without OS support in an efficient way, all the while avoiding writing "asynchronous" code like in rust or JS |
| 2024-07-15 15:21:00 +0200 | <tomsmeding> | I say "not ideal" not because of the need for that header -- that's very little effort, and you can even have dependencies! -- but because Haskell and its libraries are not necessarily written to optimise for "glue code" applications like what you would use a bash script for |
| 2024-07-15 15:21:14 +0200 | <hc> | So in case you want to write a network server that serves many thousands of clients at the same time, it might be a good choice |
| 2024-07-15 15:21:17 +0200 | <danse-nr3> | python has green threads |
| 2024-07-15 15:21:23 +0200 | ash3en | (~ash3en@89.246.174.164) |
| 2024-07-15 15:21:29 +0200 | <tomsmeding> | coroutines? |
| 2024-07-15 15:21:38 +0200 | <haskellbridge> | <sm> I wouldn't bother with haskell for scripting, unless you already use and love haskell |
| 2024-07-15 15:21:58 +0200 | <danse-nr3> | are they the same tomsmeding? |
| 2024-07-15 15:22:02 +0200 | <hc> | danse-nr3: I thought python still had a GIL? |
| 2024-07-15 15:22:04 +0200 | ash3en | (~ash3en@89.246.174.164) (Remote host closed the connection) |
| 2024-07-15 15:22:22 +0200 | <danse-nr3> | green threads work well with a lock as far as i understand |
| 2024-07-15 15:22:24 +0200 | hc | hasn't used python in a serious way for ages, though, so I might be wrong |
| 2024-07-15 15:22:36 +0200 | <tomsmeding> | danse-nr3: which API precisely are you talking about? |
| 2024-07-15 15:22:47 +0200 | <tomsmeding> | hc: people are currently working on removing the GIL |
| 2024-07-15 15:23:05 +0200 | <danse-nr3> | i don't recall ... there was a library in vogue when i was using it, but time has passed |
| 2024-07-15 15:23:10 +0200 | <hc> | tomsmeding: Good to know! :) |
| 2024-07-15 15:23:26 +0200 | <haskellbridge> | <sm> if you don't code much and don't need it, there's no real reason to learn it except for mental stimulation. But you could start by using tools built with it. Eg shellcheck will make shell scripting much better for you |
| 2024-07-15 15:23:39 +0200 | <tomsmeding> | I guess this exists https://docs.python.org/3/library/threading.html , TIL, don't know how well it scales |
| 2024-07-15 15:23:52 +0200 | <danse-nr3> | good point sm |
| 2024-07-15 15:24:11 +0200 | <danse-nr3> | ghodawalaaman take a look at shellcheck it's ideal if you have lots of bash scripts |
| 2024-07-15 15:24:30 +0200 | <danse-nr3> | (but recall my advice, better not to get into haskell XD |
| 2024-07-15 15:25:20 +0200 | <hc> | danse-nr3: you mean it's better to start with agda or isabelle first? |
| 2024-07-15 15:25:47 +0200 | <ghodawalaaman> | danse-nr3: I have very few bash scripts TBH, it's mostly just throw away scripts anyway which I could write in half hour |
| 2024-07-15 15:26:05 +0200 | ghodawalaaman | is scared to try haskell because of danse-nr3 |
| 2024-07-15 15:26:10 +0200 | <danse-nr3> | huh moved to offtopic hc |
| 2024-07-15 15:26:24 +0200 | <tomsmeding> | they haven't explained why they want to scare you off :p |
| 2024-07-15 15:26:24 +0200 | <danse-nr3> | i'll shout ghodawalaaman |
| 2024-07-15 15:26:33 +0200 | <danse-nr3> | *shut |
| 2024-07-15 15:26:49 +0200 | <ghodawalaaman> | (ㆆ _ ㆆ) |
| 2024-07-15 15:27:19 +0200 | <danse-nr3> | well you will find a lot of enthusiasts here ghodawalaaman so someone has to jump on the other side of the bias |
| 2024-07-15 15:27:47 +0200 | <tomsmeding> | I think sm's contributions in this discussion are very well nuanced :) |
| 2024-07-15 15:27:53 +0200 | <ghodawalaaman> | I see, you are trying to make an equilibrium |
| 2024-07-15 15:27:53 +0200 | <ghodawalaaman> | :D |
| 2024-07-15 15:28:11 +0200 | <danse-nr3> | yep, sm's idea sounds the best to me as well |
| 2024-07-15 15:28:54 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (Server closed connection) |
| 2024-07-15 15:29:09 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-07-15 15:31:27 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-15 15:33:33 +0200 | euleritian | (~euleritia@dynamic-176-003-083-134.176.3.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-07-15 15:34:44 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-15 15:35:46 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) |
| 2024-07-15 15:37:00 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-15 15:37:31 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-15 15:39:06 +0200 | califax | (~califax@user/califx) |
| 2024-07-15 15:42:19 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-15 15:50:46 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-15 15:51:05 +0200 | euleritian | (~euleritia@mail.goesf.de) |
| 2024-07-15 15:51:31 +0200 | halloy4661 | (~halloy466@195.158.30.12) (Ping timeout: 260 seconds) |
| 2024-07-15 15:53:29 +0200 | rustisafungus | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-07-15 15:54:11 +0200 | tinwood | (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 2024-07-15 15:54:27 +0200 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-07-15 15:54:33 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2024-07-15 15:54:34 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 245 seconds) |
| 2024-07-15 15:55:20 +0200 | byorgey | (~byorgey@user/byorgey) (Server closed connection) |
| 2024-07-15 15:55:45 +0200 | tinwood | (~tinwood@2001:41c9:1:421::164) |
| 2024-07-15 15:55:45 +0200 | tinwood | (~tinwood@2001:41c9:1:421::164) (Changing host) |
| 2024-07-15 15:55:45 +0200 | tinwood | (~tinwood@canonical/tinwood) |
| 2024-07-15 15:55:55 +0200 | byorgey | (~byorgey@user/byorgey) |
| 2024-07-15 15:57:25 +0200 | euleritian | (~euleritia@mail.goesf.de) (Ping timeout: 246 seconds) |
| 2024-07-15 15:57:46 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) |
| 2024-07-15 16:00:24 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3409-3073-e41a-44ab-3feb-373a.rev.sfr.net) |
| 2024-07-15 16:05:46 +0200 | <haskellbridge> | <thirdofmay18081814goya> What are some more recent books like Real World Haskell focused on applied Haskell? |
| 2024-07-15 16:07:21 +0200 | <Hecate> | a couple of books were published recently |
| 2024-07-15 16:07:35 +0200 | <Hecate> | https://pragprog.com/titles/rshaskell/effective-haskell/ |
| 2024-07-15 16:07:38 +0200 | <Hecate> | this is should be good |
| 2024-07-15 16:07:45 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3409-3073-e41a-44ab-3feb-373a.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-15 16:07:55 +0200 | <Hecate> | so should this one: https://leanpub.com/production-haskell |
| 2024-07-15 16:08:04 +0200 | <haskellbridge> | <thirdofmay18081814goya> Hecate: ah i got this recommendation recently, will definitely check it out |
| 2024-07-15 16:08:09 +0200 | <haskellbridge> | <thirdofmay18081814goya> Hecate: never heard of it, thanks a lot! |
| 2024-07-15 16:08:13 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3409-3073-60ea-f9cf-4f48-225d.rev.sfr.net) |
| 2024-07-15 16:09:10 +0200 | <haskellbridge> | <sm> @where books |
| 2024-07-15 16:10:57 +0200 | <haskellbridge> | <sm> @where books |
| 2024-07-15 16:11:45 +0200 | <Hecate> | :) |
| 2024-07-15 16:13:02 +0200 | nrs | (~nrs@190.16.167.62) |
| 2024-07-15 16:13:02 +0200 | danse-nr3 | (~danse-nr3@151.57.131.103) (Ping timeout: 252 seconds) |
| 2024-07-15 16:13:12 +0200 | <haskellbridge> | <sm> please robot sir, |
| 2024-07-15 16:13:12 +0200 | <haskellbridge> | @where books ? |
| 2024-07-15 16:13:12 +0200 | <lambdabot> | https://www.extrema.is/articles/haskell-books is the best list of Haskell books. See also: LYAH, HTAC, RWH, PH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, FSAF, HftVB, TwT, FoP, PFAD, WYAH, |
| 2024-07-15 16:13:12 +0200 | <lambdabot> | non-haskell-books |
| 2024-07-15 16:13:44 +0200 | danse-nr3 | (~danse-nr3@151.43.142.78) |
| 2024-07-15 16:13:53 +0200 | <haskellbridge> | <thirdofmay18081814goya> very nice! ty |
| 2024-07-15 16:15:52 +0200 | nrs | (~nrs@190.16.167.62) (Client Quit) |
| 2024-07-15 16:16:21 +0200 | kuribas | (~user@2a02:1810:2825:6000:96c7:ba09:ec1:1f2b) |
| 2024-07-15 16:17:29 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3409-3073-60ea-f9cf-4f48-225d.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-15 16:20:54 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-15 16:22:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-15 16:23:41 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-07-15 16:23:45 +0200 | califax | (~califax@user/califx) |
| 2024-07-15 16:24:42 +0200 | <tomsmeding> | sm: was that a newline? :p |
| 2024-07-15 16:26:16 +0200 | <haskellbridge> | <sm> my second attempt had a newline yes, trying to put @where at the start of the line (but the bridge ate it) |
| 2024-07-15 16:27:05 +0200 | <tomsmeding> | I'm kind of surprised the bridge even lets you send multiline messages without some identifying prefix on the subsequent lines |
| 2024-07-15 16:27:59 +0200 | <haskellbridge> | <sm> (and third attempt had the newline too, of course. But I think what did it was flattering the robot overlord) |
| 2024-07-15 16:28:12 +0200 | <tomsmeding> | I agree |
| 2024-07-15 16:32:42 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-07-15 16:35:22 +0200 | billchenchina- | (~billchenc@103.118.42.229) (Ping timeout: 268 seconds) |
| 2024-07-15 16:42:02 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-15 16:54:51 +0200 | <haskellbridge> | <mauke> Code injection on IRC? |
| 2024-07-15 16:54:51 +0200 | <haskellbridge> | > () |
| 2024-07-15 16:54:52 +0200 | <lambdabot> | () |
| 2024-07-15 16:55:10 +0200 | <haskellbridge> | <mauke> Haha, foiled by Markdown |
| 2024-07-15 16:55:43 +0200 | <tomsmeding> | seems like it worked though |
| 2024-07-15 16:55:52 +0200 | <haskellbridge> | <mauke> ... or not. That's some split-brain rendering |
| 2024-07-15 16:56:14 +0200 | <tomsmeding> | unless you wanted to do something else than evaluate `()` :p |
| 2024-07-15 16:57:07 +0200 | <haskellbridge> | <mauke> the IRC and Matrix sides seem to have very different ideas about what I'm sending 😄 |
| 2024-07-15 16:57:25 +0200 | danse-nr3 | (~danse-nr3@151.43.142.78) (Ping timeout: 258 seconds) |
| 2024-07-15 16:58:53 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:e986:8b08:7baa:1e2a) (Server closed connection) |
| 2024-07-15 16:59:13 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:d73b:e7c2:b203:47a3) |
| 2024-07-15 17:02:51 +0200 | danse-nr3 | (~danse-nr3@151.43.142.78) |
| 2024-07-15 17:05:42 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-07-15 17:15:07 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 264 seconds) |
| 2024-07-15 17:15:45 +0200 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-07-15 17:17:58 +0200 | CiaoSen | (~Jura@2a05:5800:2b3:8a00:e6b9:7aff:fe80:3d03) (Ping timeout: 265 seconds) |
| 2024-07-15 17:20:45 +0200 | <haskellbridge> | <thirdofmay18081814goya> what's the fmap definition used to parse "(+) <$> (*2)"? |
| 2024-07-15 17:23:47 +0200 | <ncf> | https://hackage.haskell.org/package/ghc-internal-9.1001.0/docs/src/GHC.Internal.Base.html#line-1443 |
| 2024-07-15 17:24:04 +0200 | <ncf> | aka Reader |
| 2024-07-15 17:25:14 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Server closed connection) |
| 2024-07-15 17:25:33 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-15 17:25:33 +0200 | ChanServ | +v haskellbridge |
| 2024-07-15 17:27:00 +0200 | <haskellbridge> | <thirdofmay18081814goya> @irc_libera.chat_ncf:kf8nh.com: hm what did you query hoogle with? |
| 2024-07-15 17:27:29 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-15 17:30:23 +0200 | <ncf> | Functor |
| 2024-07-15 17:30:52 +0200 | <haskellbridge> | <thirdofmay18081814goya> i see, ty! |
| 2024-07-15 17:37:38 +0200 | noctuks | (jNrZ4rwLcI@user/noctux) (Server closed connection) |
| 2024-07-15 17:37:56 +0200 | noctuks | (cYMVlnHrL3@user/noctux) |
| 2024-07-15 17:38:54 +0200 | danse-nr3 | (~danse-nr3@151.43.142.78) (Quit: Leaving) |
| 2024-07-15 17:39:55 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) |
| 2024-07-15 17:40:39 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-07-15 17:46:46 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-07-15 17:47:24 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-15 17:47:36 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) |
| 2024-07-15 17:57:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-15 17:59:26 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 2024-07-15 17:59:51 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-07-15 18:03:59 +0200 | Ekho | (~Ekho@user/ekho) (Server closed connection) |
| 2024-07-15 18:06:39 +0200 | danse-nr3 | (~danse-nr3@151.43.142.78) |
| 2024-07-15 18:10:45 +0200 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2024-07-15 18:13:38 +0200 | <tomsmeding> | this is something that one doesn't need hoogle for when sufficiently used to mental typeclass inference :) |
| 2024-07-15 18:14:15 +0200 | <tomsmeding> | (and the function/Reader Functor/Applicative/Monad instances are well-known for producing pointfree (pointless?) unreadable code) |
| 2024-07-15 18:15:21 +0200 | vulpine | (xfnw@user/meow/xfnw) |
| 2024-07-15 18:24:56 +0200 | Ekho | (~Ekho@user/ekho) |
| 2024-07-15 18:25:53 +0200 | danse-nr3 | (~danse-nr3@151.43.142.78) (Quit: Leaving) |
| 2024-07-15 18:30:03 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-15 18:32:56 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-07-15 18:33:30 +0200 | danse-nr3 | (~danse-nr3@151.43.142.78) |
| 2024-07-15 18:37:11 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 264 seconds) |
| 2024-07-15 18:42:38 +0200 | swistak | (~swistak@185.21.216.141) (Server closed connection) |
| 2024-07-15 18:43:02 +0200 | swistak | (~swistak@185.21.216.141) |
| 2024-07-15 18:44:35 +0200 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) |
| 2024-07-15 18:47:27 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Ping timeout: 246 seconds) |
| 2024-07-15 18:51:12 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-15 18:53:05 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-07-15 18:53:14 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) |
| 2024-07-15 18:55:08 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-15 18:55:21 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) |
| 2024-07-15 18:59:59 +0200 | yin | (~yin@user/zero) |
| 2024-07-15 19:04:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-15 19:18:23 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (Server closed connection) |
| 2024-07-15 19:18:52 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2024-07-15 19:20:00 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 2024-07-15 19:20:24 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-07-15 19:23:02 +0200 | kimiamania | (~65804703@user/kimiamania) (Server closed connection) |
| 2024-07-15 19:23:12 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 2024-07-15 19:23:23 +0200 | kimiamania | (~65804703@user/kimiamania) |
| 2024-07-15 19:23:37 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-07-15 19:26:54 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-15 19:27:41 +0200 | turlando | (~turlando@user/turlando) (Server closed connection) |
| 2024-07-15 19:27:42 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-07-15 19:27:57 +0200 | turlando | (~turlando@user/turlando) |
| 2024-07-15 19:28:04 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) |
| 2024-07-15 19:34:16 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 2024-07-15 19:34:41 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-07-15 19:35:59 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-07-15 19:37:10 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) |
| 2024-07-15 19:37:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-15 19:38:32 +0200 | gentauro | (~gentauro@user/gentauro) (Server closed connection) |
| 2024-07-15 19:38:47 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-07-15 19:40:03 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-07-15 19:40:16 +0200 | ash3en | (~ash3en@2a03:7846:b6eb:101:7abc:9971:7960:b2c8) |
| 2024-07-15 19:42:47 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
| 2024-07-15 19:44:12 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-07-15 19:44:28 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-07-15 19:45:42 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
| 2024-07-15 19:49:38 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-15 19:52:04 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-15 19:52:12 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 2024-07-15 19:55:35 +0200 | petrichor | (~znc-user@user/petrichor) (Server closed connection) |
| 2024-07-15 19:55:54 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-07-15 19:57:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-15 19:59:58 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-15 20:02:07 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-07-15 20:06:26 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-15 20:06:38 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) |
| 2024-07-15 20:07:53 +0200 | Pozyomka | (~pyon@user/pyon) (Server closed connection) |
| 2024-07-15 20:08:11 +0200 | Pozyomka | (~pyon@user/pyon) |
| 2024-07-15 20:11:04 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-07-15 20:11:16 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-15 20:11:47 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) |
| 2024-07-15 20:12:11 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-15 20:13:19 +0200 | danse-nr3 | (~danse-nr3@151.43.142.78) (Ping timeout: 264 seconds) |
| 2024-07-15 20:14:48 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-15 20:17:31 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 258 seconds) |
| 2024-07-15 20:18:06 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-07-15 20:19:37 +0200 | <kqr> | @pl join . fmap f |
| 2024-07-15 20:19:37 +0200 | <lambdabot> | (f =<<) |
| 2024-07-15 20:19:45 +0200 | <kqr> | ...Oh. Of course. |
| 2024-07-15 20:24:27 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-15 20:25:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-07-15 20:25:56 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-07-15 20:26:43 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2024-07-15 20:31:21 +0200 | lewisje | (~lewisje@74.215.19.22) (Quit: Leaving) |
| 2024-07-15 20:32:51 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) |
| 2024-07-15 20:36:05 +0200 | <monochrom> | :) |
| 2024-07-15 20:39:49 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-15 20:44:12 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-07-15 20:50:05 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-15 20:52:31 +0200 | ash3en | (~ash3en@2a03:7846:b6eb:101:7abc:9971:7960:b2c8) (Remote host closed the connection) |
| 2024-07-15 20:52:41 +0200 | ash3en | (~ash3en@2a03:7846:b6eb:101:7abc:9971:7960:b2c8) |
| 2024-07-15 20:52:43 +0200 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) (Remote host closed the connection) |
| 2024-07-15 20:52:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-07-15 20:56:22 +0200 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) (Remote host closed the connection) |
| 2024-07-15 20:59:01 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-07-15 21:01:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-15 21:03:34 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-07-15 21:04:28 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) |
| 2024-07-15 21:09:01 +0200 | ash3en | (~ash3en@2a03:7846:b6eb:101:7abc:9971:7960:b2c8) (Ping timeout: 256 seconds) |
| 2024-07-15 21:12:59 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Server closed connection) |
| 2024-07-15 21:13:24 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) |
| 2024-07-15 21:14:07 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2024-07-15 21:21:06 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-07-15 21:21:20 +0200 | ash3en | (~ash3en@193.32.248.188) |
| 2024-07-15 21:21:45 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-15 21:23:06 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-15 21:23:18 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) |
| 2024-07-15 21:24:45 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-15 21:28:02 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-07-15 21:28:40 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) |
| 2024-07-15 21:28:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2024-07-15 21:33:00 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 2024-07-15 21:40:47 +0200 | zhuberty | (~zhuberty@2605-4A80-2900-CD0-7AD5-1D68-8951-D8B2-dynamic.midco.net) (Changing host) |
| 2024-07-15 21:40:47 +0200 | zhuberty | (~zhuberty@fsf/member/zhuberty) |
| 2024-07-15 21:43:18 +0200 | zhuberty | (~zhuberty@fsf/member/zhuberty) (Quit: Leaving) |
| 2024-07-15 21:45:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-15 21:48:07 +0200 | ash3en | (~ash3en@193.32.248.188) (Remote host closed the connection) |
| 2024-07-15 21:48:30 +0200 | zhuberty | (~zhuberty@fsf/member/zhuberty) |
| 2024-07-15 21:53:28 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-07-15 21:58:31 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-15 21:58:47 +0200 | euleritian | (~euleritia@dynamic-176-003-081-212.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-15 21:59:01 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) |
| 2024-07-15 22:06:05 +0200 | emm | (~emm@user/edmeme) |
| 2024-07-15 22:08:47 +0200 | incertia | (~incertia@209.122.137.252) (Server closed connection) |
| 2024-07-15 22:09:08 +0200 | incertia | (~incertia@209.122.137.252) |
| 2024-07-15 22:15:52 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-07-15 22:17:11 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-07-15 22:20:06 +0200 | <dmj`> | is nikita volkov in here |
| 2024-07-15 22:30:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-15 22:31:05 +0200 | emm | (~emm@user/edmeme) (Read error: Connection reset by peer) |
| 2024-07-15 22:37:55 +0200 | Inst_ | (~Inst@user/Inst) (Ping timeout: 264 seconds) |
| 2024-07-15 22:38:27 +0200 | euleritian | (~euleritia@pd9ebb103.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-07-15 22:38:40 +0200 | <EvanR> | with the real nikita volkov please stand up |
| 2024-07-15 22:44:45 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 2024-07-15 22:48:50 +0200 | dmj` | looks around |
| 2024-07-15 22:59:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-15 23:04:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2024-07-15 23:05:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-15 23:08:34 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-15 23:13:15 +0200 | ystael_ | (~ystael@user/ystael) |
| 2024-07-15 23:15:07 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2024-07-15 23:31:35 +0200 | kuribas | (~user@2a02:1810:2825:6000:96c7:ba09:ec1:1f2b) (Remote host closed the connection) |
| 2024-07-15 23:32:04 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-15 23:52:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-15 23:59:52 +0200 | bearen | (Thunderbir@user/bearen) |