2024/06/28

2024-06-28 00:01:02 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-06-28 00:07:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-28 00:14:10 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-06-28 00:18:45 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds)
2024-06-28 00:25:19 +0200acidjnk_new3(~acidjnk@p200300d6e714dc25e45fde1d7555be75.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-06-28 00:28:17 +0200wbooze(~wbooze@2a02:908:1244:9a20:e553:b055:93c0:74f3)
2024-06-28 00:32:09 +0200Pozyomka(~pyon@user/pyon) (Quit: brb)
2024-06-28 00:33:51 +0200Pozyomka(~pyon@user/pyon)
2024-06-28 00:34:14 +0200zzz(~yin@user/zero) (Ping timeout: 252 seconds)
2024-06-28 00:34:53 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-06-28 00:36:10 +0200euleritian(~euleritia@176.2.74.187) (Ping timeout: 246 seconds)
2024-06-28 00:36:41 +0200euleritian(~euleritia@dynamic-176-001-215-001.176.1.pool.telefonica.de)
2024-06-28 00:39:31 +0200wbooze(~wbooze@2a02:908:1244:9a20:e553:b055:93c0:74f3) (Quit: Konversation terminated!)
2024-06-28 00:40:58 +0200zzz(~yin@user/zero)
2024-06-28 00:46:17 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-06-28 00:46:17 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-06-28 00:46:17 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer)
2024-06-28 00:46:57 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-06-28 00:46:57 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-06-28 00:47:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-06-28 00:48:47 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-06-28 00:51:37 +0200wbooze(~wbooze@2a02:908:1244:9a20:318:df9:bae4:1644)
2024-06-28 00:55:08 +0200euleritian(~euleritia@dynamic-176-001-215-001.176.1.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-06-28 00:58:40 +0200euleritian(~euleritia@dynamic-176-003-010-192.176.3.pool.telefonica.de)
2024-06-28 01:10:27 +0200euleritian(~euleritia@dynamic-176-003-010-192.176.3.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-06-28 01:10:50 +0200euleritian(~euleritia@dynamic-176-001-135-200.176.1.pool.telefonica.de)
2024-06-28 01:15:27 +0200euleritian(~euleritia@dynamic-176-001-135-200.176.1.pool.telefonica.de) (Ping timeout: 255 seconds)
2024-06-28 01:17:56 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-06-28 01:30:14 +0200euleritian(~euleritia@dynamic-176-003-011-227.176.3.pool.telefonica.de)
2024-06-28 01:36:12 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection)
2024-06-28 01:36:26 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-06-28 01:39:51 +0200euleritian(~euleritia@dynamic-176-003-011-227.176.3.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-06-28 01:40:00 +0200euleritian(~euleritia@dynamic-176-004-183-191.176.4.pool.telefonica.de)
2024-06-28 01:40:46 +0200xff0x(~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4) (Ping timeout: 268 seconds)
2024-06-28 01:53:06 +0200xff0x(~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4)
2024-06-28 01:53:26 +0200euleritian(~euleritia@dynamic-176-004-183-191.176.4.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-06-28 01:59:24 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:fbfc:6d96:4d1:519b)
2024-06-28 02:08:42 +0200euleritian(~euleritia@dynamic-176-002-001-235.176.2.pool.telefonica.de)
2024-06-28 02:09:12 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2024-06-28 02:11:17 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-06-28 02:16:29 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2024-06-28 02:26:03 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 264 seconds)
2024-06-28 02:30:54 +0200henry40408(~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
2024-06-28 02:31:23 +0200henry40408(~henry4040@175.182.111.183)
2024-06-28 03:15:26 +0200puke(~puke@user/puke) (Ping timeout: 268 seconds)
2024-06-28 03:17:36 +0200FragByte(~christian@user/fragbyte) (Ping timeout: 252 seconds)
2024-06-28 03:20:38 +0200FragByte(~christian@user/fragbyte)
2024-06-28 03:31:50 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288)
2024-06-28 03:32:30 +0200euleritian(~euleritia@dynamic-176-002-001-235.176.2.pool.telefonica.de) (Ping timeout: 256 seconds)
2024-06-28 03:35:18 +0200euleritian(~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de)
2024-06-28 03:35:28 +0200ystael(~ystael@user/ystael) (Ping timeout: 268 seconds)
2024-06-28 03:39:34 +0200xdminsy(~xdminsy@117.147.70.231)
2024-06-28 03:42:15 +0200euleritian(~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de) (Ping timeout: 268 seconds)
2024-06-28 03:43:12 +0200euleritian(~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de)
2024-06-28 03:49:14 +0200lockywolf(~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-28 03:51:18 +0200lockywolf(~lockywolf@public.lockywolf.net)
2024-06-28 03:56:33 +0200xff0x(~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4) (Ping timeout: 255 seconds)
2024-06-28 04:09:22 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-06-28 04:13:02 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-06-28 04:20:24 +0200rosco(~rosco@175.136.155.137)
2024-06-28 04:22:19 +0200euleritian(~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de) (Ping timeout: 256 seconds)
2024-06-28 04:24:18 +0200euleritian(~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de)
2024-06-28 04:32:46 +0200euleritian(~euleritia@dynamic-176-000-196-206.176.0.pool.telefonica.de) (Ping timeout: 246 seconds)
2024-06-28 04:33:33 +0200euleritian(~euleritia@dynamic-176-002-128-067.176.2.pool.telefonica.de)
2024-06-28 04:45:36 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-06-28 04:46:57 +0200td_(~td@i53870923.versanet.de) (Ping timeout: 255 seconds)
2024-06-28 04:47:22 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection)
2024-06-28 04:48:37 +0200td_(~td@i53870939.versanet.de)
2024-06-28 04:50:00 +0200xdminsy(~xdminsy@117.147.70.231) (Ping timeout: 252 seconds)
2024-06-28 04:51:09 +0200xdminsy(~xdminsy@117.147.70.231)
2024-06-28 04:53:37 +0200euleritian(~euleritia@dynamic-176-002-128-067.176.2.pool.telefonica.de) (Ping timeout: 256 seconds)
2024-06-28 04:58:14 +0200euleritian(~euleritia@dynamic-176-007-194-195.176.7.pool.telefonica.de)
2024-06-28 05:00:16 +0200glguy(g@libera/staff/glguy) (Remote host closed the connection)
2024-06-28 05:01:41 +0200glguy(g@libera/staff/glguy)
2024-06-28 05:02:25 +0200glguy(g@libera/staff/glguy) (Remote host closed the connection)
2024-06-28 05:02:44 +0200euleritian(~euleritia@dynamic-176-007-194-195.176.7.pool.telefonica.de) (Ping timeout: 268 seconds)
2024-06-28 05:02:55 +0200euleritian(~euleritia@dynamic-176-004-138-197.176.4.pool.telefonica.de)
2024-06-28 05:03:43 +0200glguy(g@libera/staff/glguy)
2024-06-28 05:13:00 +0200philopsos1(~caecilius@user/philopsos)
2024-06-28 05:21:53 +0200zzz(~yin@user/zero) (Ping timeout: 252 seconds)
2024-06-28 05:25:44 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 252 seconds)
2024-06-28 05:28:51 +0200zzz(~yin@user/zero)
2024-06-28 05:35:06 +0200aforemny_(~aforemny@i59F516E5.versanet.de) (Ping timeout: 255 seconds)
2024-06-28 05:35:40 +0200aforemny(~aforemny@i59F516DE.versanet.de)
2024-06-28 05:41:21 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:fbfc:6d96:4d1:519b) (Quit: Leaving)
2024-06-28 05:43:29 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
2024-06-28 05:53:23 +0200philopsos1(~caecilius@user/philopsos)
2024-06-28 05:57:15 +0200zzz(~yin@user/zero) (Ping timeout: 264 seconds)
2024-06-28 06:03:36 +0200zzz(~yin@user/zero)
2024-06-28 06:09:20 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-06-28 06:12:15 +0200lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap2371)
2024-06-28 06:12:57 +0200lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de)
2024-06-28 06:17:24 +0200eL_Bart0-(eL_Bart0@dietunichtguten.org) (Ping timeout: 256 seconds)
2024-06-28 06:17:29 +0200lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de) (Ping timeout: 256 seconds)
2024-06-28 06:17:38 +0200eL_Bart0(eL_Bart0@dietunichtguten.org)
2024-06-28 06:21:51 +0200euleritian(~euleritia@dynamic-176-004-138-197.176.4.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-06-28 06:21:53 +0200lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de)
2024-06-28 06:30:01 +0200euleritian(~euleritia@dynamic-176-002-082-013.176.2.pool.telefonica.de)
2024-06-28 06:36:19 +0200euleritian(~euleritia@dynamic-176-002-082-013.176.2.pool.telefonica.de) (Ping timeout: 246 seconds)
2024-06-28 06:37:20 +0200qqq(~qqq@92.43.167.61) (Remote host closed the connection)
2024-06-28 06:43:49 +0200rosco(~rosco@175.136.155.137) (Quit: Lost terminal)
2024-06-28 06:50:03 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 264 seconds)
2024-06-28 07:02:46 +0200wbooze(~wbooze@2a02:908:1244:9a20:318:df9:bae4:1644) (Remote host closed the connection)
2024-06-28 07:08:36 +0200philopsos1(~caecilius@user/philopsos)
2024-06-28 07:08:41 +0200euleritian(~euleritia@dynamic-176-004-183-072.176.4.pool.telefonica.de)
2024-06-28 07:11:53 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-06-28 07:22:12 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-06-28 07:24:24 +0200acidjnk_new3(~acidjnk@p200300d6e714dc15096bb9c652d485a4.dip0.t-ipconnect.de)
2024-06-28 07:26:06 +0200euleritian(~euleritia@dynamic-176-004-183-072.176.4.pool.telefonica.de) (Ping timeout: 268 seconds)
2024-06-28 07:26:35 +0200euleritian(~euleritia@dynamic-176-004-183-072.176.4.pool.telefonica.de)
2024-06-28 07:27:00 +0200yobson_(~yobson@mail.jotron.com)
2024-06-28 07:30:14 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-06-28 07:33:25 +0200euleritian(~euleritia@dynamic-176-004-183-072.176.4.pool.telefonica.de) (Ping timeout: 256 seconds)
2024-06-28 07:33:44 +0200euleritian(~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 +0200wbooze(~wbooze@2a02:908:1244:9a20:5dc2:35b3:3e15:fa64)
2024-06-28 07:38:16 +0200henry40408(~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
2024-06-28 07:38:42 +0200henry40408(~henry4040@175.182.111.183)
2024-06-28 07:40:29 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 252 seconds)
2024-06-28 07:42:07 +0200euleritian(~euleritia@dynamic-176-004-183-072.176.4.pool.telefonica.de) (Ping timeout: 246 seconds)
2024-06-28 07:42:33 +0200euleritian(~euleritia@dynamic-176-000-208-167.176.0.pool.telefonica.de)
2024-06-28 07:48:19 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2024-06-28 07:56:31 +0200euleritian(~euleritia@dynamic-176-000-208-167.176.0.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-06-28 07:57:32 +0200euleritian(~euleritia@dynamic-176-001-128-156.176.1.pool.telefonica.de)
2024-06-28 08:05:34 +0200michalz(~michalz@185.246.207.215)
2024-06-28 08:12:56 +0200euleritian(~euleritia@dynamic-176-001-128-156.176.1.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-06-28 08:13:23 +0200euleritian(~euleritia@dynamic-176-001-133-157.176.1.pool.telefonica.de)
2024-06-28 08:14:07 +0200euleritian(~euleritia@dynamic-176-001-133-157.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-28 08:14:25 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-28 08:23:27 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving)
2024-06-28 08:24:19 +0200phma(~phma@host-67-44-208-96.hnremote.net) (Read error: Connection reset by peer)
2024-06-28 08:25:12 +0200phma(phma@2001:5b0:211c:3a08:71e1:2206:9a0a:f676)
2024-06-28 08:34:17 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-06-28 08:35:53 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-06-28 08:36:26 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-06-28 08:38:31 +0200emmanuelux_(~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 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2024-06-28 09:11:39 +0200tcard(~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 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-28 09:20:35 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
2024-06-28 09:22:37 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-06-28 09:32:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-28 09:37:44 +0200yobson___(~yobson@mail.jotron.com)
2024-06-28 09:37:44 +0200yobson_(~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 +0200zzz(~yin@user/zero) (Ping timeout: 264 seconds)
2024-06-28 09:39:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-28 09:46:27 +0200zzz(~yin@user/zero)
2024-06-28 09:51:38 +0200nschoe(~nschoe@2a01:e0a:8e:a190:64a0:45cd:88ff:5a99) (Ping timeout: 268 seconds)
2024-06-28 09:57:13 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-06-28 09:57:28 +0200euleritian(~euleritia@dynamic-176-001-133-157.176.1.pool.telefonica.de)
2024-06-28 09:59:27 +0200chele(~chele@user/chele)
2024-06-28 10:08:13 +0200__monty__(~toonn@user/toonn)
2024-06-28 10:08:21 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2024-06-28 10:09:02 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-06-28 10:10:05 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 252 seconds)
2024-06-28 10:11:11 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-06-28 10:15:04 +0200swamp_(~zmt00@user/zmt00)
2024-06-28 10:15:17 +0200bairyn_(~bairyn@50.250.232.19) (Ping timeout: 240 seconds)
2024-06-28 10:18:11 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 256 seconds)
2024-06-28 10:18:47 +0200nschoe(~nschoe@2a01:e0a:8e:a190:7ec3:d3a5:178e:54f6)
2024-06-28 10:18:56 +0200danse-nr3(~danse-nr3@151.44.203.57)
2024-06-28 10:19:35 +0200danse-nr3(~danse-nr3@151.44.203.57) (Remote host closed the connection)
2024-06-28 10:19:59 +0200danse-nr3(~danse-nr3@151.44.203.57)
2024-06-28 10:23:30 +0200zmt01(~zmt00@user/zmt00)
2024-06-28 10:23:51 +0200glguy_(g@libera/staff/glguy)
2024-06-28 10:24:30 +0200glguy(g@libera/staff/glguy) (Ping timeout: 612 seconds)
2024-06-28 10:26:49 +0200swamp_(~zmt00@user/zmt00) (Ping timeout: 256 seconds)
2024-06-28 10:27:25 +0200bairyn(~bairyn@50.250.232.19)
2024-06-28 10:32:03 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-06-28 10:37:02 +0200zzz(~yin@user/zero) (Ping timeout: 252 seconds)
2024-06-28 10:42:11 +0200gmg(~user@user/gehmehgeh)
2024-06-28 10:43:35 +0200zzz(~yin@user/zero)
2024-06-28 10:44:04 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-06-28 10:49:05 +0200meritamen(~user@user/meritamen)
2024-06-28 10:51:54 +0200meritamen(~user@user/meritamen) (Remote host closed the connection)
2024-06-28 10:52:12 +0200meritamen(~user@user/meritamen)
2024-06-28 10:57:54 +0200meritamen(~user@user/meritamen) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
2024-06-28 10:58:49 +0200CiaoSen(~Jura@2a05:5800:419:d500:e6b9:7aff:fe80:3d03)
2024-06-28 11:02:23 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-06-28 11:08:18 +0200euphores(~SASL_euph@user/euphores)
2024-06-28 11:13:02 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-06-28 11:14:03 +0200soverysour(~soverysou@user/soverysour)
2024-06-28 11:18:35 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 264 seconds)
2024-06-28 11:20:57 +0200sawilagar(~sawilagar@user/sawilagar)
2024-06-28 11:32:04 +0200yobson___(~yobson@mail.jotron.com) (Ping timeout: 246 seconds)
2024-06-28 11:33:29 +0200danse-nr3(~danse-nr3@151.44.203.57) (Read error: Connection reset by peer)
2024-06-28 11:33:40 +0200danse-nr3(~danse-nr3@151.44.187.22)
2024-06-28 11:34:34 +0200Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no)
2024-06-28 11:43:43 +0200yobson_(~yobson@ip-86-153-106-77.eidsiva.net)
2024-06-28 11:51:18 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-06-28 11:58:59 +0200euleritian(~euleritia@dynamic-176-001-133-157.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-28 11:59:38 +0200euleritian(~euleritia@77.22.252.56)
2024-06-28 12:00:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-06-28 12:01:45 +0200xdminsy(~xdminsy@117.147.70.231) (Ping timeout: 268 seconds)
2024-06-28 12:02:50 +0200xdminsy(~xdminsy@117.147.70.231)
2024-06-28 12:03:08 +0200yobson_(~yobson@ip-86-153-106-77.eidsiva.net) (Remote host closed the connection)
2024-06-28 12:03:26 +0200driib3(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-06-28 12:03:44 +0200078AA10SL(~yobson@mail.jotron.com)
2024-06-28 12:04:01 +0200driib3(~driib@vmi931078.contaboserver.net)
2024-06-28 12:07:12 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:7f9a:4013:3a5d:d301)
2024-06-28 12:07:18 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
2024-06-28 12:11:09 +0200noumenon(~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94)
2024-06-28 12:11:19 +0200CiaoSen(~Jura@2a05:5800:419:d500:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds)
2024-06-28 12:16:06 +0200sawilagar(~sawilagar@user/sawilagar)
2024-06-28 12:29:39 +0200danse-nr3(~danse-nr3@151.44.187.22) (Ping timeout: 264 seconds)
2024-06-28 12:32:03 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-06-28 12:35:02 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-06-28 12:43:04 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds)
2024-06-28 12:43:10 +0200stef204(~stef204@user/stef204)
2024-06-28 12:45:54 +0200stef204(~stef204@user/stef204) (Client Quit)
2024-06-28 12:48:35 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.cust.swisscom.net)
2024-06-28 12:52:53 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 252 seconds)
2024-06-28 13:06:46 +0200michalz(~michalz@185.246.207.215) (Read error: Connection reset by peer)
2024-06-28 13:07:06 +0200michalz(~michalz@185.246.207.203)
2024-06-28 13:10:16 +0200tinjamin(~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat)
2024-06-28 13:10:34 +0200pja(~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 +0200tinjamin(~tinjamin@banshee.h4x0r.space)
2024-06-28 13:12:24 +0200tinjamin(~tinjamin@banshee.h4x0r.space) (Client Quit)
2024-06-28 13:13:20 +0200tinjamin(~tinjamin@banshee.h4x0r.space)
2024-06-28 13:19:57 +0200henry40408(~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
2024-06-28 13:20:26 +0200henry40408(~henry4040@175.182.111.183)
2024-06-28 13:23:12 +0200xdminsy(~xdminsy@117.147.70.231) (Remote host closed the connection)
2024-06-28 13:23:39 +0200xdminsy(~xdminsy@117.147.70.231)
2024-06-28 13:26:56 +0200destituion(~destituio@2a02:2121:6cb:fbc3:ec2c:8d1b:640f:1406) (Ping timeout: 256 seconds)
2024-06-28 13:28:01 +0200destituion(~destituio@85.221.111.174)
2024-06-28 13:39:28 +0200mikess(~mikess@user/mikess) (Ping timeout: 246 seconds)
2024-06-28 13:45:13 +0200oneeyedalien(~oneeyedal@user/oneeyedalien)
2024-06-28 13:49:00 +0200zzz(~yin@user/zero) (Ping timeout: 252 seconds)
2024-06-28 13:49:08 +0200danse-nr3(~danse-nr3@151.44.187.228)
2024-06-28 13:49:40 +0200danse-nr3(~danse-nr3@151.44.187.228) (Remote host closed the connection)
2024-06-28 13:50:04 +0200danse-nr3(~danse-nr3@151.44.187.228)
2024-06-28 13:55:57 +0200zzz(~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 +0200puke(~puke@user/puke)
2024-06-28 14:06:20 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-28 14:08:59 +0200CrunchyFlakes(~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 +0200rvalue(~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 +0200rvalue(~rvalue@user/rvalue)
2024-06-28 14:17:15 +0200 <ncf> https://hackage.haskell.org/package/intern ?
2024-06-28 14:18:41 +0200zzz(~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 +0200zzz(~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 +0200oneeyedalien(~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 +0200gabriel_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 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2024-06-28 14:55:55 +0200haskellbridgesm 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 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-06-28 15:02:52 +0200henry40408(~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
2024-06-28 15:03:17 +0200henry40408(~henry4040@175.182.111.183)
2024-06-28 15:03:55 +0200CiaoSen(~Jura@2a05:5800:419:d500:e6b9:7aff:fe80:3d03)
2024-06-28 15:12:07 +0200wbooze(~wbooze@2a02:908:1244:9a20:5dc2:35b3:3e15:fa64) (Remote host closed the connection)
2024-06-28 15:13:59 +0200danse-nr3(~danse-nr3@151.44.187.228) (Ping timeout: 256 seconds)
2024-06-28 15:14:20 +0200wbooze(~wbooze@2a02:908:1244:9a20:735b:8b9f:b041:4927)
2024-06-28 15:14:53 +0200xff0x(~xff0x@2405:6580:b080:900:6b0d:696c:4da9:e7ba)
2024-06-28 15:18:02 +0200mreh(~matthew@host86-160-168-12.range86-160.btcentralplus.com)
2024-06-28 15:22:11 +0200zzz(~yin@user/zero) (Ping timeout: 264 seconds)
2024-06-28 15:26:06 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-06-28 15:28:50 +0200zzz(~yin@user/zero)
2024-06-28 15:31:07 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 246 seconds)
2024-06-28 15:31:26 +0200euleritian(~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de)
2024-06-28 15:50:51 +0200CiaoSen(~Jura@2a05:5800:419:d500:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds)
2024-06-28 15:59:07 +0200euleritian(~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-28 15:59:51 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-06-28 16:00:37 +0200euleritian(~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de)
2024-06-28 16:03:40 +0200Sgeo(~Sgeo@user/sgeo)
2024-06-28 16:10:35 +0200078AA10SL(~yobson@mail.jotron.com) (Ping timeout: 268 seconds)
2024-06-28 16:13:12 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.3.1)
2024-06-28 16:13:58 +0200wbooze(~wbooze@2a02:908:1244:9a20:735b:8b9f:b041:4927) (Ping timeout: 268 seconds)
2024-06-28 16:26:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-28 16:31:40 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de)
2024-06-28 16:44:47 +0200dcoutts_(~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 256 seconds)
2024-06-28 16:54:39 +0200soverysour(~soverysou@user/soverysour)
2024-06-28 16:54:39 +0200destituion(~destituio@85.221.111.174) (Read error: Connection reset by peer)
2024-06-28 16:58:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-28 17:03:12 +0200wbooze(~wbooze@2a02:908:1244:9a20:8109:c59e:55fd:a4fa)
2024-06-28 17:04:43 +0200danse-nr3(~danse-nr3@151.46.207.229)
2024-06-28 17:05:21 +0200danse-nr3(~danse-nr3@151.46.207.229) (Remote host closed the connection)
2024-06-28 17:05:46 +0200danse-nr3(~danse-nr3@151.46.207.229)
2024-06-28 17:08:32 +0200qqq(~qqq@92.43.167.61)
2024-06-28 17:09:04 +0200destituion(~destituio@2a02:2121:6cb:fbc3:5940:6cf4:b639:63ef)
2024-06-28 17:09:51 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 264 seconds)
2024-06-28 17:16:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-28 17:22:08 +0200henry40408(~henry4040@175.182.111.183) (Quit: The Lounge - https://thelounge.chat)
2024-06-28 17:26:54 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds)
2024-06-28 17:28:54 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-06-28 17:33:41 +0200euleritian(~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-28 17:34:00 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-28 17:47:38 +0200AlexNoo_(~AlexNoo@94.233.240.141)
2024-06-28 17:50:10 +0200AlexZenon(~alzenon@94.233.241.180) (Ping timeout: 268 seconds)
2024-06-28 17:51:18 +0200AlexNoo(~AlexNoo@94.233.241.180) (Ping timeout: 255 seconds)
2024-06-28 17:55:40 +0200AlexZenon(~alzenon@94.233.240.141)
2024-06-28 17:57:07 +0200incertia(~incertia@209.122.137.252) (Ping timeout: 260 seconds)
2024-06-28 17:58:02 +0200AlexNoo_AlexNoo
2024-06-28 18:00:36 +0200incertia(~incertia@209.122.137.252)
2024-06-28 18:06:01 +0200swistak-(~swistak@185.21.216.141) (Remote host closed the connection)
2024-06-28 18:10:50 +0200AlexZenon(~alzenon@94.233.240.141) (Ping timeout: 268 seconds)
2024-06-28 18:10:50 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds)
2024-06-28 18:15:47 +0200soverysour(~soverysou@user/soverysour)
2024-06-28 18:16:33 +0200soverysour(~soverysou@user/soverysour) (Remote host closed the connection)
2024-06-28 18:18:04 +0200soverysour(~soverysou@user/soverysour)
2024-06-28 18:18:16 +0200caryfitz(~caryfitz@2600:1700:e72:9000::47)
2024-06-28 18:18:17 +0200soverysour(~soverysou@user/soverysour) (Remote host closed the connection)
2024-06-28 18:18:30 +0200soverysour(~soverysou@81.196.150.219)
2024-06-28 18:18:30 +0200soverysour(~soverysou@81.196.150.219) (Changing host)
2024-06-28 18:18:30 +0200soverysour(~soverysou@user/soverysour)
2024-06-28 18:19:39 +0200AlexZenon(~alzenon@94.233.240.141)
2024-06-28 18:21:52 +0200danse-nr3(~danse-nr3@151.46.207.229) (Remote host closed the connection)
2024-06-28 18:22:48 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-28 18:23:19 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:7f9a:4013:3a5d:d301) (Remote host closed the connection)
2024-06-28 18:24:22 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-28 18:29:52 +0200ystael(~ystael@user/ystael)
2024-06-28 18:31:14 +0200AlexZenon(~alzenon@94.233.240.141) (Ping timeout: 256 seconds)
2024-06-28 18:32:29 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-06-28 18:35:29 +0200philopsos1(~caecilius@user/philopsos)
2024-06-28 18:39:03 +0200danse-nr3(~danse-nr3@151.46.207.229)
2024-06-28 18:40:18 +0200soverysour(~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 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-06-28 18:45:51 +0200aforemny(~aforemny@i59F516DE.versanet.de) (Ping timeout: 264 seconds)
2024-06-28 18:45:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-28 18:45:56 +0200euleritian(~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de)
2024-06-28 18:48:00 +0200td_(~td@i53870939.versanet.de) (Quit: waking up from the american dream ...)
2024-06-28 18:49:56 +0200AlexZenon(~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 +0200danse-nr3should stop thinking about a trained machine
2024-06-28 18:54:14 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 252 seconds)
2024-06-28 18:54:45 +0200glguy_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 +0200soverysour(~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 +0200chele(~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 +0200noumenon(~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 +0200danse-nr3should 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 +0200zetef(~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f)
2024-06-28 19:04:30 +0200zetef(~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Client Quit)
2024-06-28 19:05:31 +0200philopsos1(~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 +0200tromp(~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 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-06-28 19:12:18 +0200td_(~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 +0200arkeet(~arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-28 19:14:28 +0200arkeet(~arkeet@moriya.ca)
2024-06-28 19:14:29 +0200JuanDaugherty(~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 +0200AlexZenon(~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 +0200zzz(~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 +0200caryfitz(~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 +0200zzz(~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 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-06-28 19:28:48 +0200AlexZenon(~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 +0200econo_(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 +0200tromp(~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 +0200JuanDaugherty(~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 +0200tzh(~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 +0200Goodbye_Vincent(cyvahl@freakshells.net) (Quit: Ping timeout (120 seconds))
2024-06-28 19:49:30 +0200Goodbye_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 +0200danse-nr3(~danse-nr3@151.46.207.229) (Read error: Connection reset by peer)
2024-06-28 19:52:46 +0200danse-nr3(~danse-nr3@151.46.138.116)
2024-06-28 19:53:31 +0200dcoutts_(~duncan@ip-185-104-136-49.ptr.icomera.net)
2024-06-28 19:55:38 +0200danse-nr3(~danse-nr3@151.46.138.116) (Remote host closed the connection)
2024-06-28 20:01:04 +0200DreamDeckup(~DreamDeck@184.145.181.233)
2024-06-28 20:03:26 +0200mikess(~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 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-06-28 20:16:13 +0200Lord_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 +0200machinedgod(~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 +0200target_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 +0200dcoutts_(~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 +0200dcoutts_(~duncan@ip-185-104-136-49.ptr.icomera.net)
2024-06-28 20:37:16 +0200erty(~user@user/aeroplane)
2024-06-28 20:45:27 +0200euleritian(~euleritia@dynamic-176-001-130-225.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-06-28 20:45:44 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-28 20:53:44 +0200caryfitz(~caryfitz@2600:1700:e72:9000::47)
2024-06-28 20:54:55 +0200dcoutts_(~duncan@ip-185-104-136-49.ptr.icomera.net) (Ping timeout: 260 seconds)
2024-06-28 20:55:47 +0200Typedfern(~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 +0200Typedfern(~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net)
2024-06-28 21:15:31 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 268 seconds)
2024-06-28 21:19:50 +0200talismanick(~user@campus-014-004.ucdavis.edu)
2024-06-28 21:24:16 +0200ystael(~ystael@user/ystael) (Ping timeout: 246 seconds)
2024-06-28 21:25:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-28 21:30:22 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-28 21:31:36 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-28 21:32:38 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2024-06-28 21:33:14 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2024-06-28 21:36:48 +0200talismanick(~user@campus-014-004.ucdavis.edu) (Ping timeout: 268 seconds)
2024-06-28 21:39:10 +0200Guest4674(~user@campus-014-004.ucdavis.edu)
2024-06-28 21:41:48 +0200typedfern_(~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net)
2024-06-28 21:41:52 +0200typedfern_(~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Remote host closed the connection)
2024-06-28 21:41:53 +0200Typedfern(~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Remote host closed the connection)
2024-06-28 21:41:56 +0200Guest4674(~user@campus-014-004.ucdavis.edu) (Client Quit)
2024-06-28 21:41:59 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 264 seconds)
2024-06-28 21:43:05 +0200Typedfern(~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net)
2024-06-28 21:43:05 +0200talismanick(~user@campus-014-004.ucdavis.edu)
2024-06-28 21:43:07 +0200Typedfern(~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Client Quit)
2024-06-28 21:43:32 +0200Typedfern(~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net)
2024-06-28 21:46:56 +0200philopsos1(~caecilius@user/philopsos)
2024-06-28 21:58:11 +0200zzz(~yin@user/zero) (Ping timeout: 264 seconds)
2024-06-28 22:03:19 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-06-28 22:17:08 +0200hugo-hugo
2024-06-28 22:26:34 +0200 <cheater> i baked a tau for tau day
2024-06-28 22:27:27 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-06-28 22:31:06 +0200ystael(~ystael@user/ystael)
2024-06-28 22:33:55 +0200mikess(~mikess@user/mikess) (Ping timeout: 246 seconds)
2024-06-28 22:37:33 +0200mud(~mud@user/kadoban) (Quit: quit)
2024-06-28 22:39:41 +0200mikess(~mikess@user/mikess)
2024-06-28 22:41:33 +0200talismanick(~user@campus-014-004.ucdavis.edu) (Ping timeout: 255 seconds)
2024-06-28 22:41:44 +0200mud(~mud@user/kadoban)
2024-06-28 22:48:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-28 22:52:37 +0200zzz(~yin@user/zero)
2024-06-28 22:55:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-28 23:01:40 +0200kimiamania(~65804703@user/kimiamania) (Quit: PegeLinux)
2024-06-28 23:02:02 +0200kimiamania(~65804703@user/kimiamania)
2024-06-28 23:04:22 +0200AlexZenon(~alzenon@94.233.240.141) (Ping timeout: 268 seconds)
2024-06-28 23:14:11 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-06-28 23:14:12 +0200AlexZenon(~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 +0200wbooze(~wbooze@2a02:908:1244:9a20:8109:c59e:55fd:a4fa) (Remote host closed the connection)
2024-06-28 23:21:46 +0200michalz(~michalz@185.246.207.203) (Quit: ZNC 1.9.0 - https://znc.in)
2024-06-28 23:22:32 +0200Pixi`(~Pixi@user/pixi) (Quit: Leaving)
2024-06-28 23:22:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-06-28 23:23:39 +0200AlexZenon(~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 +0200wbooze(~wbooze@2a02:908:1244:9a20:b98a:b09d:31d2:62c5)
2024-06-28 23:39:11 +0200AlexZenon(~alzenon@94.233.240.141)
2024-06-28 23:40:04 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.cust.swisscom.net) (Ping timeout: 246 seconds)
2024-06-28 23:44:19 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-06-28 23:46:42 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-06-28 23:47:03 +0200AlexZenon(~alzenon@94.233.240.141) (Ping timeout: 264 seconds)
2024-06-28 23:51:12 +0200AlexZenon(~alzenon@94.233.240.141)