| 2024-06-28 00:01:02 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-06-28 00:07:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-28 00:14:10 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-06-28 00:18:45 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2024-06-28 00:25:19 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc25e45fde1d7555be75.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-06-28 00:28:17 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:e553:b055:93c0:74f3) |
| 2024-06-28 00:32:09 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2024-06-28 00:33:51 +0200 | Pozyomka | (~pyon@user/pyon) |
| 2024-06-28 00:34:14 +0200 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-28 00:34:53 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-06-28 00:36:10 +0200 | euleritian | (~euleritia@176.2.74.187) (Ping timeout: 246 seconds) |
| 2024-06-28 00:36:41 +0200 | euleritian | (~euleritia@dynamic-176-001-215-001.176.1.pool.telefonica.de) |
| 2024-06-28 00:39:31 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:e553:b055:93c0:74f3) (Quit: Konversation terminated!) |
| 2024-06-28 00:40:58 +0200 | zzz | (~yin@user/zero) |
| 2024-06-28 00:46:17 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-06-28 00:46:17 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-06-28 00:46:17 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
| 2024-06-28 00:46:57 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-28 00:46:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-06-28 00:47:00 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-28 00:48:47 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-28 00:51:37 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:318:df9:bae4:1644) |
| 2024-06-28 00:55:08 +0200 | euleritian | (~euleritia@dynamic-176-001-215-001.176.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-06-28 00:58:40 +0200 | euleritian | (~euleritia@dynamic-176-003-010-192.176.3.pool.telefonica.de) |
| 2024-06-28 01:10:27 +0200 | euleritian | (~euleritia@dynamic-176-003-010-192.176.3.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-06-28 01:10:50 +0200 | euleritian | (~euleritia@dynamic-176-001-135-200.176.1.pool.telefonica.de) |
| 2024-06-28 01:15:27 +0200 | euleritian | (~euleritia@dynamic-176-001-135-200.176.1.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-06-28 01:17:56 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-28 01:30:14 +0200 | euleritian | (~euleritia@dynamic-176-003-011-227.176.3.pool.telefonica.de) |
| 2024-06-28 01:36:12 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-06-28 01:36:26 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-28 01:39:51 +0200 | euleritian | (~euleritia@dynamic-176-003-011-227.176.3.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-06-28 01:40:00 +0200 | euleritian | (~euleritia@dynamic-176-004-183-191.176.4.pool.telefonica.de) |
| 2024-06-28 01:40:46 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4) (Ping timeout: 268 seconds) |
| 2024-06-28 01:53:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4) |
| 2024-06-28 01:53:26 +0200 | euleritian | (~euleritia@dynamic-176-004-183-191.176.4.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-06-28 01:59:24 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:fbfc:6d96:4d1:519b) |
| 2024-06-28 02:08:42 +0200 | euleritian | (~euleritia@dynamic-176-002-001-235.176.2.pool.telefonica.de) |
| 2024-06-28 02:09:12 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-06-28 02:11:17 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-28 02:16:29 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-06-28 02:26:03 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds) |
| 2024-06-28 02:30:54 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-28 02:31:23 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-28 03:15:26 +0200 | puke | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2024-06-28 03:17:36 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 252 seconds) |
| 2024-06-28 03:20:38 +0200 | FragByte | (~christian@user/fragbyte) |
| 2024-06-28 03:31:50 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-06-28 03:32:30 +0200 | euleritian | (~euleritia@dynamic-176-002-001-235.176.2.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-06-28 03:35:18 +0200 | euleritian | (~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de) |
| 2024-06-28 03:35:28 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 2024-06-28 03:39:34 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-06-28 03:42:15 +0200 | euleritian | (~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-28 03:43:12 +0200 | euleritian | (~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de) |
| 2024-06-28 03:49:14 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-28 03:51:18 +0200 | lockywolf | (~lockywolf@public.lockywolf.net) |
| 2024-06-28 03:56:33 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4) (Ping timeout: 255 seconds) |
| 2024-06-28 04:09:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-06-28 04:13:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-28 04:20:24 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-06-28 04:22:19 +0200 | euleritian | (~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-06-28 04:24:18 +0200 | euleritian | (~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de) |
| 2024-06-28 04:32:46 +0200 | euleritian | (~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-06-28 04:33:33 +0200 | euleritian | (~euleritia@dynamic-176-002-128-067.176.2.pool.telefonica.de) |
| 2024-06-28 04:45:36 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-28 04:46:57 +0200 | td_ | (~td@i53870923.versanet.de) (Ping timeout: 255 seconds) |
| 2024-06-28 04:47:22 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-06-28 04:48:37 +0200 | td_ | (~td@i53870939.versanet.de) |
| 2024-06-28 04:50:00 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 252 seconds) |
| 2024-06-28 04:51:09 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-06-28 04:53:37 +0200 | euleritian | (~euleritia@dynamic-176-002-128-067.176.2.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-06-28 04:58:14 +0200 | euleritian | (~euleritia@dynamic-176-007-194-195.176.7.pool.telefonica.de) |
| 2024-06-28 05:00:16 +0200 | glguy | (g@libera/staff/glguy) (Remote host closed the connection) |
| 2024-06-28 05:01:41 +0200 | glguy | (g@libera/staff/glguy) |
| 2024-06-28 05:02:25 +0200 | glguy | (g@libera/staff/glguy) (Remote host closed the connection) |
| 2024-06-28 05:02:44 +0200 | euleritian | (~euleritia@dynamic-176-007-194-195.176.7.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-28 05:02:55 +0200 | euleritian | (~euleritia@dynamic-176-004-138-197.176.4.pool.telefonica.de) |
| 2024-06-28 05:03:43 +0200 | glguy | (g@libera/staff/glguy) |
| 2024-06-28 05:13:00 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-28 05:21:53 +0200 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-28 05:25:44 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-06-28 05:28:51 +0200 | zzz | (~yin@user/zero) |
| 2024-06-28 05:35:06 +0200 | aforemny_ | (~aforemny@i59F516E5.versanet.de) (Ping timeout: 255 seconds) |
| 2024-06-28 05:35:40 +0200 | aforemny | (~aforemny@i59F516DE.versanet.de) |
| 2024-06-28 05:41:21 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:fbfc:6d96:4d1:519b) (Quit: Leaving) |
| 2024-06-28 05:43:29 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-06-28 05:53:23 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-28 05:57:15 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-06-28 06:03:36 +0200 | zzz | (~yin@user/zero) |
| 2024-06-28 06:09:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-06-28 06:12:15 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap2371) |
| 2024-06-28 06:12:57 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2024-06-28 06:17:24 +0200 | eL_Bart0- | (eL_Bart0@dietunichtguten.org) (Ping timeout: 256 seconds) |
| 2024-06-28 06:17:29 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2024-06-28 06:17:38 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2024-06-28 06:21:51 +0200 | euleritian | (~euleritia@dynamic-176-004-138-197.176.4.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-06-28 06:21:53 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2024-06-28 06:30:01 +0200 | euleritian | (~euleritia@dynamic-176-002-082-013.176.2.pool.telefonica.de) |
| 2024-06-28 06:36:19 +0200 | euleritian | (~euleritia@dynamic-176-002-082-013.176.2.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-06-28 06:37:20 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-06-28 06:43:49 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-06-28 06:50:03 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
| 2024-06-28 07:02:46 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:318:df9:bae4:1644) (Remote host closed the connection) |
| 2024-06-28 07:08:36 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-28 07:08:41 +0200 | euleritian | (~euleritia@dynamic-176-004-183-072.176.4.pool.telefonica.de) |
| 2024-06-28 07:11:53 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-28 07:22:12 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-28 07:24:24 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc15096bb9c652d485a4.dip0.t-ipconnect.de) |
| 2024-06-28 07:26:06 +0200 | euleritian | (~euleritia@dynamic-176-004-183-072.176.4.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-28 07:26:35 +0200 | euleritian | (~euleritia@dynamic-176-004-183-072.176.4.pool.telefonica.de) |
| 2024-06-28 07:27:00 +0200 | yobson_ | (~yobson@mail.jotron.com) |
| 2024-06-28 07:30:14 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-28 07:33:25 +0200 | euleritian | (~euleritia@dynamic-176-004-183-072.176.4.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-06-28 07:33:44 +0200 | euleritian | (~euleritia@dynamic-176-004-183-072.176.4.pool.telefonica.de) |
| 2024-06-28 07:35:41 +0200 | <haskellbridge> | <magic_rb> cheater: Under WSL2 for sure, no reason for it not to. |
| 2024-06-28 07:36:06 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:5dc2:35b3:3e15:fa64) |
| 2024-06-28 07:38:16 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-28 07:38:42 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-28 07:40:29 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 252 seconds) |
| 2024-06-28 07:42:07 +0200 | euleritian | (~euleritia@dynamic-176-004-183-072.176.4.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-06-28 07:42:33 +0200 | euleritian | (~euleritia@dynamic-176-000-208-167.176.0.pool.telefonica.de) |
| 2024-06-28 07:48:19 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-06-28 07:56:31 +0200 | euleritian | (~euleritia@dynamic-176-000-208-167.176.0.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-06-28 07:57:32 +0200 | euleritian | (~euleritia@dynamic-176-001-128-156.176.1.pool.telefonica.de) |
| 2024-06-28 08:05:34 +0200 | michalz | (~michalz@185.246.207.215) |
| 2024-06-28 08:12:56 +0200 | euleritian | (~euleritia@dynamic-176-001-128-156.176.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-06-28 08:13:23 +0200 | euleritian | (~euleritia@dynamic-176-001-133-157.176.1.pool.telefonica.de) |
| 2024-06-28 08:14:07 +0200 | euleritian | (~euleritia@dynamic-176-001-133-157.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-28 08:14:25 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-28 08:23:27 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-06-28 08:24:19 +0200 | phma | (~phma@host-67-44-208-96.hnremote.net) (Read error: Connection reset by peer) |
| 2024-06-28 08:25:12 +0200 | phma | (phma@2001:5b0:211c:3a08:71e1:2206:9a0a:f676) |
| 2024-06-28 08:34:17 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-28 08:35:53 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-06-28 08:36:26 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-28 08:38:31 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-06-28 09:01:18 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-06-28 09:09:48 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-06-28 09:11:39 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-06-28 09:12:35 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-06-28 09:13:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-28 09:20:35 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-06-28 09:22:37 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-28 09:32:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-28 09:37:44 +0200 | yobson___ | (~yobson@mail.jotron.com) |
| 2024-06-28 09:37:44 +0200 | yobson_ | (~yobson@mail.jotron.com) (Remote host closed the connection) |
| 2024-06-28 09:37:50 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-06-28 09:38:41 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-06-28 09:39:51 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-06-28 09:39:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-28 09:46:27 +0200 | zzz | (~yin@user/zero) |
| 2024-06-28 09:51:38 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:64a0:45cd:88ff:5a99) (Ping timeout: 268 seconds) |
| 2024-06-28 09:57:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-06-28 09:57:28 +0200 | euleritian | (~euleritia@dynamic-176-001-133-157.176.1.pool.telefonica.de) |
| 2024-06-28 09:59:27 +0200 | chele | (~chele@user/chele) |
| 2024-06-28 10:08:13 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-06-28 10:08:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-06-28 10:09:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-28 10:10:05 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-06-28 10:11:11 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-28 10:15:04 +0200 | swamp_ | (~zmt00@user/zmt00) |
| 2024-06-28 10:15:17 +0200 | bairyn_ | (~bairyn@50.250.232.19) (Ping timeout: 240 seconds) |
| 2024-06-28 10:18:11 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 2024-06-28 10:18:47 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:7ec3:d3a5:178e:54f6) |
| 2024-06-28 10:18:56 +0200 | danse-nr3 | (~danse-nr3@151.44.203.57) |
| 2024-06-28 10:19:35 +0200 | danse-nr3 | (~danse-nr3@151.44.203.57) (Remote host closed the connection) |
| 2024-06-28 10:19:59 +0200 | danse-nr3 | (~danse-nr3@151.44.203.57) |
| 2024-06-28 10:23:30 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2024-06-28 10:23:51 +0200 | glguy_ | (g@libera/staff/glguy) |
| 2024-06-28 10:24:30 +0200 | glguy | (g@libera/staff/glguy) (Ping timeout: 612 seconds) |
| 2024-06-28 10:26:49 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 2024-06-28 10:27:25 +0200 | bairyn | (~bairyn@50.250.232.19) |
| 2024-06-28 10:32:03 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-28 10:37:02 +0200 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-28 10:42:11 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-06-28 10:43:35 +0200 | zzz | (~yin@user/zero) |
| 2024-06-28 10:44:04 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-06-28 10:49:05 +0200 | meritamen | (~user@user/meritamen) |
| 2024-06-28 10:51:54 +0200 | meritamen | (~user@user/meritamen) (Remote host closed the connection) |
| 2024-06-28 10:52:12 +0200 | meritamen | (~user@user/meritamen) |
| 2024-06-28 10:57:54 +0200 | meritamen | (~user@user/meritamen) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-06-28 10:58:49 +0200 | CiaoSen | (~Jura@2a05:5800:419:d500:e6b9:7aff:fe80:3d03) |
| 2024-06-28 11:02:23 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-28 11:08:18 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-28 11:13:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-28 11:14:03 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-28 11:18:35 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-06-28 11:20:57 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-28 11:32:04 +0200 | yobson___ | (~yobson@mail.jotron.com) (Ping timeout: 246 seconds) |
| 2024-06-28 11:33:29 +0200 | danse-nr3 | (~danse-nr3@151.44.203.57) (Read error: Connection reset by peer) |
| 2024-06-28 11:33:40 +0200 | danse-nr3 | (~danse-nr3@151.44.187.22) |
| 2024-06-28 11:34:34 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-06-28 11:43:43 +0200 | yobson_ | (~yobson@ip-86-153-106-77.eidsiva.net) |
| 2024-06-28 11:51:18 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-06-28 11:58:59 +0200 | euleritian | (~euleritia@dynamic-176-001-133-157.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-28 11:59:38 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-28 12:00:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-06-28 12:01:45 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 268 seconds) |
| 2024-06-28 12:02:50 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-06-28 12:03:08 +0200 | yobson_ | (~yobson@ip-86-153-106-77.eidsiva.net) (Remote host closed the connection) |
| 2024-06-28 12:03:26 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-28 12:03:44 +0200 | 078AA10SL | (~yobson@mail.jotron.com) |
| 2024-06-28 12:04:01 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-06-28 12:07:12 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:7f9a:4013:3a5d:d301) |
| 2024-06-28 12:07:18 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-06-28 12:11:09 +0200 | noumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) |
| 2024-06-28 12:11:19 +0200 | CiaoSen | (~Jura@2a05:5800:419:d500:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-06-28 12:16:06 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-28 12:29:39 +0200 | danse-nr3 | (~danse-nr3@151.44.187.22) (Ping timeout: 264 seconds) |
| 2024-06-28 12:32:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-28 12:35:02 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-06-28 12:43:04 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-06-28 12:43:10 +0200 | stef204 | (~stef204@user/stef204) |
| 2024-06-28 12:45:54 +0200 | stef204 | (~stef204@user/stef204) (Client Quit) |
| 2024-06-28 12:48:35 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.cust.swisscom.net) |
| 2024-06-28 12:52:53 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-06-28 13:06:46 +0200 | michalz | (~michalz@185.246.207.215) (Read error: Connection reset by peer) |
| 2024-06-28 13:07:06 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-06-28 13:10:16 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-28 13:10:34 +0200 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) |
| 2024-06-28 13:10:52 +0200 | <pja> | ICFP hype increasing? |
| 2024-06-28 13:11:35 +0200 | <pja> | Or rather ICFPC hype ;) |
| 2024-06-28 13:11:54 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-06-28 13:12:24 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Client Quit) |
| 2024-06-28 13:13:20 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-06-28 13:19:57 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-28 13:20:26 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-28 13:23:12 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Remote host closed the connection) |
| 2024-06-28 13:23:39 +0200 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-06-28 13:26:56 +0200 | destituion | (~destituio@2a02:2121:6cb:fbc3:ec2c:8d1b:640f:1406) (Ping timeout: 256 seconds) |
| 2024-06-28 13:28:01 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-06-28 13:39:28 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 246 seconds) |
| 2024-06-28 13:45:13 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-06-28 13:49:00 +0200 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-28 13:49:08 +0200 | danse-nr3 | (~danse-nr3@151.44.187.228) |
| 2024-06-28 13:49:40 +0200 | danse-nr3 | (~danse-nr3@151.44.187.228) (Remote host closed the connection) |
| 2024-06-28 13:50:04 +0200 | danse-nr3 | (~danse-nr3@151.44.187.228) |
| 2024-06-28 13:55:57 +0200 | zzz | (~yin@user/zero) |
| 2024-06-28 13:57:58 +0200 | <lxsameer> | is there any type like lisp keywords or symbols in haskell? something to use as map keys without the complications of strings? |
| 2024-06-28 14:04:46 +0200 | puke | (~puke@user/puke) |
| 2024-06-28 14:06:20 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-28 14:08:59 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-28 14:09:16 +0200 | <haskellbridge> | <sm> you could make one with "data" ? |
| 2024-06-28 14:10:05 +0200 | <lxsameer> | sm: i could, but surely other people had the same problem before too. so i thought there might be something out there |
| 2024-06-28 14:12:24 +0200 | <haskellbridge> | <sm> I think the short answer is no, but what's the problem exactly ? |
| 2024-06-28 14:16:36 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-06-28 14:16:47 +0200 | <lxsameer> | sm: looking up i8 numbers as a hashmap key is way simpler than dealing with string in general. in lisp for example, I can use :keywords that depending on the compiler, compile into i8 (as an example) but syntactically they are readable strings |
| 2024-06-28 14:17:07 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-06-28 14:17:15 +0200 | <ncf> | https://hackage.haskell.org/package/intern ? |
| 2024-06-28 14:18:41 +0200 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-28 14:18:54 +0200 | <int-e> | . o O ( key1, key2, key3 :: Int; key1 = 1; key2 = 2; key3 = 3 ) |
| 2024-06-28 14:19:35 +0200 | <haskellbridge> | <sm> sorry if I'm being dense, but I don't know what i8 is and I still don't know what problem you're anticipating with string keys - maybe memory footprint and the possibility of misspelling them ? |
| 2024-06-28 14:20:05 +0200 | <haskellbridge> | <sm> are new keys generated at runtime ? |
| 2024-06-28 14:20:07 +0200 | <int-e> | data Keys = Key1 | Key2 | Key3 deriving Enum |
| 2024-06-28 14:20:15 +0200 | <int-e> | `i8` is Rust's name for a signed 8 bit integer |
| 2024-06-28 14:22:58 +0200 | <lxsameer> | sm: nope only compile time |
| 2024-06-28 14:23:19 +0200 | <haskellbridge> | <sm> making your own enum seems the most typesafe and efficient then ? |
| 2024-06-28 14:23:32 +0200 | <lxsameer> | int-e: it comes from llvm i think |
| 2024-06-28 14:23:59 +0200 | <haskellbridge> | <sm> that's our equivalent of symbols |
| 2024-06-28 14:25:15 +0200 | <haskellbridge> | <sm> or maybe that intern lib is better, but I can't tell from the 6-word doc |
| 2024-06-28 14:25:36 +0200 | zzz | (~yin@user/zero) |
| 2024-06-28 14:26:11 +0200 | <lxsameer> | ncf: thank you, reading about it |
| 2024-06-28 14:26:44 +0200 | <ncf> | (you almost certainly should use data types instead of this madness) |
| 2024-06-28 14:30:00 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-06-28 14:32:14 +0200 | <int-e> | lxsameer: fair enough |
| 2024-06-28 14:36:06 +0200 | <cheater> | lxsameer: i don't know exactly how they're implemented, but i would be very surprised if small enums were NOT implemented as ints |
| 2024-06-28 14:36:14 +0200 | <cheater> | enums are NOT strings |
| 2024-06-28 14:36:21 +0200 | <cheater> | they're subsequent values |
| 2024-06-28 14:36:50 +0200 | <haskellbridge> | <sm> of course, they'll be super efficient |
| 2024-06-28 14:37:07 +0200 | <cheater> | just use enums |
| 2024-06-28 14:37:23 +0200 | <cheater> | that's what you want |
| 2024-06-28 14:37:26 +0200 | <cheater> | skip this intern bullshit |
| 2024-06-28 14:37:48 +0200 | <haskellbridge> | <sm> or strings. If you don't want to bother with a new type. :) |
| 2024-06-28 14:37:58 +0200 | <cheater> | he said he didn't want the overhead of strings |
| 2024-06-28 14:38:42 +0200 | <haskellbridge> | <sm> yup they did say that but didn't clarify exactly what kind of overhead.. I think for many apps it'll be negligible |
| 2024-06-28 14:39:04 +0200 | <cheater> | using stringly typed design is a bad idea in any way |
| 2024-06-28 14:39:20 +0200 | <haskellbridge> | <sm> sometimes the dumb solution is best! fight! |
| 2024-06-28 14:39:40 +0200 | <cheater> | heh. nah |
| 2024-06-28 14:39:47 +0200 | <haskellbridge> | <sm> just kidding :) |
| 2024-06-28 14:40:02 +0200 | <cheater> | just didn't want to crush u |
| 2024-06-28 14:40:25 +0200 | <Rembane> | Is this when the Rocky training montage starts? |
| 2024-06-28 14:40:33 +0200 | <haskellbridge> | <sm> haha you know the dumb coder will win |
| 2024-06-28 14:42:13 +0200 | <Rembane> | I think it depends on the competition. |
| 2024-06-28 14:44:23 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 260 seconds) |
| 2024-06-28 14:47:55 +0200 | <lxsameer> | thanks folks |
| 2024-06-28 14:51:44 +0200 | <haskellbridge> | <sm> there's also this: https://hackage.haskell.org/package/symbol |
| 2024-06-28 14:51:57 +0200 | <cheater> | stop giving him wrong ideas |
| 2024-06-28 14:51:59 +0200 | <cheater> | just use enums |
| 2024-06-28 14:52:06 +0200 | <cheater> | or better yet use a record if you can |
| 2024-06-28 14:52:13 +0200 | <cheater> | it sounds like you want a record |
| 2024-06-28 14:55:09 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-06-28 14:55:55 +0200 | haskellbridge | sm finds plenty more.. https://flora.pm/search?q=symbol |
| 2024-06-28 14:57:05 +0200 | <haskellbridge> | <sm> I see flora's search prioritises package names more than hackage's |
| 2024-06-28 14:58:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-06-28 15:02:52 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-28 15:03:17 +0200 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-28 15:03:55 +0200 | CiaoSen | (~Jura@2a05:5800:419:d500:e6b9:7aff:fe80:3d03) |
| 2024-06-28 15:12:07 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:5dc2:35b3:3e15:fa64) (Remote host closed the connection) |
| 2024-06-28 15:13:59 +0200 | danse-nr3 | (~danse-nr3@151.44.187.228) (Ping timeout: 256 seconds) |
| 2024-06-28 15:14:20 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:735b:8b9f:b041:4927) |
| 2024-06-28 15:14:53 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6b0d:696c:4da9:e7ba) |
| 2024-06-28 15:18:02 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-06-28 15:22:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-06-28 15:26:06 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-28 15:28:50 +0200 | zzz | (~yin@user/zero) |
| 2024-06-28 15:31:07 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 246 seconds) |
| 2024-06-28 15:31:26 +0200 | euleritian | (~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de) |
| 2024-06-28 15:50:51 +0200 | CiaoSen | (~Jura@2a05:5800:419:d500:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-06-28 15:59:07 +0200 | euleritian | (~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-28 15:59:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-06-28 16:00:37 +0200 | euleritian | (~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de) |
| 2024-06-28 16:03:40 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-06-28 16:10:35 +0200 | 078AA10SL | (~yobson@mail.jotron.com) (Ping timeout: 268 seconds) |
| 2024-06-28 16:13:12 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-06-28 16:13:58 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:735b:8b9f:b041:4927) (Ping timeout: 268 seconds) |
| 2024-06-28 16:26:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-28 16:31:40 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
| 2024-06-28 16:44:47 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 256 seconds) |
| 2024-06-28 16:54:39 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-28 16:54:39 +0200 | destituion | (~destituio@85.221.111.174) (Read error: Connection reset by peer) |
| 2024-06-28 16:58:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-28 17:03:12 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:8109:c59e:55fd:a4fa) |
| 2024-06-28 17:04:43 +0200 | danse-nr3 | (~danse-nr3@151.46.207.229) |
| 2024-06-28 17:05:21 +0200 | danse-nr3 | (~danse-nr3@151.46.207.229) (Remote host closed the connection) |
| 2024-06-28 17:05:46 +0200 | danse-nr3 | (~danse-nr3@151.46.207.229) |
| 2024-06-28 17:08:32 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-06-28 17:09:04 +0200 | destituion | (~destituio@2a02:2121:6cb:fbc3:5940:6cf4:b639:63ef) |
| 2024-06-28 17:09:51 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-06-28 17:16:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-28 17:22:08 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-28 17:26:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-06-28 17:28:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-28 17:33:41 +0200 | euleritian | (~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-28 17:34:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-28 17:47:38 +0200 | AlexNoo_ | (~AlexNoo@94.233.240.141) |
| 2024-06-28 17:50:10 +0200 | AlexZenon | (~alzenon@94.233.241.180) (Ping timeout: 268 seconds) |
| 2024-06-28 17:51:18 +0200 | AlexNoo | (~AlexNoo@94.233.241.180) (Ping timeout: 255 seconds) |
| 2024-06-28 17:55:40 +0200 | AlexZenon | (~alzenon@94.233.240.141) |
| 2024-06-28 17:57:07 +0200 | incertia | (~incertia@209.122.137.252) (Ping timeout: 260 seconds) |
| 2024-06-28 17:58:02 +0200 | AlexNoo_ | AlexNoo |
| 2024-06-28 18:00:36 +0200 | incertia | (~incertia@209.122.137.252) |
| 2024-06-28 18:06:01 +0200 | swistak- | (~swistak@185.21.216.141) (Remote host closed the connection) |
| 2024-06-28 18:10:50 +0200 | AlexZenon | (~alzenon@94.233.240.141) (Ping timeout: 268 seconds) |
| 2024-06-28 18:10:50 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2024-06-28 18:15:47 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-28 18:16:33 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-06-28 18:18:04 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-28 18:18:16 +0200 | caryfitz | (~caryfitz@2600:1700:e72:9000::47) |
| 2024-06-28 18:18:17 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-06-28 18:18:30 +0200 | soverysour | (~soverysou@81.196.150.219) |
| 2024-06-28 18:18:30 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-06-28 18:18:30 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-28 18:19:39 +0200 | AlexZenon | (~alzenon@94.233.240.141) |
| 2024-06-28 18:21:52 +0200 | danse-nr3 | (~danse-nr3@151.46.207.229) (Remote host closed the connection) |
| 2024-06-28 18:22:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-28 18:23:19 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:7f9a:4013:3a5d:d301) (Remote host closed the connection) |
| 2024-06-28 18:24:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-28 18:29:52 +0200 | ystael | (~ystael@user/ystael) |
| 2024-06-28 18:31:14 +0200 | AlexZenon | (~alzenon@94.233.240.141) (Ping timeout: 256 seconds) |
| 2024-06-28 18:32:29 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-06-28 18:35:29 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-28 18:39:03 +0200 | danse-nr3 | (~danse-nr3@151.46.207.229) |
| 2024-06-28 18:40:18 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 256 seconds) |
| 2024-06-28 18:45:12 +0200 | <monochrom> | I like dumb solutions. Sometimes they are simpler. Sometimes they are not, but at least funny. :) |
| 2024-06-28 18:45:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-06-28 18:45:51 +0200 | aforemny | (~aforemny@i59F516DE.versanet.de) (Ping timeout: 264 seconds) |
| 2024-06-28 18:45:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-28 18:45:56 +0200 | euleritian | (~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de) |
| 2024-06-28 18:48:00 +0200 | td_ | (~td@i53870939.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-06-28 18:49:56 +0200 | AlexZenon | (~alzenon@94.233.240.141) |
| 2024-06-28 18:52:02 +0200 | <danse-nr3> | hm maybe that classifies more for naïve than dumb |
| 2024-06-28 18:52:33 +0200 | <danse-nr3> | or "qualifies as" |
| 2024-06-28 18:52:42 +0200 | danse-nr3 | should stop thinking about a trained machine |
| 2024-06-28 18:54:14 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-06-28 18:54:45 +0200 | glguy_ | glguy |
| 2024-06-28 18:54:59 +0200 | <EvanR> | if a solution is dumb and it works then it's not dumb! |
| 2024-06-28 18:55:15 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-28 18:55:15 +0200 | <danse-nr3> | also true |
| 2024-06-28 18:55:52 +0200 | <monochrom> | Does bogosort count as dumb? naive? works? But it sure is funny. :) |
| 2024-06-28 18:56:00 +0200 | <danse-nr3> | especially because it worked for the little-resource person who found it |
| 2024-06-28 18:56:41 +0200 | <danse-nr3> | huh domain-specific i guess |
| 2024-06-28 18:56:55 +0200 | <danse-nr3> | i can't exclude that to be the most sensible in some contexts |
| 2024-06-28 18:57:08 +0200 | <danse-nr3> | i am not familiar with quantum coding for instance |
| 2024-06-28 18:58:02 +0200 | <danse-nr3> | to spare others the lookup: |
| 2024-06-28 18:58:02 +0200 | <danse-nr3> | > highly ineffective sorting algorithm that successively generates permutations of its input until it finds one that is sorted |
| 2024-06-28 18:58:04 +0200 | <lambdabot> | <hint>:1:79: error: parse error on input ‘of’ |
| 2024-06-28 18:58:19 +0200 | <danse-nr3> | hmm how do we use to quote here? |
| 2024-06-28 18:58:55 +0200 | <monochrom> | We don't. I personally add " " by hand. |
| 2024-06-28 18:59:07 +0200 | <danse-nr3> | > quote |
| 2024-06-28 18:59:17 +0200 | <danse-nr3> | i see, will try to keep in mind, thanks |
| 2024-06-28 18:59:53 +0200 | <monochrom> | But the version I know/heard is random rather than successive. |
| 2024-06-28 19:00:48 +0200 | <danse-nr3> | dunno i doubt a context exist where that makes sense, 'cause you have to compare values anyways. It is more for mathematicians really, i work with tech and have little time for paradoxical explorations á la brainfuck |
| 2024-06-28 19:00:57 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-06-28 19:01:30 +0200 | <EvanR> | randomly permuting the elements might be hardware accelerated by using kinetic ideal gas |
| 2024-06-28 19:01:43 +0200 | noumenon | (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2024-06-28 19:01:57 +0200 | <EvanR> | the ergodic principle means the particles pass through all possible configurations |
| 2024-06-28 19:02:22 +0200 | <monochrom> | It's humour rather than any sense of "make sense". |
| 2024-06-28 19:02:23 +0200 | <danse-nr3> | but then you have to eval success. I suppose that's highly parallelisable |
| 2024-06-28 19:02:42 +0200 | <EvanR> | maxwell's demon hits the refrigeration button when it sees them all in order |
| 2024-06-28 19:02:44 +0200 | <danse-nr3> | paradoxical does not mean humorous |
| 2024-06-28 19:03:04 +0200 | <monochrom> | I don't see a paradox. |
| 2024-06-28 19:03:15 +0200 | <monochrom> | I find it funny instead. Bite me. |
| 2024-06-28 19:03:18 +0200 | <danse-nr3> | it's in the performance |
| 2024-06-28 19:03:22 +0200 | <danse-nr3> | are you tasty? |
| 2024-06-28 19:03:50 +0200 | danse-nr3 | should stop thinking about a trained machine |
| 2024-06-28 19:04:01 +0200 | <monochrom> | Why does every joke need to be analysed by logic and performance. |
| 2024-06-28 19:04:04 +0200 | <danse-nr3> | huh sorry picked a wrong line from my history |
| 2024-06-28 19:04:17 +0200 | <EvanR> | stop thinking about a trained machine already |
| 2024-06-28 19:04:28 +0200 | <danse-nr3> | why does nonsense only have to mean a joke? |
| 2024-06-28 19:04:30 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) |
| 2024-06-28 19:04:30 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Client Quit) |
| 2024-06-28 19:05:31 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-28 19:06:42 +0200 | <probie> | bogosort is the kind of thing I'd have unironically written when I was twelve |
| 2024-06-28 19:07:08 +0200 | <mauke> | quantum bogosort is O(n) |
| 2024-06-28 19:09:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-28 19:10:13 +0200 | <monochrom> | Do you or anyone actually know how to do that quantumly? |
| 2024-06-28 19:10:56 +0200 | <danse-nr3> | hold on while i do a try with my quantum mobile |
| 2024-06-28 19:11:11 +0200 | <probie> | So, 13 year old me was enrolled in some "advanced maths" program (with Euler in the name). I wrote a program to solve a problem of the form "which 4 digit number has {properties}", but instead of just iterating over all 4-digit numbers, I had it generate random ones |
| 2024-06-28 19:11:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-28 19:12:18 +0200 | td_ | (~td@i53870939.versanet.de) |
| 2024-06-28 19:12:29 +0200 | <Digit> | eehehehe, tickles. |
| 2024-06-28 19:13:29 +0200 | <monochrom> | No, I think you would not think up bogosort back then. If you don't have insights about {properties}, sure you would go random trial-and-error, I would too. But sorting is where a child could easily have the most basic insight, e.g., find the minimum and bring it to the front, recurse. |
| 2024-06-28 19:13:53 +0200 | <probie> | when my mother [mainframe programmer, slightly allergic to recursion] saw it and asked why I didn't just use a "for loop" I had no real answer beyond "I never thought of that" |
| 2024-06-28 19:14:17 +0200 | <monochrom> | Yes, recursion is more natural. :) |
| 2024-06-28 19:14:18 +0200 | arkeet | (~arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-28 19:14:28 +0200 | arkeet | (~arkeet@moriya.ca) |
| 2024-06-28 19:14:29 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-06-28 19:14:56 +0200 | <JuanDaugherty> | probie, and what sort of thing do you write now? an url would be good |
| 2024-06-28 19:15:24 +0200 | <monochrom> | Someone on Usenet back then tried to argue that iteration is more natural by asking "how do you add 10 numbers? clearly you think of a loop!" I defied them by replying "no, honestly, I add the first 9 numbers, then add the 10th" |
| 2024-06-28 19:16:53 +0200 | <danse-nr3> | well highly subjective |
| 2024-06-28 19:16:57 +0200 | <monochrom> | In 1st-year CS when learning linked list algorithms, both iterative and recursive, I immediately preferred the recursive ones. |
| 2024-06-28 19:17:06 +0200 | AlexZenon | (~alzenon@94.233.240.141) (Read error: Connection reset by peer) |
| 2024-06-28 19:17:12 +0200 | <EvanR> | there are some companies doing quantum computations |
| 2024-06-28 19:17:24 +0200 | <monochrom> | No that's an understatement. I immediately fell in love with them. |
| 2024-06-28 19:18:14 +0200 | <danse-nr3> | interesting to find out recursion is naïve at the end of the story |
| 2024-06-28 19:18:53 +0200 | <monochrom> | But very disappointed when, during a lab, the recursive ones caused stack overflow and I had to write the loops. (MSDOS, small memory model, 64KB stack+data per process.) |
| 2024-06-28 19:19:35 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-06-28 19:20:16 +0200 | <JuanDaugherty> | i remember asking what recursion was in my second computer operator job |
| 2024-06-28 19:20:32 +0200 | <probie> | JuanDaugherty: why are you interested in my "modern" code? |
| 2024-06-28 19:21:00 +0200 | caryfitz | (~caryfitz@2600:1700:e72:9000::47) (Remote host closed the connection) |
| 2024-06-28 19:21:13 +0200 | <JuanDaugherty> | probie, for the obvious reason, the contrast between 12yo u and now |
| 2024-06-28 19:21:34 +0200 | <cheater> | lol. i invented recursion loooong before i knew what a computer was or how to even count numbers |
| 2024-06-28 19:21:57 +0200 | <cheater> | it's such a funny topic |
| 2024-06-28 19:22:07 +0200 | <cheater> | i think i was like 4 or something |
| 2024-06-28 19:22:14 +0200 | <JuanDaugherty> | also that woulda told me when u were 12 |
| 2024-06-28 19:22:28 +0200 | <danse-nr3> | somehow they managed to teach me induction in a way that sounded confusing. Since then i never considered recursion simple again |
| 2024-06-28 19:22:34 +0200 | <monochrom> | Recursion is divide and conquer. It's natural. |
| 2024-06-28 19:22:42 +0200 | <Franciman> | is it tho? |
| 2024-06-28 19:22:44 +0200 | <Franciman> | lol |
| 2024-06-28 19:23:00 +0200 | <Franciman> | i can't analyse godel's diagonal formula as divide and conquer |
| 2024-06-28 19:23:10 +0200 | <cheater> | i was trying to read a newspaper and i was asking about what all the words meant that i didn't understand. but then the explanations had other words i didn't understand. and that's how i discovered recursion |
| 2024-06-28 19:23:13 +0200 | <JuanDaugherty> | prolly meant cantor |
| 2024-06-28 19:23:32 +0200 | <danse-nr3> | XD cheater |
| 2024-06-28 19:24:00 +0200 | <cheater> | it was this funny quantum leap in understanding |
| 2024-06-28 19:24:23 +0200 | <cheater> | that i didn't see any applications for |
| 2024-06-28 19:24:27 +0200 | <cheater> | like giving a quaker a laser diode |
| 2024-06-28 19:24:59 +0200 | <danse-nr3> | not sure that would bring any quantum leap in understanding |
| 2024-06-28 19:25:53 +0200 | zzz | (~yin@user/zero) |
| 2024-06-28 19:26:16 +0200 | <probie> | JuanDaugherty: I was 12 back in 2004, and I neither have code snippets from then (they lived on an old 486 which has since died), nor code snippets from now (because $dayjob is slightly paranoid) |
| 2024-06-28 19:26:54 +0200 | <JuanDaugherty> | good! i presumed it was this century, thanks for confirming! |
| 2024-06-28 19:28:08 +0200 | <JuanDaugherty> | and np most ppl on irc are sekrit squirrels, the edwardks of the world notwithstanding and ofc this nick is my real name |
| 2024-06-28 19:28:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-28 19:28:48 +0200 | AlexZenon | (~alzenon@94.233.240.141) |
| 2024-06-28 19:29:34 +0200 | <monochrom> | Tangential or maybe right on: There is this Doraemon story: It's midnight and the kid had homework due 8AM and the kid had just begun. Doraemon helped by this strategy: Use the time machine to fetch the 2AM version of Doreamon, and the 4AM version, and the 6AM version. So with the parallelization of 4 Doraemons, the homework was finished by 1:30AM. Everyone could go back to sleep in peace. |
| 2024-06-28 19:30:07 +0200 | <JuanDaugherty> | u should be nearing the attrition point, at least as far as doing, coding unless you have a true vocation |
| 2024-06-28 19:30:17 +0200 | <monochrom> | But of course not! At 2AM, Doraemon was brutally woken up to go back in time to do homework. Again at 4AM. Again at 6AM. Sleepless night. |
| 2024-06-28 19:30:44 +0200 | <danse-nr3> | haha nice one |
| 2024-06-28 19:30:53 +0200 | <danse-nr3> | can you explain JuanDaugherty it's not clear |
| 2024-06-28 19:31:09 +0200 | <JuanDaugherty> | danse-nr3, what specifically is not |
| 2024-06-28 19:31:22 +0200 | <JuanDaugherty> | u was probie |
| 2024-06-28 19:31:23 +0200 | <danse-nr3> | dunno the sentence is hard to understand to me |
| 2024-06-28 19:31:23 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-06-28 19:32:06 +0200 | <JuanDaugherty> | well i need a better question, will wait a few minutes for it then have an errand will see on public log if later |
| 2024-06-28 19:32:48 +0200 | <monochrom> | TBH I have long given up comprehending anything JuanDaugherty says. |
| 2024-06-28 19:33:01 +0200 | <danse-nr3> | what is "the attrition point"? Why should they near it? And the incidental before "coding" does not parse |
| 2024-06-28 19:33:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-28 19:33:51 +0200 | <danse-nr3> | huh by "incidental" i meant a sentence in the middle of another, sorry bad translation |
| 2024-06-28 19:33:53 +0200 | <JuanDaugherty> | https://survey.stackoverflow.co/2020#developer-profile-years-since-learning-to-code-professional-d… |
| 2024-06-28 19:34:25 +0200 | <JuanDaugherty> | attrition point refers to the phenomenom depicted there, in contrast to most professions |
| 2024-06-28 19:35:11 +0200 | <JuanDaugherty> | inferred there to be about 15 years |
| 2024-06-28 19:35:20 +0200 | <danse-nr3> | only relevant "point" there seems to be a strong selection before five years? |
| 2024-06-28 19:35:50 +0200 | <danse-nr3> | no maybe the deeplink is not that deep ... looking better |
| 2024-06-28 19:36:25 +0200 | <danse-nr3> | huh which chart then? |
| 2024-06-28 19:36:35 +0200 | <JuanDaugherty> | monochrom, noted |
| 2024-06-28 19:36:51 +0200 | <xerox> | I am having brainfart, what am I banging my head on in trying to go [Token] -> Expr a where I have it such that data Expr a where { T,F :: Expr Bool; I :: Int -> Expr Int; Not :: Expr Bool -> Expr Bool; Neg :: Expr Int -> Expr Int; … } ? |
| 2024-06-28 19:37:25 +0200 | <monochrom> | Is that parsing? |
| 2024-06-28 19:37:27 +0200 | <xerox> | I can't seem to type that parse :: [Token] -> (Expr a,[Token]) function correctly |
| 2024-06-28 19:37:30 +0200 | <xerox> | yeah |
| 2024-06-28 19:38:24 +0200 | <monochrom> | Ah right, very possible you should split it into multiple parsers, e.g., one for Expr Bool, one for Expr Int, etc. |
| 2024-06-28 19:38:35 +0200 | <mauke> | they can't all be the same function |
| 2024-06-28 19:38:42 +0200 | <xerox> | oh. |
| 2024-06-28 19:38:45 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-06-28 19:38:53 +0200 | <mauke> | unless you go existential |
| 2024-06-28 19:39:02 +0200 | <xerox> | I was about to have an existential something |
| 2024-06-28 19:39:08 +0200 | <monochrom> | Either that or conceptually it's [Token] -> (exists a. Expr a, [Token]) |
| 2024-06-28 19:39:10 +0200 | <EvanR> | you can return a sum type which indicates what a you got |
| 2024-06-28 19:39:28 +0200 | <EvanR> | like the library juicy-pixels does while loading an unknown image format |
| 2024-06-28 19:39:54 +0200 | <monochrom> | Oh heh maybe "Either (Expr Bool) (Expr Int)" is simpler. |
| 2024-06-28 19:39:59 +0200 | <EvanR> | ^ |
| 2024-06-28 19:40:28 +0200 | <danse-nr3> | existential comes at a cost, it's more opaque |
| 2024-06-28 19:41:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-28 19:41:56 +0200 | <xerox> | so I guess I can't really do [Token] -> Expr a in general if I don't add some code that figures out what the 'a' should be from the Tokens |
| 2024-06-28 19:42:20 +0200 | <EvanR> | data SomeExpr = BoolExpr (Expr Bool) | IntExpr (Expr Int) | ... |
| 2024-06-28 19:42:26 +0200 | <xerox> | which can then string the correct various parseType functions to produce the eventual correct Expr a |
| 2024-06-28 19:43:28 +0200 | <monochrom> | The reason for the type error is... I'll use a shorter but non-parsing example. Suppose you promise "foo :: Expr a". This means the user, not you, choose whether that's Bool or Int. Therefore, you cannot finish with "foo = T" because what if the user demands Int. |
| 2024-06-28 19:43:45 +0200 | <xerox> | could do Expr Arg with Arg = ArgBool Bool | ArgInt Int | ArgString String (I also need Strings) |
| 2024-06-28 19:44:02 +0200 | <xerox> | monochrom: reasonable indeed |
| 2024-06-28 19:44:13 +0200 | <EvanR> | if a always = Arg, that's pointless |
| 2024-06-28 19:48:57 +0200 | <EvanR> | while SomeExpr isn't pointless, it lets you determine at runtime what kind of Expr a parser produces and then recover the well-typed Expr to be used for purposes later |
| 2024-06-28 19:49:17 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) (Quit: Ping timeout (120 seconds)) |
| 2024-06-28 19:49:30 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-06-28 19:49:36 +0200 | <EvanR> | like requiring the argument to something be a boolean expression |
| 2024-06-28 19:51:34 +0200 | danse-nr3 | (~danse-nr3@151.46.207.229) (Read error: Connection reset by peer) |
| 2024-06-28 19:52:46 +0200 | danse-nr3 | (~danse-nr3@151.46.138.116) |
| 2024-06-28 19:53:31 +0200 | dcoutts_ | (~duncan@ip-185-104-136-49.ptr.icomera.net) |
| 2024-06-28 19:55:38 +0200 | danse-nr3 | (~danse-nr3@151.46.138.116) (Remote host closed the connection) |
| 2024-06-28 20:01:04 +0200 | DreamDeckup | (~DreamDeck@184.145.181.233) |
| 2024-06-28 20:03:26 +0200 | mikess | (~mikess@user/mikess) |
| 2024-06-28 20:04:43 +0200 | <zzz> | cabal install something -> rejecting: base-X.XX.X.X ... -> install old ghc version |
| 2024-06-28 20:04:56 +0200 | <zzz> | this is how we usually get things to work, right? |
| 2024-06-28 20:05:36 +0200 | <zzz> | there is no alternative to habing multiple ghc versions installed besides upgrading the packages ourselves |
| 2024-06-28 20:09:44 +0200 | <xerox> | honestly the Arg idea is pretty nice, thank you, appreciate it |
| 2024-06-28 20:11:02 +0200 | <Leary> | xerox: Half of the point of this kind of GADT is that all the type information can be recovered by pattern matching, so you can hide or reveal that information wherever convenient. Hide it here (e.g. with `Some`) and all will be well. |
| 2024-06-28 20:11:55 +0200 | <Leary> | (`data Some f where Some :: f a -> Some f`, or get it from the 'some' package) |
| 2024-06-28 20:12:18 +0200 | <xerox> | Leary: hmm |
| 2024-06-28 20:15:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-06-28 20:16:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-28 20:17:17 +0200 | <zzz> | i find it kind of confusion that base is so tightly coupled with the GHC version |
| 2024-06-28 20:18:29 +0200 | <zzz> | or rather that GHC versions are so tightly coupled with a specific base version |
| 2024-06-28 20:19:12 +0200 | <davean> | zzz: I'm a little confused - you can have multiple GHCs installed just fine, and a package can support many versions of base. Can you explain your problem more? |
| 2024-06-28 20:19:40 +0200 | <monochrom> | zzz: ghcup helps with installing (and uninstalling) multiple versions of ghc, selecting whichever one you like as default, changing the default, ... cabal also has -w for specifying ghc version. |
| 2024-06-28 20:19:50 +0200 | <davean> | You can --allow-newer base if you aren't too concerned about the pacakge working. |
| 2024-06-28 20:20:01 +0200 | <monochrom> | and of course there are also nix etc but I don't know them. |
| 2024-06-28 20:21:05 +0200 | <zzz> | davean: didn't know about --allow-newer. thanks |
| 2024-06-28 20:21:46 +0200 | <zzz> | well, it' just that i'm running out of disk space |
| 2024-06-28 20:22:02 +0200 | <zzz> | i can't keep installing ghc |
| 2024-06-28 20:22:31 +0200 | <zzz> | it moves too fast! |
| 2024-06-28 20:23:10 +0200 | <geekosaur> | I skip versions |
| 2024-06-28 20:23:35 +0200 | <davean> | zzz: you can also override specific constrains for specific packages in a cabal.project file. |
| 2024-06-28 20:23:37 +0200 | <zzz> | mee too, i only install those which i need to compile the packages i'm interested in |
| 2024-06-28 20:23:38 +0200 | <geekosaur> | didn't install 6.8, 9.0, 9.4, or 9.8 |
| 2024-06-28 20:23:56 +0200 | <davean> | zzz: Of course this *does* require it to actually *work* with those versions, which you have no warrentee of |
| 2024-06-28 20:23:59 +0200 | <geekosaur> | and won't install 9.10 until 9.10.2 is out 🙂 |
| 2024-06-28 20:24:05 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-06-28 20:25:02 +0200 | <zzz> | maintaing haskell packages is demanding |
| 2024-06-28 20:25:09 +0200 | <zzz> | because of this |
| 2024-06-28 20:25:29 +0200 | <davean> | zzz: so what do you find so demanding about it? |
| 2024-06-28 20:25:32 +0200 | <geekosaur> | also, next ,ajor version of ghc should see base decoupled and reinstallable |
| 2024-06-28 20:25:58 +0200 | <geekosaur> | the wired-in parts have moved to a ghc-base package |
| 2024-06-28 20:26:01 +0200 | <zzz> | geekosaur: really? that's all i want |
| 2024-06-28 20:26:02 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-06-28 20:26:15 +0200 | <geekosaur> | (there aren't many wired-in parts) |
| 2024-06-28 20:26:32 +0200 | <davean> | zzz: is bumping a version bound after running your test cases really that much work? You can litterly automate it |
| 2024-06-28 20:26:41 +0200 | <zzz> | (although i suspect ghc-base to have more or less the same issue) |
| 2024-06-28 20:26:56 +0200 | <geekosaur> | it will, but it's very small and the stuff in it doesn't change much |
| 2024-06-28 20:27:09 +0200 | <geekosaur> | when's the last time the implementation of lists changed? |
| 2024-06-28 20:27:19 +0200 | <monochrom> | We are not supposed to add ghc-base to depends: |
| 2024-06-28 20:27:44 +0200 | <davean> | I mean we already add ghc-prim, right? |
| 2024-06-28 20:27:47 +0200 | <davean> | what you don't? |
| 2024-06-28 20:28:02 +0200 | <zzz> | lol |
| 2024-06-28 20:28:08 +0200 | <davean> | I mean *I* do~! |
| 2024-06-28 20:28:16 +0200 | <geekosaur> | no, itss a transitive dependency of base |
| 2024-06-28 20:28:19 +0200 | <davean> | zzz: seriosuly though, there are scripts to run tests and bump the deps, you can add it to your CI |
| 2024-06-28 20:28:31 +0200 | <davean> | geekosaur: yah but I need to import its modules |
| 2024-06-28 20:28:39 +0200 | <zzz> | davean: i can't force other people to do it though |
| 2024-06-28 20:28:48 +0200 | <monochrom> | Oh heh I'm an idealist. Damn real world. >:) |
| 2024-06-28 20:29:11 +0200 | <davean> | monochrom: i mean if people would put the improtant stuff anywhere but ghc-prim ... |
| 2024-06-28 20:29:11 +0200 | dcoutts_ | (~duncan@ip-185-104-136-49.ptr.icomera.net) (Ping timeout: 256 seconds) |
| 2024-06-28 20:29:54 +0200 | <davean> | zzz: well there is head.hackage if you want to trust the communty to bump stuff, but like its not inherently safe to bump stuff |
| 2024-06-28 20:32:46 +0200 | <davean> | I will say even for large changes, doing my entire dependency set was a matter of a weekend when there were actually breaking changes. |
| 2024-06-28 20:34:15 +0200 | <davean> | zzz: I tihnk cabal.project files will help you the most though |
| 2024-06-28 20:36:23 +0200 | dcoutts_ | (~duncan@ip-185-104-136-49.ptr.icomera.net) |
| 2024-06-28 20:37:16 +0200 | erty | (~user@user/aeroplane) |
| 2024-06-28 20:45:27 +0200 | euleritian | (~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-28 20:45:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-28 20:53:44 +0200 | caryfitz | (~caryfitz@2600:1700:e72:9000::47) |
| 2024-06-28 20:54:55 +0200 | dcoutts_ | (~duncan@ip-185-104-136-49.ptr.icomera.net) (Ping timeout: 260 seconds) |
| 2024-06-28 20:55:47 +0200 | Typedfern | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2024-06-28 21:02:52 +0200 | <c_wraith> | monochrom: did anyone remind you it's tau day yet? this was relevant for some reason I've forgotten |
| 2024-06-28 21:09:12 +0200 | Typedfern | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) |
| 2024-06-28 21:15:31 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-06-28 21:19:50 +0200 | talismanick | (~user@campus-014-004.ucdavis.edu) |
| 2024-06-28 21:24:16 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2024-06-28 21:25:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-28 21:30:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-28 21:31:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-28 21:32:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-06-28 21:33:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-28 21:36:48 +0200 | talismanick | (~user@campus-014-004.ucdavis.edu) (Ping timeout: 268 seconds) |
| 2024-06-28 21:39:10 +0200 | Guest4674 | (~user@campus-014-004.ucdavis.edu) |
| 2024-06-28 21:41:48 +0200 | typedfern_ | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) |
| 2024-06-28 21:41:52 +0200 | typedfern_ | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2024-06-28 21:41:53 +0200 | Typedfern | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2024-06-28 21:41:56 +0200 | Guest4674 | (~user@campus-014-004.ucdavis.edu) (Client Quit) |
| 2024-06-28 21:41:59 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-06-28 21:43:05 +0200 | Typedfern | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) |
| 2024-06-28 21:43:05 +0200 | talismanick | (~user@campus-014-004.ucdavis.edu) |
| 2024-06-28 21:43:07 +0200 | Typedfern | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Client Quit) |
| 2024-06-28 21:43:32 +0200 | Typedfern | (~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) |
| 2024-06-28 21:46:56 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-28 21:58:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-06-28 22:03:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-28 22:17:08 +0200 | hugo- | hugo |
| 2024-06-28 22:26:34 +0200 | <cheater> | i baked a tau for tau day |
| 2024-06-28 22:27:27 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-06-28 22:31:06 +0200 | ystael | (~ystael@user/ystael) |
| 2024-06-28 22:33:55 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 246 seconds) |
| 2024-06-28 22:37:33 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-06-28 22:39:41 +0200 | mikess | (~mikess@user/mikess) |
| 2024-06-28 22:41:33 +0200 | talismanick | (~user@campus-014-004.ucdavis.edu) (Ping timeout: 255 seconds) |
| 2024-06-28 22:41:44 +0200 | mud | (~mud@user/kadoban) |
| 2024-06-28 22:48:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-28 22:52:37 +0200 | zzz | (~yin@user/zero) |
| 2024-06-28 22:55:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-28 23:01:40 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-06-28 23:02:02 +0200 | kimiamania | (~65804703@user/kimiamania) |
| 2024-06-28 23:04:22 +0200 | AlexZenon | (~alzenon@94.233.240.141) (Ping timeout: 268 seconds) |
| 2024-06-28 23:14:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-28 23:14:12 +0200 | AlexZenon | (~alzenon@94.233.240.141) |
| 2024-06-28 23:17:08 +0200 | <andrea_r> | I think I found a bug in the GHC FFI implementation of the wrapper calling convention: if the wrapper has more than 5 arguments the produced function seems to be bugged. In my test example it will get a wrong StablePtr and dereferencing will produce a SIGSEG. |
| 2024-06-28 23:17:20 +0200 | <andrea_r> | Two questions: is there a good soul willing to review my test case before I submit a bug report to the GHC team? The example can be found here: https://codeberg.org/andrea_rossato/ghc-ffi-wrapper |
| 2024-06-28 23:17:37 +0200 | <andrea_r> | Second: I'm not able to inspect the GHC C code for the wrapper functions (I tried with -keep-tmp-files with no results). Any hints? |
| 2024-06-28 23:21:22 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:8109:c59e:55fd:a4fa) (Remote host closed the connection) |
| 2024-06-28 23:21:46 +0200 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-28 23:22:32 +0200 | Pixi` | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-06-28 23:22:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-28 23:23:39 +0200 | AlexZenon | (~alzenon@94.233.240.141) (Ping timeout: 264 seconds) |
| 2024-06-28 23:26:26 +0200 | <andrea_r> | I forgot: tested with ghc-9.8.2 |
| 2024-06-28 23:32:45 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:b98a:b09d:31d2:62c5) |
| 2024-06-28 23:39:11 +0200 | AlexZenon | (~alzenon@94.233.240.141) |
| 2024-06-28 23:40:04 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.cust.swisscom.net) (Ping timeout: 246 seconds) |
| 2024-06-28 23:44:19 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-28 23:46:42 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-28 23:47:03 +0200 | AlexZenon | (~alzenon@94.233.240.141) (Ping timeout: 264 seconds) |
| 2024-06-28 23:51:12 +0200 | AlexZenon | (~alzenon@94.233.240.141) |