| 2023-08-13 00:00:08 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 00:02:11 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-13 00:08:31 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-13 00:09:54 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Remote host closed the connection) |
| 2023-08-13 00:10:19 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 00:14:36 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-08-13 00:15:12 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-13 00:17:57 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2023-08-13 00:22:49 +0200 | danza_ | (~francesco@151.57.202.242) (Remote host closed the connection) |
| 2023-08-13 00:23:10 +0200 | danza | (~francesco@151.57.202.242) |
| 2023-08-13 00:36:28 +0200 | son0p | (~ff@181.32.134.99) (Ping timeout: 248 seconds) |
| 2023-08-13 00:37:44 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 00:42:52 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-08-13 00:44:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-13 00:46:50 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-13 00:55:24 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-08-13 00:56:25 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f53d1f3494210dbf12e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-08-13 01:06:12 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-13 01:06:13 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-08-13 01:07:56 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 248 seconds) |
| 2023-08-13 01:07:57 +0200 | mauke_ | mauke |
| 2023-08-13 01:11:21 +0200 | danza | (~francesco@151.57.202.242) (Remote host closed the connection) |
| 2023-08-13 01:11:36 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2023-08-13 01:11:42 +0200 | danza | (~francesco@151.57.202.242) |
| 2023-08-13 01:13:52 +0200 | son0p | (~ff@181.32.134.99) |
| 2023-08-13 01:15:05 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-13 01:16:46 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-13 01:16:47 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-13 01:16:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-13 01:20:20 +0200 | danza | (~francesco@151.57.202.242) (Read error: Connection reset by peer) |
| 2023-08-13 01:20:57 +0200 | danza | (~francesco@151.57.96.110) |
| 2023-08-13 01:21:50 +0200 | danza | (~francesco@151.57.96.110) (Remote host closed the connection) |
| 2023-08-13 01:28:16 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-13 01:29:03 +0200 | OscarZ | (~oscarz@95.175.104.241) |
| 2023-08-13 01:33:06 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-13 01:33:06 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-13 01:33:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-13 01:33:58 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-13 01:36:24 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-13 01:45:12 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2023-08-13 01:45:12 +0200 | hiredman_ | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2023-08-13 01:46:16 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-13 01:52:16 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-13 01:56:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f56512c660a08e98e04.dip0.t-ipconnect.de) |
| 2023-08-13 01:58:45 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-13 01:58:45 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-13 01:58:45 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-13 02:00:32 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-13 02:01:12 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-08-13 02:09:13 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-13 02:20:17 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 260 seconds) |
| 2023-08-13 02:22:06 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-13 02:25:25 +0200 | shapr | (~user@2600:1700:c640:3100:4378:cb03:e826:e348) (Remote host closed the connection) |
| 2023-08-13 02:25:38 +0200 | shapr | (~user@2600:1700:c640:3100:582b:9323:a887:ba08) |
| 2023-08-13 02:30:30 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-13 02:31:19 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-13 02:31:19 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-13 02:31:19 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-13 02:34:26 +0200 | bonz060 | (~quassel@2001:bc8:678:1c48::1) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-08-13 02:35:07 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-13 02:35:07 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-13 02:35:07 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-13 02:37:45 +0200 | ft | (~ft@87.122.8.54) (Ping timeout: 244 seconds) |
| 2023-08-13 02:39:34 +0200 | ft | (~ft@i59F54223.versanet.de) |
| 2023-08-13 02:40:53 +0200 | m21it | (~m21it@2800:ac:8000:390a:31f9:eaf5:ad2c:eea2) |
| 2023-08-13 02:41:09 +0200 | <m21it> | Does anybody know native Haskell implementation of Scrypt or Argon2id key derivation function (KDF)? |
| 2023-08-13 02:41:46 +0200 | <Hecate> | m21it: is this for a hobby, purely learning type of project? |
| 2023-08-13 02:42:14 +0200 | <nek0> | m21it: https://hackage.haskell.org/package/cryptonite |
| 2023-08-13 02:42:42 +0200 | <Hecate> | nek0: are you sure this one is not calling to C? |
| 2023-08-13 02:42:48 +0200 | <Hecate> | (also, hi!) |
| 2023-08-13 02:43:01 +0200 | <m21it> | For the hobby, I don't care about efficiency. I think cryptonite does use C. I need the implementation which could work with GHCJS |
| 2023-08-13 02:44:09 +0200 | <nek0> | oh, sry. my bad. cryptonite in fact calls to C |
| 2023-08-13 02:44:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-13 02:45:48 +0200 | <Hecate> | I don't believe these two functions are available purely in Haskell |
| 2023-08-13 02:48:20 +0200 | <nek0> | from a quick glance the library "password" does not seem to include any FFI and does argon2. |
| 2023-08-13 02:48:30 +0200 | <nek0> | https://hackage.haskell.org/package/password |
| 2023-08-13 02:49:27 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-13 02:49:27 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-13 02:49:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-13 02:50:17 +0200 | <nek0> | but I agree with Hecate, It's hard to impossible to find anything cryptography related not using any forms of FFI. Implementing cryptographic algorithms is a non-trivial task. |
| 2023-08-13 02:57:24 +0200 | <m21it> | Thanks for reply, nek0 and Hecate! I'll check this lib. It seems to be dependent on cryptonite, so might not quite work. If it will not work, I might use just HKDF for now.. Are there any disadvantages of using HKDF vs these 2 algos? |
| 2023-08-13 02:58:24 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-13 03:03:10 +0200 | <nek0> | I'm not really into cryptography, so I can't tell. sry. |
| 2023-08-13 03:03:30 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-13 03:03:31 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-13 03:03:31 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-13 03:03:49 +0200 | OscarZ | (~oscarz@95.175.104.241) (Quit: Leaving) |
| 2023-08-13 03:04:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-13 03:10:21 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-13 03:14:14 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2023-08-13 03:15:56 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2023-08-13 03:15:57 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-13 03:16:28 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-13 03:17:38 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-13 03:21:54 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-13 03:21:54 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-13 03:21:54 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-13 03:31:23 +0200 | razetime | (~quassel@117.254.36.209) |
| 2023-08-13 03:31:26 +0200 | Deepak | (~Deepak@pool-71-174-119-173.bstnma.fios.verizon.net) |
| 2023-08-13 03:31:45 +0200 | Deepak | (~Deepak@pool-71-174-119-173.bstnma.fios.verizon.net) () |
| 2023-08-13 03:32:18 +0200 | Deepak111 | (~Deepak111@pool-71-174-119-173.bstnma.fios.verizon.net) |
| 2023-08-13 03:36:45 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-13 03:43:15 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-13 03:43:15 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-13 03:43:15 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-13 03:47:07 +0200 | shapr | (~user@2600:1700:c640:3100:582b:9323:a887:ba08) (Remote host closed the connection) |
| 2023-08-13 03:47:20 +0200 | shapr | (~user@2600:1700:c640:3100:d4cf:7115:629f:2b3c) |
| 2023-08-13 03:51:38 +0200 | Square | (~Square@user/square) |
| 2023-08-13 03:53:30 +0200 | m21it | (~m21it@2800:ac:8000:390a:31f9:eaf5:ad2c:eea2) (Remote host closed the connection) |
| 2023-08-13 03:57:05 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 04:01:16 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds) |
| 2023-08-13 04:02:00 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-13 04:07:52 +0200 | razetime | (~quassel@117.254.36.209) (Ping timeout: 245 seconds) |
| 2023-08-13 04:13:28 +0200 | razetime | (~quassel@117.254.36.209) |
| 2023-08-13 04:15:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-08-13 04:16:03 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-13 04:16:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-13 04:16:36 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection) |
| 2023-08-13 04:16:49 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-13 04:22:01 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-08-13 04:27:24 +0200 | td_ | (~td@i53870938.versanet.de) (Ping timeout: 248 seconds) |
| 2023-08-13 04:29:30 +0200 | td_ | (~td@i53870924.versanet.de) |
| 2023-08-13 04:30:08 +0200 | hexology | (~hexology@user/hexology) (Quit: hex on you ...) |
| 2023-08-13 04:33:34 +0200 | shapr | (~user@2600:1700:c640:3100:d4cf:7115:629f:2b3c) (Ping timeout: 256 seconds) |
| 2023-08-13 04:37:32 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 2023-08-13 04:47:51 +0200 | razetime | (~quassel@117.254.36.209) (Ping timeout: 260 seconds) |
| 2023-08-13 04:54:20 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-13 04:54:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-13 04:54:20 +0200 | finn_elija | FinnElija |
| 2023-08-13 04:59:28 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-13 05:00:03 +0200 | haasn` | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2023-08-13 05:00:30 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-13 05:03:51 +0200 | Rydwxz | (~rw@cpe-75-82-51-90.socal.res.rr.com) |
| 2023-08-13 05:08:48 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2023-08-13 05:09:41 +0200 | razetime | (~quassel@117.254.36.209) |
| 2023-08-13 05:14:14 +0200 | aforemny | (~aforemny@2001:9e8:6cc7:fa00:b189:f554:b50a:b107) |
| 2023-08-13 05:14:55 +0200 | aforemny_ | (~aforemny@i59F516D9.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-13 05:24:01 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-13 05:24:22 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-13 05:36:44 +0200 | razetime | (~quassel@117.254.36.209) (Ping timeout: 248 seconds) |
| 2023-08-13 05:42:42 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-13 05:45:28 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-13 05:46:58 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-13 05:46:59 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-13 05:46:59 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-13 05:50:03 +0200 | myme | (~myme@2a01:799:d60:e400:f52f:533:322f:2121) (Ping timeout: 246 seconds) |
| 2023-08-13 05:50:04 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 2023-08-13 05:51:11 +0200 | myme | (~myme@2a01:799:d60:e400:4a23:a534:a4cd:8840) |
| 2023-08-13 05:53:28 +0200 | npmania | (~Thunderbi@146.70.199.140) |
| 2023-08-13 05:55:56 +0200 | npmania | (~Thunderbi@146.70.199.140) (Client Quit) |
| 2023-08-13 06:08:21 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-08-13 06:16:35 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0:1bd0:42c3:88b1:39b1) |
| 2023-08-13 06:18:17 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-08-13 06:23:02 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0:1bd0:42c3:88b1:39b1) (Remote host closed the connection) |
| 2023-08-13 06:25:18 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0:546:d18f:28e5:9197) |
| 2023-08-13 06:29:45 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 246 seconds) |
| 2023-08-13 06:32:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-13 06:56:47 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-13 06:58:19 +0200 | trev | (~trev@user/trev) |
| 2023-08-13 07:03:12 +0200 | trev | (~trev@user/trev) (Ping timeout: 260 seconds) |
| 2023-08-13 07:07:39 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-13 07:13:11 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-13 07:15:15 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-13 07:17:57 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2023-08-13 07:20:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-13 07:20:15 +0200 | Inst | (~liamzy@2601:6c4:4081:2fc0:546:d18f:28e5:9197) (Remote host closed the connection) |
| 2023-08-13 07:21:16 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2023-08-13 07:24:08 +0200 | Rydwxz | (~rw@cpe-75-82-51-90.socal.res.rr.com) (Quit: Lost terminal) |
| 2023-08-13 07:31:54 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 07:36:14 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-08-13 07:37:30 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-08-13 07:42:42 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-13 07:48:13 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-08-13 07:48:45 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-13 07:50:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-13 07:57:13 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-13 08:04:24 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-08-13 08:25:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 2023-08-13 08:28:58 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-13 08:28:59 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-13 08:28:59 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-13 08:36:55 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-13 08:42:20 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 2023-08-13 08:43:19 +0200 | NewtonTrendy | (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 2023-08-13 08:45:17 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 260 seconds) |
| 2023-08-13 08:47:11 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-13 08:47:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-13 08:47:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-13 08:47:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-13 08:48:23 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-13 08:49:05 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-13 08:56:07 +0200 | lottaquestions | (~nick@2607:fa49:503d:b200:e221:b989:4196:1291) |
| 2023-08-13 08:56:27 +0200 | misterfish | (~misterfis@46.44.172.198) |
| 2023-08-13 08:58:01 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:a3d5:6082:acef:ed36) (Ping timeout: 244 seconds) |
| 2023-08-13 09:09:32 +0200 | kraftwerk28 | (~kraftwerk@164.92.219.160) (Ping timeout: 248 seconds) |
| 2023-08-13 09:09:41 +0200 | kraftwerk28_ | (~kraftwerk@164.92.219.160) |
| 2023-08-13 09:09:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-13 09:10:09 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-08-13 09:15:40 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 09:15:41 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2023-08-13 09:16:03 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-08-13 09:24:11 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-13 09:30:05 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-08-13 09:32:34 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 09:35:29 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-13 09:37:35 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-13 09:42:22 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-13 09:49:24 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-13 09:55:25 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-13 09:57:21 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-13 09:57:45 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 10:03:19 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-13 10:04:46 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-08-13 10:05:32 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2023-08-13 10:17:35 +0200 | mmhat | (~mmh@p200300f1c70427f1ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-13 10:20:02 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2023-08-13 10:21:28 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-13 10:34:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-13 10:34:18 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-13 10:38:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-13 10:39:27 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-13 10:40:30 +0200 | talismanick | (~user@2601:204:ef80:2980::c39) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2023-08-13 10:42:52 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 248 seconds) |
| 2023-08-13 10:43:26 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-13 10:44:52 +0200 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-08-13 10:47:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-13 10:48:44 +0200 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 248 seconds) |
| 2023-08-13 10:56:45 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2023-08-13 10:57:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-13 11:10:42 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 11:12:10 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) |
| 2023-08-13 11:13:04 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-13 11:14:07 +0200 | razetime | (~quassel@117.254.36.209) |
| 2023-08-13 11:14:18 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-08-13 11:16:57 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-13 11:17:37 +0200 | razetime | (~quassel@117.254.36.209) (Remote host closed the connection) |
| 2023-08-13 11:18:55 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-13 11:22:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-13 11:23:48 +0200 | Guest3805 | sand-witch |
| 2023-08-13 11:27:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-13 11:28:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-13 11:29:56 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-13 11:30:48 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-13 11:32:13 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-13 11:32:14 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-13 11:37:01 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-13 11:39:47 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 11:44:22 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-13 11:45:56 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 256 seconds) |
| 2023-08-13 11:53:09 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-13 11:53:11 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-13 11:54:26 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2023-08-13 11:54:30 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-08-13 12:01:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-13 12:02:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-13 12:06:43 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-13 12:12:12 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-13 12:22:16 +0200 | ripspin | (~chatzilla@1.145.158.179) |
| 2023-08-13 12:28:50 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 12:30:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:846:1fe1:eed8:5e0) (Remote host closed the connection) |
| 2023-08-13 12:34:40 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-08-13 12:36:49 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-13 12:37:26 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-13 12:41:00 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-13 12:41:59 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-13 12:53:50 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-13 12:57:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-13 13:01:53 +0200 | mrmr | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2023-08-13 13:02:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-13 13:05:39 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-13 13:13:52 +0200 | mrmr1 | (~mrmr@user/mrmr) |
| 2023-08-13 13:14:15 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2023-08-13 13:25:04 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2023-08-13 13:30:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e40a:b120:f9ed:bec2) |
| 2023-08-13 13:35:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e40a:b120:f9ed:bec2) (Ping timeout: 256 seconds) |
| 2023-08-13 13:41:21 +0200 | nick4 | (~nick@12.106.116.10) (Ping timeout: 246 seconds) |
| 2023-08-13 13:43:25 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-13 13:47:14 +0200 | kevindfff | (~kevindfff@193.207.118.68) |
| 2023-08-13 13:48:50 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f56512c660a08e98e04.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-13 13:49:36 +0200 | kevindfff | (~kevindfff@193.207.118.68) (Quit: Quit) |
| 2023-08-13 13:51:44 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds) |
| 2023-08-13 14:07:28 +0200 | mmhat | (~mmh@p200300f1c70427f1ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.3) |
| 2023-08-13 14:26:50 +0200 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) |
| 2023-08-13 14:31:16 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-13 14:32:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-13 14:42:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-13 14:44:59 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-13 14:46:08 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2023-08-13 14:46:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-13 14:54:58 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-13 15:11:51 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-13 15:12:10 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-13 15:12:45 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-13 15:16:21 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-13 15:18:10 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-13 15:18:28 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-13 15:22:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-08-13 15:23:48 +0200 | ddellacosta | (~ddellacos@146.70.165.155) |
| 2023-08-13 15:26:59 +0200 | ksqsf | (~user@2409:8a70:3c10:4270:dc04:3d96:f879:e8bf) |
| 2023-08-13 15:32:06 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-13 15:48:04 +0200 | ksqsf | (~user@2409:8a70:3c10:4270:dc04:3d96:f879:e8bf) (Remote host closed the connection) |
| 2023-08-13 15:48:48 +0200 | ksqsf | (~user@111.18.136.60) |
| 2023-08-13 16:06:05 +0200 | Deepak111 | (~Deepak111@pool-71-174-119-173.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2023-08-13 16:06:50 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-13 16:07:53 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-13 16:09:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-13 16:13:09 +0200 | Deepak111 | (~Deepak111@pool-71-174-119-173.bstnma.fios.verizon.net) |
| 2023-08-13 16:13:58 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-13 16:13:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-13 16:13:59 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-13 16:15:23 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-13 16:16:54 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-13 16:27:56 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-13 16:30:51 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-08-13 16:31:24 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f56c8058c017de71b95.dip0.t-ipconnect.de) |
| 2023-08-13 16:32:57 +0200 | misterfish | (~misterfis@178.228.200.47) |
| 2023-08-13 16:38:42 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2340-1e7d-18d5-986c-7379-45c0.rev.sfr.net) |
| 2023-08-13 16:46:26 +0200 | ddellacosta | (~ddellacos@146.70.165.155) (Quit: WeeChat 4.0.2) |
| 2023-08-13 16:48:05 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2340-1e7d-18d5-986c-7379-45c0.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2023-08-13 16:49:14 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 2023-08-13 16:51:36 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-13 16:51:41 +0200 | ddellacosta | (~ddellacos@143.244.47.71) |
| 2023-08-13 17:09:29 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-13 17:09:55 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-13 17:15:26 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2023-08-13 17:21:01 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-13 17:21:04 +0200 | ripspin | (~chatzilla@1.145.158.179) (Remote host closed the connection) |
| 2023-08-13 17:22:32 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Ping timeout: 256 seconds) |
| 2023-08-13 17:28:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-13 17:32:34 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-13 17:34:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) |
| 2023-08-13 17:35:45 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-13 17:38:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-13 17:38:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) (Ping timeout: 246 seconds) |
| 2023-08-13 17:42:54 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-08-13 17:50:38 +0200 | ksqsf | (~user@111.18.136.60) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1.50)) |
| 2023-08-13 17:56:18 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-13 17:56:28 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-08-13 17:58:33 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-13 18:01:05 +0200 | ddellacosta | (~ddellacos@143.244.47.71) (Quit: WeeChat 4.0.3) |
| 2023-08-13 18:11:46 +0200 | gaff | (~gaff@49.207.220.61) |
| 2023-08-13 18:11:56 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 2023-08-13 18:12:26 +0200 | Deepak111 | (~Deepak111@pool-71-174-119-173.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2023-08-13 18:13:00 +0200 | misterfish | (~misterfis@178.228.200.47) (Ping timeout: 248 seconds) |
| 2023-08-13 18:15:59 +0200 | <gaff> | In GHCi, if you load a package and hit `:browse`, would you see value constructors of a data type even though the library only exports the type constructor and therefore you wouldn't be able to use the value constructor? |
| 2023-08-13 18:16:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-13 18:17:18 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-08-13 18:18:38 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Ping timeout: 256 seconds) |
| 2023-08-13 18:19:34 +0200 | <[exa]> | gaff: not sure, did you try? |
| 2023-08-13 18:24:32 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-08-13 18:25:17 +0200 | <gaff> | yes, i did. and GHCi does this: if you did `:browse` after loading the package, it displays value constructors of types even when the library exports only the type constructors. however, if you try to use the value constructor, GHCi then says the value constructor is not in scope. |
| 2023-08-13 18:26:37 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-13 18:28:52 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-13 18:29:03 +0200 | <gaff> | for example, if a library has defined the data type `data Foo = Foo String String` and exports only the type constructor `Foo`, in GHCi, if you load the package, and hit `:browse`, you will see, at least I do, the full definition `data Foo = Foo String String` but you will not be able use the value constructor `Foo` . |
| 2023-08-13 18:30:06 +0200 | <int-e> | It will use the fully qualified name for `Foo` though. |
| 2023-08-13 18:30:55 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-13 18:31:00 +0200 | <int-e> | So that's a hint that it may be inaccessible. |
| 2023-08-13 18:33:45 +0200 | <gaff> | int-e: OK, you mean by "qualified name" it will display something like `data Foo = X.Y.Foo String String`? |
| 2023-08-13 18:33:53 +0200 | <int-e> | yes |
| 2023-08-13 18:34:06 +0200 | <gaff> | ah ok, it surely does that. |
| 2023-08-13 18:34:53 +0200 | <gaff> | what does the qualified name indicate here? |
| 2023-08-13 18:35:50 +0200 | <int-e> | As to why GHCi has that information... I believe that GHC stores this information in .hi files to enable cross-module inlining for functions that use those "internal" constructors. And for GHCi the developers just decided not to hide that information from the user. |
| 2023-08-13 18:36:08 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-13 18:36:10 +0200 | ddellacosta | (~ddellacos@146.70.171.155) |
| 2023-08-13 18:36:16 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-13 18:37:55 +0200 | <int-e> | gaff: GHCi uses the fully qualified name if the constructor is inaccessible. But that's indistinguishable from the case that the constructor is accessible but only by the fully qualified name (because you used `import qualified X.Y`) |
| 2023-08-13 18:38:15 +0200 | <int-e> | So it's really just a hint. |
| 2023-08-13 18:38:36 +0200 | <gaff> | int-e: i see. thank you. |
| 2023-08-13 18:39:39 +0200 | <gaff> | i was confused by it initially which is why i asked this stuff here in this IRC channel. |
| 2023-08-13 18:40:37 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) |
| 2023-08-13 18:41:17 +0200 | <int-e> | no worries |
| 2023-08-13 18:41:31 +0200 | <gaff> | int-e: thanks much for your help |
| 2023-08-13 18:42:31 +0200 | <EvanR> | brain size 1: just export everything. brain size 2: they might violate your invariants so hide the constructors and internal functions. brain size 3: now someone is stuck because they can't access internal stuff for hacks, create a separate Internals module |
| 2023-08-13 18:42:40 +0200 | <EvanR> | galaxy brain: just export everything xD |
| 2023-08-13 18:44:06 +0200 | Vajb | (~Vajb@2001:999:58d:647c:664f:4b4f:efff:9b44) (Ping timeout: 246 seconds) |
| 2023-08-13 18:44:25 +0200 | gaff | (~gaff@49.207.220.61) () |
| 2023-08-13 18:46:25 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 240 seconds) |
| 2023-08-13 18:47:22 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-13 18:50:35 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-13 18:51:39 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f43a:3bed:72de:aa73) |
| 2023-08-13 18:56:23 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-13 19:02:04 +0200 | <monochrom> | Unpopular opinion: For the question "how to represent an infinite set?" a legitimate answer is "()" because it was unspecified what to do with the infinite set. |
| 2023-08-13 19:02:55 +0200 | <monochrom> | IOW if you don't export anything accept the type name, its implementation can be safely (). |
| 2023-08-13 19:03:24 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds) |
| 2023-08-13 19:03:32 +0200 | NewtonTrendy | (uid282092@user/bopqod) |
| 2023-08-13 19:03:47 +0200 | int-e | stares into the Void |
| 2023-08-13 19:04:35 +0200 | <monochrom> | But Void is when you export impossibily powerful functions! :) |
| 2023-08-13 19:04:36 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-13 19:06:12 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2023-08-13 19:06:32 +0200 | <EvanR> | since you specified a "set" that comes with features |
| 2023-08-13 19:06:46 +0200 | <EvanR> | classically speaking |
| 2023-08-13 19:06:56 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2023-08-13 19:07:23 +0200 | Vajb | (~Vajb@2001:999:489:74bc:8e7:73bb:7236:fd81) |
| 2023-08-13 19:07:24 +0200 | <EvanR> | like the axiom of choice |
| 2023-08-13 19:07:25 +0200 | <monochrom> | Yeah I don't do that to finite sets. But with infinite sets you must give up something, and so you must specify what not to give up. |
| 2023-08-13 19:08:31 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-08-13 19:09:24 +0200 | <int-e> | so you decided to give up on membership tests, enumeration, test for emptiness. you still support insertion, intersection, union... |
| 2023-08-13 19:09:45 +0200 | <monochrom> | :) |
| 2023-08-13 19:13:00 +0200 | <EvanR> | give up everything except the paradoxes of set theory |
| 2023-08-13 19:13:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-13 19:14:11 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-13 19:18:46 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-08-13 19:24:17 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-13 19:25:01 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-13 19:34:37 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 2023-08-13 19:36:43 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-08-13 19:37:07 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-13 19:38:48 +0200 | yoyofreeman | (~yoyofreem@36.44.142.173) |
| 2023-08-13 19:44:39 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-08-13 19:47:08 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-13 19:51:49 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-13 19:51:50 +0200 | robertm | (robertm@lattice.rojoma.com) (Quit: ...) |
| 2023-08-13 19:52:17 +0200 | <EvanR> | jargon question. if you have types A and B, there is a type A x B with name product type. The elements or values or inhabitants etc of A x B are pairs |
| 2023-08-13 19:52:42 +0200 | <EvanR> | A + B is the sum type. What are the elements, values, etc called |
| 2023-08-13 19:53:02 +0200 | <anselmschueler> | Is there a list of the GHC CPP flags & does Cabal set any? |
| 2023-08-13 19:53:20 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2023-08-13 19:53:32 +0200 | <anselmschueler> | Also, can you use an if clause in a Cabal file to conditionally set the default value of a flag? |
| 2023-08-13 19:54:08 +0200 | <anselmschueler> | In particular, does setting a flag in Cabal set a CPP macro? |
| 2023-08-13 19:55:51 +0200 | robertm | (robertm@lattice.rojoma.com) |
| 2023-08-13 19:56:08 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-08-13 19:56:21 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2341-4bea-0076-737c-d43a-827a.rev.sfr.net) |
| 2023-08-13 19:57:10 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-13 19:57:40 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 2023-08-13 20:00:12 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 246 seconds) |
| 2023-08-13 20:02:41 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-08-13 20:03:24 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-13 20:03:57 +0200 | <merijn> | anselmschueler: You can conditionally (via if in cabal file) specify ghc-options and GHC options can set CPP defines |
| 2023-08-13 20:04:00 +0200 | <merijn> | via -D |
| 2023-08-13 20:04:34 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-08-13 20:05:10 +0200 | <merijn> | anselmschueler: Also, note that cabal flags are intended compile plans, not toggle features, so the default flags are "automatic" which means that "if no build plan is found, cabal will start toggling automatic flags and see if that results in a build plan" |
| 2023-08-13 20:08:12 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-13 20:09:25 +0200 | <anselmschueler> | I see |
| 2023-08-13 20:12:27 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-13 20:13:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-13 20:13:32 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2023-08-13 20:16:24 +0200 | <tomsmeding> | EvanR: in category theory both are pairs -- the latter a dependent pair of the tag and the value (i.e. fields) :p |
| 2023-08-13 20:17:23 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-08-13 20:17:43 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-08-13 20:19:46 +0200 | <ncf> | in category theory neither are pairs, because "pair" refers to a choice of encoding |
| 2023-08-13 20:19:57 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 246 seconds) |
| 2023-08-13 20:20:26 +0200 | <ncf> | in set theory or type theory, i guess both are typically encoded as pairs, but i don't think there's an actual name for an element of A + B |
| 2023-08-13 20:20:59 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 246 seconds) |
| 2023-08-13 20:22:21 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-13 20:23:02 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-13 20:23:55 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-13 20:24:07 +0200 | <EvanR> | look what you did tomsmeding |
| 2023-08-13 20:25:10 +0200 | telser | (~quassel@user/telser) (Read error: Connection reset by peer) |
| 2023-08-13 20:25:45 +0200 | <EvanR> | proof by nlab "A pair is usually an n-tuple for n=2, that is an ordered pair. Such a pair is a term of product type, an element of a Cartesian product, a generalized element of a product object, etc." |
| 2023-08-13 20:27:04 +0200 | <EvanR> | and to see what it makes of sum types... In type theory a sum type of two types A and B (really: coproduct) is the type whose terms are either terms a:A or terms b:B. |
| 2023-08-13 20:27:21 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2023-08-13 20:27:26 +0200 | <hpc> | this confusion is why we should use C++ terrminology - A*B is a vector and A+B is an interface |
| 2023-08-13 20:27:29 +0200 | <hpc> | easy :D |
| 2023-08-13 20:28:17 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-13 20:28:34 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-13 20:28:51 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-13 20:29:13 +0200 | <EvanR> | just when I think I might understand something, C++ happens |
| 2023-08-13 20:29:35 +0200 | ksqsf | (~user@111.18.136.60) |
| 2023-08-13 20:29:35 +0200 | <ncf> | huh |
| 2023-08-13 20:32:21 +0200 | <mauke> | I thought in C++ terminology a "vector" was a dynamic array and A*A was a "valarray" |
| 2023-08-13 20:34:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-13 20:34:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-13 20:34:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-13 20:35:28 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-08-13 20:36:47 +0200 | <anselmschueler> | How about C terminology |
| 2023-08-13 20:37:02 +0200 | <anselmschueler> | Wouldn’t A×B be a struct, and A+B a union? |
| 2023-08-13 20:37:41 +0200 | <tomsmeding> | mauke: er, 'array' right, not 'valarray'? |
| 2023-08-13 20:37:48 +0200 | <tomsmeding> | anselmschueler: tagged union |
| 2023-08-13 20:37:55 +0200 | <anselmschueler> | tomsmeding: oh right |
| 2023-08-13 20:38:00 +0200 | <EvanR> | untagged union also works xD |
| 2023-08-13 20:38:26 +0200 | <EvanR> | if used correctly |
| 2023-08-13 20:38:46 +0200 | <anselmschueler> | installing GHC on Windows takes a whil |
| 2023-08-13 20:38:48 +0200 | telser | (~quassel@user/telser) |
| 2023-08-13 20:38:49 +0200 | <tomsmeding> | EvanR: how do you use union {int a; int b;}; correctly? |
| 2023-08-13 20:38:55 +0200 | <EvanR> | very carefully |
| 2023-08-13 20:39:14 +0200 | <mauke> | tomsmeding: not in C++98! or C++03, probably |
| 2023-08-13 20:39:28 +0200 | <EvanR> | obviously, not by inspecting the tag, which I erased for you |
| 2023-08-13 20:39:44 +0200 | <mauke> | tomsmeding: all uses of that union are correct |
| 2023-08-13 20:39:45 +0200 | <glguy> | You just remember which field is the valid one. If you're not sure then ask the user! |
| 2023-08-13 20:39:47 +0200 | <anselmschueler> | mauke: is union casting UB in C++? |
| 2023-08-13 20:39:57 +0200 | <mauke> | oof |
| 2023-08-13 20:39:57 +0200 | <tomsmeding> | mauke: a valarray is homogeneous |
| 2023-08-13 20:40:19 +0200 | <mauke> | anselmschueler: depends on what you mean by that |
| 2023-08-13 20:40:54 +0200 | <glguy> | > It is undefined behavior to read from the member of the union that wasn't most recently written. Many compilers implement, as a non-standard language extension, the ability to read inactive members of a union. -- https://en.cppreference.com/w/cpp/language/union |
| 2023-08-13 20:41:14 +0200 | <anselmschueler> | glguy: is the same thing true of C? |
| 2023-08-13 20:41:16 +0200 | <mauke> | ooh |
| 2023-08-13 20:41:17 +0200 | <EvanR> | as usual, you have a proof somewhere that you only access the union member that was properly initialized earlier |
| 2023-08-13 20:41:30 +0200 | <EvanR> | don't lose that proof or forget to prove it |
| 2023-08-13 20:41:42 +0200 | <glguy> | anselmschueler: it got defined in C99 |
| 2023-08-13 20:41:48 +0200 | <glguy> | https://en.cppreference.com/w/c/language/union |
| 2023-08-13 20:41:59 +0200 | <glguy> | look for "If the member used to access the contents of a union is not the same "... |
| 2023-08-13 20:43:14 +0200 | <anselmschueler> | glguy: what is a “trap representation”? |
| 2023-08-13 20:43:16 +0200 | <mauke> | glguy: immediately contradicted further down by "If two union members are standard-layout types, it's well-defined to examine their common subsequence on any compiler." |
| 2023-08-13 20:43:35 +0200 | <mauke> | and int is standard-layout |
| 2023-08-13 20:44:14 +0200 | <glguy> | mauke: so it is |
| 2023-08-13 20:44:50 +0200 | <anselmschueler> | mauke: is that just because it _happens_ to be that _every_ compiler implements it or is it in the standard? |
| 2023-08-13 20:45:04 +0200 | <EvanR> | or both |
| 2023-08-13 20:45:35 +0200 | <glguy> | Seems like 1) in general you can't 2) special case: if the types are standard-layout, you can |
| 2023-08-13 20:46:09 +0200 | <mauke> | the general case isn't even well defined |
| 2023-08-13 20:46:14 +0200 | <anselmschueler> | can you use GHC on Windows w/o MinGW? |
| 2023-08-13 20:47:08 +0200 | <mauke> | union { int a, b; } u; int *ptr = &u.b; u.a = 42; printf("%d\n", *ptr); // is this UB? |
| 2023-08-13 20:47:10 +0200 | <glguy> | mauke: the common subsequence clause doesn't allow for the "type-punning", it would seem, that c99 defines |
| 2023-08-13 20:47:24 +0200 | <mauke> | union { int a, b; } u; int *ptr = &u.b; u.a = 42; if (ptr == &u.a) { printf("%d\n", *ptr); } // what about now? |
| 2023-08-13 20:48:25 +0200 | <anselmschueler> | glguy: oh does “common subsequence” mean when the values are identitical_ between them? |
| 2023-08-13 20:48:47 +0200 | <glguy> | I think it means when the types are identical, like two structs, one with more fields than the other but the same initial fields |
| 2023-08-13 20:49:46 +0200 | <glguy> | mauke: c++14 defined that the address of the two members would be the same, so your == check is probably well defined there |
| 2023-08-13 20:50:03 +0200 | <glguy> | if we use a late enough version |
| 2023-08-13 20:52:06 +0200 | <glguy> | mauke: your example doesn't violate a strict aliasing rule with both things being the same type, so I wouldn't be surprised to find out that it's OK to do that |
| 2023-08-13 20:53:13 +0200 | <EvanR> | defined behavior is great |
| 2023-08-13 20:54:03 +0200 | <EvanR> | I think it's funny that the implication above is that "not undefined" behavior is OK |
| 2023-08-13 21:02:22 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-08-13 21:03:59 +0200 | <dolio> | "not undefined" could also be implementation defined, but not completely specified by the standard. |
| 2023-08-13 21:04:21 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection) |
| 2023-08-13 21:04:49 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-13 21:05:25 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-13 21:12:50 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.3) |
| 2023-08-13 21:13:12 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-13 21:14:11 +0200 | mikoto-chan | (~mikoto-ch@83.134.209.157) |
| 2023-08-13 21:14:37 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 2023-08-13 21:16:13 +0200 | ksqsf | (~user@111.18.136.60) (Remote host closed the connection) |
| 2023-08-13 21:22:27 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 260 seconds) |
| 2023-08-13 21:23:34 +0200 | michalz | (~michalz@185.246.207.222) |
| 2023-08-13 21:27:23 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-08-13 21:28:42 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-13 21:36:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-13 21:38:41 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 2023-08-13 21:38:49 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-13 21:39:32 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-13 21:42:06 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-13 21:43:06 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-13 21:44:22 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-13 21:50:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-13 21:57:42 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-13 21:58:12 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-13 21:58:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2341-4bea-0076-737c-d43a-827a.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2023-08-13 22:00:34 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-13 22:01:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-13 22:01:55 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Client Quit) |
| 2023-08-13 22:02:26 +0200 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) (Quit: leaving) |
| 2023-08-13 22:10:16 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-08-13 22:10:18 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-13 22:11:14 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-13 22:12:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-13 22:21:28 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-08-13 22:27:45 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-13 22:28:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-13 22:29:55 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2341-af29-1ced-5722-2e92-d824.rev.sfr.net) |
| 2023-08-13 22:36:20 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (Ping timeout: 245 seconds) |
| 2023-08-13 22:43:12 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) () |
| 2023-08-13 22:43:38 +0200 | Guest63 | (~Guest63@188.124.141.134) |
| 2023-08-13 22:46:51 +0200 | Guest63 | (~Guest63@188.124.141.134) (Client Quit) |
| 2023-08-13 22:47:33 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-13 22:50:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-13 22:55:48 +0200 | Guest3109 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-08-13 22:57:48 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-13 23:00:58 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-13 23:07:47 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-13 23:18:46 +0200 | yoyofreeman | (~yoyofreem@36.44.142.173) (Read error: Connection reset by peer) |
| 2023-08-13 23:19:36 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2023-08-13 23:23:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-08-13 23:26:08 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-13 23:34:24 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-13 23:35:44 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-13 23:36:32 +0200 | yoyofreeman | (~yoyofreem@117.39.35.76) |
| 2023-08-13 23:37:54 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-13 23:38:45 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-08-13 23:42:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-13 23:43:06 +0200 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2023-08-13 23:46:41 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2341-af29-1ced-5722-2e92-d824.rev.sfr.net) (Ping timeout: 246 seconds) |