| 2025-10-06 00:03:10 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-06 00:04:28 +0200 | Zemy | (~Zemy@syn-067-078-059-246.biz.spectrum.com) |
| 2025-10-06 00:05:14 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-06 00:05:40 +0200 | Core3344 | (~Zemy@2600:100c:b01e:58f5:4099:58ff:fed7:6f0a) |
| 2025-10-06 00:06:11 +0200 | Zemy_ | (~Zemy@2600:100c:b01e:58f5:fc3b:5ff:fe80:fb76) (Read error: Connection reset by peer) |
| 2025-10-06 00:06:39 +0200 | synchrom1 | (~john@2406:5a00:2412:2c00:f96c:67d7:70e0:3cb9) synchromesh |
| 2025-10-06 00:08:37 +0200 | Zemy | (~Zemy@syn-067-078-059-246.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-10-06 00:08:54 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:f96c:67d7:70e0:3cb9) (Ping timeout: 256 seconds) |
| 2025-10-06 00:09:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 00:10:19 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:f96c:67d7:70e0:3cb9) synchromesh |
| 2025-10-06 00:10:38 +0200 | Googulator14 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 00:10:39 +0200 | Googulator39 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 00:11:44 +0200 | synchrom1 | (~john@2406:5a00:2412:2c00:f96c:67d7:70e0:3cb9) (Ping timeout: 256 seconds) |
| 2025-10-06 00:13:24 +0200 | synchrom1 | (~john@115.69.186.131) synchromesh |
| 2025-10-06 00:15:08 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:f96c:67d7:70e0:3cb9) (Ping timeout: 256 seconds) |
| 2025-10-06 00:16:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 00:17:08 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-10-06 00:21:22 +0200 | Core3344 | (~Zemy@2600:100c:b01e:58f5:4099:58ff:fed7:6f0a) (Ping timeout: 256 seconds) |
| 2025-10-06 00:27:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 00:32:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 00:32:54 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-06 00:34:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-06 00:34:51 +0200 | ljdarj1 | ljdarj |
| 2025-10-06 00:35:41 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 00:35:41 +0200 | Googulator39 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 00:42:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 00:47:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 00:58:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 01:03:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 01:05:58 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 01:06:02 +0200 | Googulator67 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 01:08:16 +0200 | ds7832 | (~ds7832@ip-037-049-102-199.um09.pools.vodafone-ip.de) |
| 2025-10-06 01:10:36 +0200 | Googulator67 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-06 01:10:38 +0200 | Googulator83 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 01:13:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 01:15:20 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-10-06 01:18:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 01:29:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 01:29:52 +0200 | otto_s | (~user@p5b04430e.dip0.t-ipconnect.de) |
| 2025-10-06 01:30:14 +0200 | acidjnk | (~acidjnk@p200300d6e71719876568cbed5e988b47.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-10-06 01:33:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 01:36:07 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 01:36:15 +0200 | Googulator83 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 01:37:32 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-06 01:44:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 01:49:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 01:50:23 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-06 01:58:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 02:00:09 +0200 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-10-06 02:00:14 +0200 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-10-06 02:00:39 +0200 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 02:00:41 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 02:05:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 02:11:23 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-10-06 02:16:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 02:20:41 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 02:20:41 +0200 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 02:21:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 02:21:49 +0200 | Guest42 | (~Guest42@38.25.29.78) |
| 2025-10-06 02:22:03 +0200 | Guest42 | (~Guest42@38.25.29.78) (Client Quit) |
| 2025-10-06 02:32:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 02:37:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 02:38:29 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 02:38:43 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 02:40:10 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-06 02:40:46 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 02:43:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-06 02:47:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 02:48:27 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-10-06 02:49:43 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 02:52:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 02:56:38 +0200 | otto_s | (~user@p5b04430e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-10-06 02:58:24 +0200 | otto_s | (~user@p5de2fdb9.dip0.t-ipconnect.de) |
| 2025-10-06 02:58:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c9ae:e20e:9eab:cf61) (Ping timeout: 248 seconds) |
| 2025-10-06 03:03:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 03:06:23 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 03:07:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-06 03:07:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 03:09:02 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 03:11:47 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-06 03:12:06 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-06 03:13:31 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-06 03:13:54 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-06 03:15:44 +0200 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-10-06 03:18:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 03:22:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 03:30:14 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-06 03:32:13 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-06 03:32:46 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-06 03:33:11 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-06 03:33:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 03:40:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 03:40:42 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 03:40:46 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 03:43:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 03:48:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 03:57:06 +0200 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2025-10-06 03:59:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 04:03:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-06 04:03:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 04:07:30 +0200 | <yang_> | perser combinators are way cool but recently I fell in love with the simplicity of semantic regexes I learned while using scheme |
| 2025-10-06 04:14:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 04:18:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 04:19:06 +0200 | <haskellbridge> | <sm> are those regexps with a more human readable syntax ? |
| 2025-10-06 04:20:47 +0200 | Googulator85 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 04:21:12 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 04:29:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 04:33:55 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-06 04:34:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 04:34:24 +0200 | synchrom1 | (~john@115.69.186.131) (Read error: Connection reset by peer) |
| 2025-10-06 04:34:48 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:14af:5217:695d:a2e) synchromesh |
| 2025-10-06 04:45:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 04:45:38 +0200 | Googulator92 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-06 04:45:44 +0200 | Googulator85 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 04:49:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 05:00:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 05:05:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 05:07:15 +0200 | craunts79 | (~craunts@136.158.7.194) |
| 2025-10-06 05:10:36 +0200 | Googulator67 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 05:10:38 +0200 | Googulator92 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 05:12:11 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-06 05:12:30 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-06 05:14:50 +0200 | <dcpagan> | Not really a Haskell question, but is there a standard mathematical notation for a unary prefix operator denoting the reciprocal? |
| 2025-10-06 05:15:46 +0200 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 05:16:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 05:16:09 +0200 | Googulator67 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 05:17:14 +0200 | <monochrom> | No, it has always been postfix superscript -1. |
| 2025-10-06 05:17:46 +0200 | <monochrom> | Standard math notation was evolved not designed. |
| 2025-10-06 05:18:09 +0200 | <dcpagan> | Man, I really hate that notation. That's not even an operator, but an exponent. |
| 2025-10-06 05:18:43 +0200 | <dcpagan> | We overloaded minus in an unary context to mean negation. Why can't we do the same thing with the solidus? |
| 2025-10-06 05:19:24 +0200 | <dcpagan> | "2 + -2 = 0" is accepted. Why not "2 * /2 = 1"? |
| 2025-10-06 05:23:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 05:23:44 +0200 | cheater | (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Remote host closed the connection) |
| 2025-10-06 05:27:02 +0200 | <Maxdamantus> | Is "2 + - - 2 = 4" accepted? |
| 2025-10-06 05:28:12 +0200 | <Maxdamantus> | works in JS at least, dunno about standard notation. |
| 2025-10-06 05:29:55 +0200 | <Maxdamantus> | I vote for "x 0 1 - ^" as the notation for reciprocals. |
| 2025-10-06 05:31:03 +0200 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 05:31:05 +0200 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 05:33:08 +0200 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2025-10-06 05:34:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 05:36:01 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 05:36:12 +0200 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 05:38:41 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-06 05:39:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 05:40:17 +0200 | <dcpagan> | Prefix operators usually have no space between them and their operand. |
| 2025-10-06 05:40:30 +0200 | <dcpagan> | Also, they often are parenthesized with the operand. |
| 2025-10-06 05:44:15 +0200 | <Maxdamantus> | So is "2 + --2 = 4" accepted then? |
| 2025-10-06 05:44:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 05:44:41 +0200 | <jreicher> | dcpagan: I think this is a bit like arguing cube root should be a unary operator |
| 2025-10-06 05:45:31 +0200 | <jreicher> | Square root kind of is through omission of the number, but not even squaring is a unary operator |
| 2025-10-06 05:45:45 +0200 | <fgidim> | i think haskell kind of supports this with sections. don't know if it is readable though. (1/) |
| 2025-10-06 05:48:10 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-10-06 05:49:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 05:49:56 +0200 | <EvanR_> | dcpagan, postfix -1 is not necessarily an "exponent" |
| 2025-10-06 05:50:14 +0200 | <EvanR_> | though it is consistent with exponents e.g. 3.14 * 10^-1 |
| 2025-10-06 05:50:20 +0200 | EvanR_ | EvanR |
| 2025-10-06 05:51:17 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2025-10-06 05:51:20 +0200 | dostoevsky | (~dostoevsk@user/dostoevsky) (Quit: Leaving) |
| 2025-10-06 05:51:51 +0200 | <EvanR> | and it doesn't just mean reciprocal it's inverse |
| 2025-10-06 05:54:31 +0200 | <jreicher> | EvanR: I think it amounts to the same if you allow for a fractional number of applications of an operator (e.g. fractional derivative generalises -1 as the antiderivative) |
| 2025-10-06 05:55:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 05:56:11 +0200 | <EvanR> | that makes no sense |
| 2025-10-06 05:56:48 +0200 | <EvanR> | like average number of 2.2 kids |
| 2025-10-06 05:59:07 +0200 | <jreicher> | I'm not sure it's much worse than moving from multiplication as repeated addition (which requires one number to be a positive integer) to the situation where neither of the numbers are positive integers. Multiplication becomes detached from the intuitive meaning at that point and is just an algebraic operation. |
| 2025-10-06 05:59:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 06:07:28 +0200 | <jreicher> | dcpagan: you've really got me thinking about negation now. I actually don't think it's an operator at all. It's an angle. |
| 2025-10-06 06:10:31 +0200 | <dcpagan> | The context of this question on notation is that I'm playing around with delimited continuations, and I had to program a monad to structure field operations. |
| 2025-10-06 06:10:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 06:10:52 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-10-06 06:10:54 +0200 | <dcpagan> | I want an elegant notation standard for formatting the reciprocal. |
| 2025-10-06 06:10:59 +0200 | <dcpagan> | Here is my sandbox: https://github.com/DCPagan/haskell-sandbox.git |
| 2025-10-06 06:13:17 +0200 | <jreicher> | That even more convinces me you're not after an operator; you're after a syntactically nice literal notation for certain elements |
| 2025-10-06 06:13:24 +0200 | <jreicher> | Right? |
| 2025-10-06 06:14:43 +0200 | <dcpagan> | Yes, I am. |
| 2025-10-06 06:14:59 +0200 | <dcpagan> | Prefix unary notations parse and format nicely |
| 2025-10-06 06:15:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 06:17:47 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 06:18:00 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 06:18:33 +0200 | <dcpagan> | And I need to format these field expressions to see how delimited continuations manipulate expressions. |
| 2025-10-06 06:18:55 +0200 | <dcpagan> | My delimited continuation program prints this: "(* (* 3 /2) (* 5 /2))" |
| 2025-10-06 06:19:56 +0200 | <jreicher> | I quite like your idea of /2, /3, etc. It's got some solid parallels. 0 is the additive identity, and we omit zero in 0-3, and omit both the zero and the operator in 3-0. 1 is the multiplicative identity, and if we omit both the 1 and the operator in 3/1, it's a solid parallel to omit the number in /3 |
| 2025-10-06 06:21:11 +0200 | <dcpagan> | Omitting units would require parsing 0's and 1's into their respective units, and reformatting the format to an histomorphism to peer deeper into the recursive structure. |
| 2025-10-06 06:22:06 +0200 | <EvanR> | jreicher, there exists abstraction "monoid with minus operation" |
| 2025-10-06 06:22:14 +0200 | <EvanR> | monus |
| 2025-10-06 06:22:20 +0200 | <dcpagan> | But I primarily wrote this sandbox to grok how delimited continuations manipulate computations by designing a simple field monad to structure those computations. |
| 2025-10-06 06:22:46 +0200 | <dcpagan> | Algebraically speaking, the minus operator is the right inverse additive group operator. |
| 2025-10-06 06:23:11 +0200 | <dcpagan> | Divide is the right inverse partial group operator of the field. |
| 2025-10-06 06:23:14 +0200 | <jreicher> | EvanR: yeah I've come across monus with Church numerals. |
| 2025-10-06 06:23:23 +0200 | <dcpagan> | What's a monus? |
| 2025-10-06 06:23:50 +0200 | <jreicher> | https://en.wikipedia.org/wiki/Monus |
| 2025-10-06 06:24:38 +0200 | <dcpagan> | That looks like a partial obelus. |
| 2025-10-06 06:25:39 +0200 | <dcpagan> | I deliberatively took out the minus and divide operators in my monad to base it on abstract algebraic terms. |
| 2025-10-06 06:25:48 +0200 | <EvanR> | dennis ritchie's phd thesis? then it's canon |
| 2025-10-06 06:26:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 06:26:17 +0200 | <dcpagan> | Which is why the lack of a sane unary prefix for the reciprocal so vexes me. |
| 2025-10-06 06:26:44 +0200 | <jreicher> | When you first asked your question I grabbed my copy of Concrete Mathematics. I thought if anyone was going to be fussy about notation, Knuth would be... |
| 2025-10-06 06:27:20 +0200 | <dcpagan> | I have Serge Lang's Algebra with me right now, and even he uses (^-1). |
| 2025-10-06 06:28:48 +0200 | <jreicher> | Mathematicians don't usually write parsers. And I'm not joking; I think that's the real difference in what you're doing. Means you have literals for the elements. |
| 2025-10-06 06:29:53 +0200 | <Leary> | dcpagan: Just write `recip` or `invert` or `inverse` and be done with it. It doesn't matter if it isn't standard if it can be understood at a glance. |
| 2025-10-06 06:30:38 +0200 | <EvanR> | we have it |
| 2025-10-06 06:30:40 +0200 | <EvanR> | recip |
| 2025-10-06 06:30:42 +0200 | <EvanR> | enjoy |
| 2025-10-06 06:30:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 06:31:25 +0200 | <EvanR> | pretty sure I've seen a function called "inv" somewhere |
| 2025-10-06 06:31:40 +0200 | <EvanR> | saving you two characters |
| 2025-10-06 06:34:06 +0200 | litharge` | (litharge@libera/bot/litharge) litharge |
| 2025-10-06 06:34:22 +0200 | <jreicher> | https://aplwiki.com/wiki/Reciprocal same idea, basically (fairly Iverson was also fussy about notation) |
| 2025-10-06 06:34:29 +0200 | <jreicher> | ...fairly sure... |
| 2025-10-06 06:34:33 +0200 | litharge` | (litharge@libera/bot/litharge) (Read error: Connection reset by peer) |
| 2025-10-06 06:34:37 +0200 | <dcpagan> | I recently took a glance at ISO 80000-2 and discovered that the international standard parses the solidus ("/") divide operator with a very low precedence to denote fractional notation, and split the whole expression into numerator and denominator. |
| 2025-10-06 06:34:42 +0200 | <dcpagan> | https://raptros.com/blog/2019-obelus/ |
| 2025-10-06 06:34:56 +0200 | <dcpagan> | Standard mathematical notation is cracked. |
| 2025-10-06 06:36:06 +0200 | <EvanR> | a big ass line between two expressions to denote a fraction was pioneered by the egyptians if you squint hard enough |
| 2025-10-06 06:36:15 +0200 | <dcpagan> | That's nothing like how bc parses expressions. |
| 2025-10-06 06:36:31 +0200 | <EvanR> | | over numeral for whatever number was the reciprocol of that number |
| 2025-10-06 06:36:48 +0200 | <EvanR> | spookily similar to today's notation |
| 2025-10-06 06:37:31 +0200 | <EvanR> | for some reason it wasn't proper to put anything other than one in the numerator |
| 2025-10-06 06:38:05 +0200 | <EvanR> | not that that was considered "the numerator" |
| 2025-10-06 06:38:22 +0200 | <EvanR> | just notation (?) |
| 2025-10-06 06:40:37 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 246 seconds) |
| 2025-10-06 06:40:37 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 06:40:42 +0200 | Googulator4 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 06:41:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 06:43:51 +0200 | <dcpagan> | jreicher: Overloading the obelus ("Ă·") for the reciprocal seems like a good idea; ISO 80000-2 has deprecated its use for division, so I may as well overload it to mean reciprocal for my personal notation. |
| 2025-10-06 06:45:31 +0200 | <jreicher> | Honestly I didn't know APL had that. But I was aware of Iverson's other work on notation. |
| 2025-10-06 06:50:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 06:52:22 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-10-06 06:57:01 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-10-06 06:59:09 +0200 | qqe | (~qqq@185.54.22.40) |
| 2025-10-06 07:00:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 07:06:35 +0200 | myxos | (~myxos@syn-065-025-110-175.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-10-06 07:07:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 07:10:39 +0200 | myxos | (~myxos@syn-065-025-110-175.res.spectrum.com) myxokephale |
| 2025-10-06 07:11:25 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 264 seconds) |
| 2025-10-06 07:11:34 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 260 seconds) |
| 2025-10-06 07:15:52 +0200 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 256 seconds) |
| 2025-10-06 07:17:17 +0200 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
| 2025-10-06 07:17:45 +0200 | peterbecich | (~Thunderbi@47.149.198.150) peterbecich |
| 2025-10-06 07:18:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 07:20:15 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-06 07:23:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 07:25:59 +0200 | Googulator4 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 07:26:04 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 07:29:28 +0200 | trickard_ | trickard |
| 2025-10-06 07:34:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 07:35:36 +0200 | myxokephale | (~myxos@syn-065-025-110-175.res.spectrum.com) myxokephale |
| 2025-10-06 07:35:36 +0200 | myxos | (~myxos@syn-065-025-110-175.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-06 07:35:38 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 260 seconds) |
| 2025-10-06 07:36:31 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-06 07:38:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 07:44:17 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-10-06 07:45:10 +0200 | qqe | (~qqq@185.54.22.40) (Quit: leaving) |
| 2025-10-06 07:49:25 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-06 07:49:56 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-10-06 07:50:54 +0200 | pavonia_ | (~user@user/siracusa) siracusa |
| 2025-10-06 07:51:49 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-10-06 07:51:49 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 2025-10-06 07:51:51 +0200 | peterbecich | (~Thunderbi@47.149.198.150) (Ping timeout: 256 seconds) |
| 2025-10-06 07:52:17 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 246 seconds) |
| 2025-10-06 07:52:24 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 246 seconds) |
| 2025-10-06 07:52:43 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 246 seconds) |
| 2025-10-06 07:52:56 +0200 | pavonia_ | pavonia |
| 2025-10-06 07:54:09 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-06 07:54:12 +0200 | michalz | (~michalz@185.246.207.203) |
| 2025-10-06 07:56:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-10-06 07:57:06 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-06 07:58:03 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-06 07:58:22 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-06 08:00:31 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 08:00:42 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 08:02:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 08:02:31 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-06 08:02:49 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-06 08:06:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-06 08:17:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 08:21:06 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-06 08:22:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 08:30:27 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 08:30:38 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 08:32:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 08:34:05 +0200 | DrachenMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-10-06 08:34:34 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) (Ping timeout: 255 seconds) |
| 2025-10-06 08:37:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 08:44:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
| 2025-10-06 08:45:35 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-06 08:47:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 08:47:52 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-06 08:54:53 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 08:55:06 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 08:58:15 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-06 08:58:23 +0200 | poscat0x04 | (~poscat@user/poscat) (*.net *.split) |
| 2025-10-06 08:58:23 +0200 | Fijxu | (~Fijxu@user/fijxu) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | dyniec | (~dyniec@dybiec.info) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | geekosaur | (sid609282@xmonad/geekosaur) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | Guest7116 | (~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) (*.net *.split) |
| 2025-10-06 08:58:24 +0200 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (*.net *.split) |
| 2025-10-06 08:59:19 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-10-06 08:59:19 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-10-06 08:59:19 +0200 | dyniec | (~dyniec@dybiec.info) dyniec |
| 2025-10-06 08:59:19 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-10-06 08:59:19 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2025-10-06 08:59:19 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla |
| 2025-10-06 08:59:19 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2025-10-06 08:59:19 +0200 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2025-10-06 08:59:19 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2025-10-06 08:59:19 +0200 | chymera | (~chymera@ns1000526.ip-51-81-46.us) chymera |
| 2025-10-06 08:59:19 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
| 2025-10-06 08:59:19 +0200 | geekosaur | (sid609282@xmonad/geekosaur) geekosaur |
| 2025-10-06 08:59:19 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2025-10-06 08:59:19 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2025-10-06 08:59:19 +0200 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2025-10-06 08:59:19 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2025-10-06 08:59:19 +0200 | Guest7116 | (~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) |
| 2025-10-06 08:59:19 +0200 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2025-10-06 08:59:19 +0200 | tungsten.libera.chat | +v yahb2 |
| 2025-10-06 09:00:02 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-06 09:00:44 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-10-06 09:04:17 +0200 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 244 seconds) |
| 2025-10-06 09:06:21 +0200 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2025-10-06 09:09:57 +0200 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-06 09:10:14 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2025-10-06 09:13:12 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-06 09:13:42 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-06 09:16:02 +0200 | trickard_ | trickard |
| 2025-10-06 09:18:38 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 09:19:00 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 09:20:41 +0200 | Googulator29 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 09:20:41 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 09:21:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-06 09:26:18 +0200 | annamalai | (~annamalai@2409:4042:20a:75ea::d7c:d8ad) (Ping timeout: 248 seconds) |
| 2025-10-06 09:28:37 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-06 09:30:55 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-10-06 09:31:02 +0200 | Googulator7 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 09:31:06 +0200 | Googulator29 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 09:32:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 09:35:00 +0200 | annamalai | (~annamalai@157.33.195.79) annamalai |
| 2025-10-06 09:35:36 +0200 | Googulator7 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-06 09:35:41 +0200 | Googulator33 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 09:35:44 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 09:35:56 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 09:44:57 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-06 09:48:35 +0200 | annamalai | (~annamalai@157.33.195.79) (Ping timeout: 256 seconds) |
| 2025-10-06 09:49:57 +0200 | annamalai | (~annamalai@157.33.195.79) annamalai |
| 2025-10-06 09:55:42 +0200 | Googulator33 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 09:55:45 +0200 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 09:55:48 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-06 09:57:16 +0200 | chele | (~chele@user/chele) chele |
| 2025-10-06 10:03:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-06 10:04:00 +0200 | acidjnk | (~acidjnk@p200300d6e7171987b5d378b8b874a3b2.dip0.t-ipconnect.de) acidjnk |
| 2025-10-06 10:06:35 +0200 | Googulator93 | Googulator |
| 2025-10-06 10:13:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
| 2025-10-06 10:18:37 +0200 | trickard_ | trickard |
| 2025-10-06 10:19:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-06 10:23:37 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-06 10:30:38 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 10:30:41 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 10:32:19 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-06 10:37:19 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-06 10:39:10 +0200 | ft | (~ft@p4fc2a225.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-06 10:45:08 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-10-06 10:45:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-06 10:50:10 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-06 10:59:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-06 11:07:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 2025-10-06 11:12:47 +0200 | tamer | (~tamer@user/tamer) (*.net *.split) |
| 2025-10-06 11:12:47 +0200 | divlamir | (~divlamir@user/divlamir) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | monochrom | (trebla@216.138.220.146) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | vetkat | (~vetkat@user/vetkat) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | jackneill__ | (~Jackneill@188-143-82-121.pool.digikabel.hu) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | Pozyomka | (~pyon@user/pyon) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | remedan_ | (~remedan@194.212.224.168) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | phm | (~peter@user/phm) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | zfnmxt | (~m-gkkevi@user/zfnmxt) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | mauke | (~mauke@user/mauke) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | dutchie | (~dutchie@user/dutchie) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | malte | (~malte@mal.tc) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) (*.net *.split) |
| 2025-10-06 11:12:48 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | echoreply1 | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | _0xa | (~user@user/0xa/x-3134607) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | Leary | (~Leary@user/Leary/x-0910699) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | FragByte | (~christian@user/fragbyte) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | st_aldini | (~Thunderbi@136.48.46.187) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | cawfee | (root@2401:c080:3800:3460::babe) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | catties | (~catties@user/meow/catties) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | mud | (~mud@user/kadoban) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | adamCS | (~adamCS@70.19.85.77) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | xerox | (~edi@user/edi) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | wz1000_ | (~wz1000@2a01:4f9:c012:de50::1) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | nitrix-or-treat | (~nitrix@user/meow/nitrix) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | connrs | (~connrs@user/connrs) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | thaumavorio_ | (~thaumavor@thaumavor.io) (*.net *.split) |
| 2025-10-06 11:12:49 +0200 | kaskal | (~kaskal@84-115-235-223.cable.dynamic.surfer.at) (*.net *.split) |
| 2025-10-06 11:12:50 +0200 | dontdieych | (~dontdieyc@132.226.169.184) (*.net *.split) |
| 2025-10-06 11:12:50 +0200 | j0lol | (~j0lol@132.145.17.236) (*.net *.split) |
| 2025-10-06 11:12:56 +0200 | mange | (~mange@user/mange) mange |
| 2025-10-06 11:14:21 +0200 | tamer | (~tamer@user/tamer) tamer |
| 2025-10-06 11:14:21 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-06 11:14:21 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-10-06 11:14:21 +0200 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-10-06 11:14:21 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-10-06 11:14:21 +0200 | monochrom | (trebla@216.138.220.146) monochrom |
| 2025-10-06 11:14:21 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-10-06 11:14:21 +0200 | jackneill__ | (~Jackneill@188-143-82-121.pool.digikabel.hu) |
| 2025-10-06 11:14:21 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-10-06 11:14:21 +0200 | remedan_ | (~remedan@194.212.224.168) remedan |
| 2025-10-06 11:14:21 +0200 | phm | (~peter@user/phm) phm |
| 2025-10-06 11:14:21 +0200 | zfnmxt | (~m-gkkevi@user/zfnmxt) zfnmxt |
| 2025-10-06 11:14:21 +0200 | mauke | (~mauke@user/mauke) mauke |
| 2025-10-06 11:14:21 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-10-06 11:14:21 +0200 | malte | (~malte@mal.tc) malte |
| 2025-10-06 11:14:21 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) jle` |
| 2025-10-06 11:14:21 +0200 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2025-10-06 11:14:21 +0200 | echoreply1 | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply |
| 2025-10-06 11:14:21 +0200 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2025-10-06 11:14:21 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-10-06 11:14:21 +0200 | FragByte | (~christian@user/fragbyte) FragByte |
| 2025-10-06 11:14:21 +0200 | st_aldini | (~Thunderbi@136.48.46.187) st_aldini |
| 2025-10-06 11:14:21 +0200 | cawfee | (root@2401:c080:3800:3460::babe) qjqqyy |
| 2025-10-06 11:14:21 +0200 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) |
| 2025-10-06 11:14:21 +0200 | catties | (~catties@user/meow/catties) catties |
| 2025-10-06 11:14:21 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2025-10-06 11:14:21 +0200 | mud | (~mud@user/kadoban) kadoban |
| 2025-10-06 11:14:21 +0200 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-10-06 11:14:21 +0200 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-10-06 11:14:21 +0200 | xerox | (~edi@user/edi) edi |
| 2025-10-06 11:14:21 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-10-06 11:14:21 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2025-10-06 11:14:21 +0200 | 068AABI46 | (~wz1000@2a01:4f9:c012:de50::1) |
| 2025-10-06 11:14:21 +0200 | nitrix-or-treat | (~nitrix@user/meow/nitrix) nitrix |
| 2025-10-06 11:14:21 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-10-06 11:14:21 +0200 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-10-06 11:14:21 +0200 | connrs | (~connrs@user/connrs) connrs |
| 2025-10-06 11:14:21 +0200 | thaumavorio_ | (~thaumavor@thaumavor.io) thaumavorio |
| 2025-10-06 11:14:21 +0200 | kaskal | (~kaskal@84-115-235-223.cable.dynamic.surfer.at) kaskal |
| 2025-10-06 11:14:21 +0200 | dontdieych | (~dontdieyc@132.226.169.184) dontdieych |
| 2025-10-06 11:14:21 +0200 | j0lol | (~j0lol@132.145.17.236) j0lol |
| 2025-10-06 11:14:23 +0200 | dutchie | (~dutchie@user/dutchie) (Max SendQ exceeded) |
| 2025-10-06 11:14:23 +0200 | jackneill__ | (~Jackneill@188-143-82-121.pool.digikabel.hu) (Max SendQ exceeded) |
| 2025-10-06 11:14:34 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-10-06 11:15:32 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 11:15:39 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 11:17:52 +0200 | jackneill__ | (~Jackneill@188-143-82-121.pool.digikabel.hu) |
| 2025-10-06 11:21:11 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-06 11:21:45 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-06 11:27:04 +0200 | <bwe> | How do I run JS from Haskell? Like https://kiesel.dev/. |
| 2025-10-06 11:27:27 +0200 | <dminuoso> | bwe: Depends, do you need *any* bindings at all? |
| 2025-10-06 11:27:58 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-06 11:28:25 +0200 | <dminuoso> | i.e. any kind of FFI, or just input/outout bindings, or do you just want to run Node.js as a process? |
| 2025-10-06 11:28:26 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 11:29:27 +0200 | annamalai | (~annamalai@157.33.195.79) (Ping timeout: 256 seconds) |
| 2025-10-06 11:29:33 +0200 | <merijn> | dminuoso: That link is an embeded JS interpreter afaict |
| 2025-10-06 11:29:53 +0200 | <merijn> | Written in Zig, so I'm guessing the answer is "interact with it's API via FFI" |
| 2025-10-06 11:29:54 +0200 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2025-10-06 11:30:03 +0200 | <dminuoso> | merijn: Well Im not quite sure how the website demonstrates any sort of requirements. |
| 2025-10-06 11:30:06 +0200 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-06 11:30:11 +0200 | <dminuoso> | Apart from "it runs javascript" |
| 2025-10-06 11:30:23 +0200 | <dminuoso> | Because then its just `runProcess` |
| 2025-10-06 11:32:11 +0200 | <dminuoso> | From a security perspective alone, user definable code must run at least in a separate process. |
| 2025-10-06 11:32:13 +0200 | <bwe> | dminuoso: I've no clue at the moment (I am trying to get a basic yt-dlp working which executes the YT player js). So, specifically, equivalent to https://github.com/yt-dlp/yt-dlp/blob/master/yt_dlp/jsinterp.py#L263 |
| 2025-10-06 11:32:21 +0200 | <dminuoso> | (To me, a separate process wouldn't even be enough) |
| 2025-10-06 11:32:48 +0200 | <bwe> | (I am not sure whether the Zig thing would map to the requirement, tbh) |
| 2025-10-06 11:34:40 +0200 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2025-10-06 11:35:37 +0200 | Googulator3 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 11:35:40 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 11:36:42 +0200 | <dminuoso> | bwe: jsaddle is probably your best bet. |
| 2025-10-06 11:37:58 +0200 | <bwe> | here we go: https://hackage-content.haskell.org/package/jsaddle-0.9.9.3/docs/Language-Javascript-JSaddle-Evalu… |
| 2025-10-06 11:39:30 +0200 | <dminuoso> | bwe: Im not entirely sure how you would attach jsaddle to a standalone javascript engine (or whether its possible) |
| 2025-10-06 11:39:59 +0200 | <dminuoso> | I mean you could use a browser if you're fine with that. |
| 2025-10-06 11:40:31 +0200 | <bwe> | dminuoso: do you understand jsaddle to just run the script OR that it requires some engine to do the job? |
| 2025-10-06 11:41:27 +0200 | <dminuoso> | bwe: It does require an engine, but you cant just straight up "pick v8" for instance. |
| 2025-10-06 11:44:22 +0200 | annamalai | (~annamalai@157.33.222.95) annamalai |
| 2025-10-06 11:53:36 +0200 | <bwe> | So, what is https://hackage-content.haskell.org/package/jsaddle-0.9.9.3/docs/Language-Javascript-JSaddle-Evalu… then doing if it is not using an engine? |
| 2025-10-06 11:56:40 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-06 11:57:58 +0200 | <dminuoso> | bwe: It does not give you IO JSVal. |
| 2025-10-06 11:58:38 +0200 | <dminuoso> | bwe: Note that JSM is essentially a `JSContextRef` attached to some IO that needs to be actually fed to a JavaScript engine. |
| 2025-10-06 11:59:30 +0200 | <dminuoso> | https://hackage-content.haskell.org/package/jsaddle-0.9.9.3/docs/Language-Javascript-JSaddle-Null.… |
| 2025-10-06 11:59:33 +0200 | <dminuoso> | Is one of those things |
| 2025-10-06 11:59:57 +0200 | <dminuoso> | But that one doesnt actually do anything. |
| 2025-10-06 12:00:53 +0200 | <dminuoso> | https://hackage-content.haskell.org/package/jsaddle-warp-0.9.9.5/docs/Language-Javascript-JSaddle-… |
| 2025-10-06 12:01:30 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-06 12:02:56 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 12:03:01 +0200 | lieven | (~mal@ns2.wyrd.be) (Quit: WeeChat 4.1.1) |
| 2025-10-06 12:03:10 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 12:07:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-06 12:08:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-06 12:09:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
| 2025-10-06 12:10:31 +0200 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-10-06 12:11:21 +0200 | lieven | (~mal@ns2.wyrd.be) lieven |
| 2025-10-06 12:15:21 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-06 12:17:09 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-06 12:18:12 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-10-06 12:19:20 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-10-06 12:23:16 +0200 | ds7832 | (~ds7832@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Konversation terminated!) |
| 2025-10-06 12:23:35 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-06 12:26:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-06 12:27:59 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 265 seconds) |
| 2025-10-06 12:28:15 +0200 | jrm | (~jrm@user/jrm) (Ping timeout: 245 seconds) |
| 2025-10-06 12:28:29 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-10-06 12:29:05 +0200 | ringo__ | (~ringo@157.230.117.128) (Ping timeout: 245 seconds) |
| 2025-10-06 12:29:05 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2025-10-06 12:29:08 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-10-06 12:29:23 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-10-06 12:29:23 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-10-06 12:29:23 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-10-06 12:29:26 +0200 | ringo__ | (~ringo@157.230.117.128) ringo_ |
| 2025-10-06 12:30:20 +0200 | kimiamania99 | (~92460e22@user/kimiamania) (Ping timeout: 245 seconds) |
| 2025-10-06 12:30:45 +0200 | sttau | (~sttau@user/sttau) (Ping timeout: 245 seconds) |
| 2025-10-06 12:30:53 +0200 | sttau | (~sttau@199.180.255.81) |
| 2025-10-06 12:30:53 +0200 | kimiamania99 | (~92460e22@user/kimiamania) kimiamania |
| 2025-10-06 12:31:13 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-06 12:32:00 +0200 | Typedfern | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2025-10-06 12:32:00 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 2025-10-06 12:32:03 +0200 | trampi0 | (~trampi@mx.trampusch.info) trampi |
| 2025-10-06 12:32:11 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2025-10-06 12:32:14 +0200 | jreicher | (~user@user/jreicher) (Quit: brb) |
| 2025-10-06 12:32:23 +0200 | Typedfern | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) typedfern |
| 2025-10-06 12:32:50 +0200 | tv | (~tv@user/tv) (Ping timeout: 245 seconds) |
| 2025-10-06 12:33:14 +0200 | tv | (~tv@user/tv) tv |
| 2025-10-06 12:33:16 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Client Quit) |
| 2025-10-06 12:33:27 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-06 12:33:54 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-10-06 12:34:20 +0200 | cjay | (~cjay@nerdbox.nerd2nerd.org) (Ping timeout: 256 seconds) |
| 2025-10-06 12:34:30 +0200 | mjrosenb | (~mjrosenb@70.18.10.118) (Ping timeout: 245 seconds) |
| 2025-10-06 12:34:31 +0200 | cjay | (~cjay@nerdbox.nerd2nerd.org) cjay |
| 2025-10-06 12:34:35 +0200 | apache2 | (apache2@anubis.0x90.dk) (Remote host closed the connection) |
| 2025-10-06 12:34:39 +0200 | mjrosenb | (~mjrosenb@70.18.10.118) |
| 2025-10-06 12:34:45 +0200 | apache2 | (apache2@anubis.0x90.dk) apache2 |
| 2025-10-06 12:34:54 +0200 | dolio | (~dolio@130.44.140.168) (Ping timeout: 256 seconds) |
| 2025-10-06 12:35:13 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-10-06 12:35:20 +0200 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2025-10-06 12:35:28 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 256 seconds) |
| 2025-10-06 12:35:28 +0200 | trampi | (~trampi@mx.trampusch.info) (Ping timeout: 256 seconds) |
| 2025-10-06 12:35:29 +0200 | trampi0 | trampi |
| 2025-10-06 12:35:45 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-10-06 12:36:10 +0200 | df_ | (~ben@justworks.xyz) (Ping timeout: 245 seconds) |
| 2025-10-06 12:36:24 +0200 | df | (~ben@justworks.xyz) |
| 2025-10-06 12:36:48 +0200 | hc | (~hc@mail.hce.li) (Read error: Connection reset by peer) |
| 2025-10-06 12:37:02 +0200 | hc | (~hc@mail.hce.li) hc |
| 2025-10-06 12:37:10 +0200 | Profpatsch | (~Profpatsc@user/Profpatsch) (Ping timeout: 256 seconds) |
| 2025-10-06 12:37:10 +0200 | kaol | (~kaol@94-237-45-144.nl-ams1.upcloud.host) (Ping timeout: 256 seconds) |
| 2025-10-06 12:37:18 +0200 | kaol | (~kaol@94-237-45-144.nl-ams1.upcloud.host) |
| 2025-10-06 12:37:36 +0200 | Profpatsch | (~Profpatsc@user/Profpatsch) Profpatsch |
| 2025-10-06 12:37:56 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-06 12:38:15 +0200 | rekahsoft | (~rekahsoft@70.51.99.245) (Ping timeout: 245 seconds) |
| 2025-10-06 12:38:34 +0200 | Digit | (~user@user/digit) Digit |
| 2025-10-06 12:39:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-10-06 12:39:59 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-10-06 12:40:08 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-06 12:40:25 +0200 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-10-06 12:41:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-06 12:43:13 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-10-06 12:45:59 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 12:46:12 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 12:49:44 +0200 | raoul | (~raoul@95.179.203.88) (Ping timeout: 265 seconds) |
| 2025-10-06 12:50:04 +0200 | raoul | (~raoul@95.179.203.88) raoul |
| 2025-10-06 12:51:18 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:14af:5217:695d:a2e) (Read error: Connection reset by peer) |
| 2025-10-06 12:52:09 +0200 | acro | (~acro@user/acro) (Ping timeout: 265 seconds) |
| 2025-10-06 12:52:28 +0200 | int-e | (~noone@int-e.eu) (Ping timeout: 256 seconds) |
| 2025-10-06 12:52:29 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:14af:5217:695d:a2e) synchromesh |
| 2025-10-06 12:52:41 +0200 | int-e | (~noone@int-e.eu) int-e |
| 2025-10-06 12:53:02 +0200 | kqr | (~kqr@irc-1.xkqr.org) (Ping timeout: 256 seconds) |
| 2025-10-06 12:53:40 +0200 | kqr | (~kqr@irc-1.xkqr.org) |
| 2025-10-06 12:54:34 +0200 | swistak- | (~swistak@185.21.216.141) (Ping timeout: 265 seconds) |
| 2025-10-06 12:54:54 +0200 | jzargo3 | (~jzargo@user/jzargo) jzargo |
| 2025-10-06 12:54:55 +0200 | swistak | (~swistak@185.21.216.141) |
| 2025-10-06 12:56:01 +0200 | sshine | (~simon@dao.mechanicus.xyz) (Ping timeout: 265 seconds) |
| 2025-10-06 12:56:10 +0200 | mesaoptimizer | (~mesa@user/PapuaHardyNet) (Ping timeout: 245 seconds) |
| 2025-10-06 12:56:16 +0200 | sshine | (~simon@dao.mechanicus.xyz) sshine |
| 2025-10-06 12:56:27 +0200 | acro | (~acro@user/acro) acro |
| 2025-10-06 12:56:37 +0200 | mesaoptimizer | (~mesa@user/PapuaHardyNet) PapuaHardyNet |
| 2025-10-06 12:57:34 +0200 | jzargo2 | (~jzargo@user/jzargo) (Ping timeout: 256 seconds) |
| 2025-10-06 12:57:50 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 245 seconds) |
| 2025-10-06 12:58:08 +0200 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 256 seconds) |
| 2025-10-06 12:58:23 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-10-06 13:00:20 +0200 | Ekho | (~Ekho@user/ekho) (Ping timeout: 245 seconds) |
| 2025-10-06 13:00:28 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-10-06 13:01:35 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 245 seconds) |
| 2025-10-06 13:03:16 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-06 13:03:16 +0200 | peutri_ | (~peutri@bobo.desast.re) (Ping timeout: 265 seconds) |
| 2025-10-06 13:03:24 +0200 | peutri | (~peutri@bobo.desast.re) peutri |
| 2025-10-06 13:05:45 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Ping timeout: 245 seconds) |
| 2025-10-06 13:05:54 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-10-06 13:06:53 +0200 | pointlessslippe- | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2025-10-06 13:08:08 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-10-06 13:08:18 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-10-06 13:08:37 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-10-06 13:10:54 +0200 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-10-06 13:11:32 +0200 | trickard_ | trickard |
| 2025-10-06 13:18:19 +0200 | xff0x | (~xff0x@ai080027.d.east.v6connect.net) |
| 2025-10-06 13:30:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-06 13:31:09 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-10-06 13:33:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-06 13:34:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-10-06 13:35:12 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-06 13:50:45 +0200 | <yang_> | dcpagan: in lisp if you only give one operand to the / operator you get the reciprocal: (/ 7) = (/ 1 7) |
| 2025-10-06 13:51:12 +0200 | <yang_> | same in at least some array languages |
| 2025-10-06 13:53:41 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 13:53:55 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 13:54:56 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-06 13:55:08 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-06 13:58:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-06 14:04:46 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-10-06 14:08:41 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-06 14:10:46 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-06 14:12:18 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 14:14:58 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 14:20:53 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-06 14:21:13 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-06 14:26:13 +0200 | trickard_ | trickard |
| 2025-10-06 14:42:39 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-06 14:42:54 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-10-06 14:48:14 +0200 | slycelote | (~slycelote@user/slycelote) (Quit: Leaving) |
| 2025-10-06 14:49:35 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 14:52:03 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-10-06 14:52:17 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 15:07:22 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-06 15:07:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
| 2025-10-06 15:12:04 +0200 | trickard_ | trickard |
| 2025-10-06 15:13:13 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2025-10-06 15:13:38 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-06 15:15:13 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-06 15:21:12 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-10-06 15:22:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-06 15:27:18 +0200 | Googulator3 | Googulator |
| 2025-10-06 15:34:09 +0200 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-06 15:34:23 +0200 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2025-10-06 15:39:54 +0200 | dostoevsky_ | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2025-10-06 15:40:11 +0200 | raoul1 | (~raoul@95.179.203.88) raoul |
| 2025-10-06 15:42:14 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 256 seconds) |
| 2025-10-06 15:42:14 +0200 | raoul | (~raoul@95.179.203.88) (Ping timeout: 256 seconds) |
| 2025-10-06 15:42:14 +0200 | trampi | (~trampi@mx.trampusch.info) (Ping timeout: 256 seconds) |
| 2025-10-06 15:42:14 +0200 | raoul1 | raoul |
| 2025-10-06 15:42:45 +0200 | dostoevsky | (~dostoevsk@user/dostoevsky) (Ping timeout: 256 seconds) |
| 2025-10-06 15:42:45 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-10-06 15:43:09 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-06 15:43:10 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-06 15:50:07 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-06 15:50:33 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 16:05:18 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-06 16:10:16 +0200 | trickard_ | trickard |
| 2025-10-06 16:18:15 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-10-06 16:31:20 +0200 | <tomsmeding> | [exa]: update, in case you're interested https://gitlab.haskell.org/ghc/ghc/-/issues/26465 |
| 2025-10-06 16:31:21 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-10-06 16:46:26 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-06 16:50:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-06 16:57:41 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 265 seconds) |
| 2025-10-06 16:59:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
| 2025-10-06 16:59:51 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-10-06 17:06:47 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-10-06 17:07:47 +0200 | ds7832 | (~ds7832@ip-037-049-102-199.um09.pools.vodafone-ip.de) |
| 2025-10-06 17:11:34 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-06 17:13:20 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-06 17:19:40 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-06 17:24:31 +0200 | <[exa]> | tomsmeding: wow cool, thx |
| 2025-10-06 17:25:32 +0200 | <tomsmeding> | reporting bugs like these to ghc is fun, you get to see very smart people solve problems |
| 2025-10-06 17:25:49 +0200 | <[exa]> | yeah I'm completely lost there |
| 2025-10-06 17:25:51 +0200 | <[exa]> | :D |
| 2025-10-06 17:29:10 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-10-06 17:51:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-06 17:51:24 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2025-10-06 17:59:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
| 2025-10-06 18:13:37 +0200 | vladbxb | (~vladbxb@109.103.68.106) |
| 2025-10-06 18:17:12 +0200 | vladbxb | (~vladbxb@109.103.68.106) (Client Quit) |
| 2025-10-06 18:24:08 +0200 | craunts79 | (~craunts@136.158.7.194) |
| 2025-10-06 18:24:33 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 18:24:46 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 18:25:24 +0200 | craunts79 | (~craunts@136.158.7.194) (Client Quit) |
| 2025-10-06 18:26:49 +0200 | craunts79 | (~craunts@136.158.7.194) |
| 2025-10-06 18:28:02 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-06 18:39:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 18:46:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-06 18:57:22 +0200 | dostoevsky_ | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-06 18:57:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-06 18:57:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 19:02:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 19:04:15 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 19:04:31 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 19:06:36 +0200 | yang_ | yin |
| 2025-10-06 19:10:39 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 19:10:42 +0200 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 19:13:05 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-10-06 19:13:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 19:17:05 +0200 | <dminuoso> | Mmm, staring at the text it does not read that complicated. |
| 2025-10-06 19:17:48 +0200 | <mauke> | *zonk* |
| 2025-10-06 19:18:42 +0200 | <dminuoso> | https://mail.haskell.org/pipermail/cvs-ghc/2012-September/076185.html |
| 2025-10-06 19:18:51 +0200 | <dminuoso> | "Remember to zonk the skolems of an implication" |
| 2025-10-06 19:19:16 +0200 | <dminuoso> | We Haskellers just love using funky names |
| 2025-10-06 19:20:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 19:29:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-06 19:30:28 +0200 | int-e_ | (~noone@int-e.eu) int-e |
| 2025-10-06 19:30:41 +0200 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 19:30:47 +0200 | Googulator32 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 19:30:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-10-06 19:31:09 +0200 | int-e | (~noone@int-e.eu) (Killed (NickServ (GHOST command used by int-e_))) |
| 2025-10-06 19:31:16 +0200 | int-e_ | int-e |
| 2025-10-06 19:31:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 19:32:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-06 19:32:56 +0200 | Square | (~Square@user/square) Square |
| 2025-10-06 19:33:42 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-10-06 19:34:36 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-06 19:35:00 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-06 19:35:43 +0200 | ft | (~ft@p4fc2a225.dip0.t-ipconnect.de) ft |
| 2025-10-06 19:36:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 19:39:01 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2025-10-06 19:41:28 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-10-06 19:47:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 19:51:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-06 19:52:09 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-10-06 19:52:20 +0200 | int-e_ | (~noone@int-e.eu) int-e |
| 2025-10-06 19:52:27 +0200 | int-e | (~noone@int-e.eu) (Quit: Reconnecting) |
| 2025-10-06 19:52:50 +0200 | int-e_ | int-e |
| 2025-10-06 19:57:06 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-10-06 19:57:26 +0200 | Square | (~Square@user/square) Square |
| 2025-10-06 20:00:01 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-10-06 20:00:25 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-06 20:02:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 20:02:34 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-10-06 20:03:54 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-10-06 20:05:29 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-10-06 20:07:16 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-06 20:07:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 20:07:42 +0200 | sdrfan123 | (~sdrfan123@2607:fb91:370d:6a0a:61fe:e768:2866:fd27) |
| 2025-10-06 20:07:43 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-06 20:09:47 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2025-10-06 20:11:03 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-10-06 20:16:26 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-06 20:17:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 20:24:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 20:25:22 +0200 | <tomsmeding> | dminuoso: right, the problem diagnosis by Sam sounds like something sensible to me (though I haven't cross-referenced the ghc code -- just the description sounds sensible) |
| 2025-10-06 20:25:47 +0200 | <tomsmeding> | but as he says, whether one can just... not do that zonking is a question I have no idea how to answer :) |
| 2025-10-06 20:26:21 +0200 | <tomsmeding> | someone seems to have thought at some point that it was essential, presumably to preserve some kind of invariant -- naturally, said invariant was not documented |
| 2025-10-06 20:34:03 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-06 20:35:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 20:36:47 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-10-06 20:38:13 +0200 | sdrfan123 | (~sdrfan123@2607:fb91:370d:6a0a:61fe:e768:2866:fd27) (Quit: Client closed) |
| 2025-10-06 20:39:13 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2025-10-06 20:39:42 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 260 seconds) |
| 2025-10-06 20:39:54 +0200 | sdrfan123 | (~sdrfan123@2607:fb91:370d:6a0a:61fe:e768:2866:fd27) |
| 2025-10-06 20:40:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 20:40:20 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-10-06 20:42:07 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-06 20:46:53 +0200 | ircbrowse_tom_ | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-06 20:47:17 +0200 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2025-10-06 20:47:17 +0200 | ThePenguin4 | ThePenguin |
| 2025-10-06 20:47:17 +0200 | Philonous_ | (~Philonous@user/philonous) Philonous |
| 2025-10-06 20:47:18 +0200 | ggb_ | ggb |
| 2025-10-06 20:47:18 +0200 | Server | +Cnt |
| 2025-10-06 20:47:19 +0200 | vgtw_ | (~vgtw@user/vgtw) vgtw |
| 2025-10-06 20:47:21 +0200 | ircbrowse_tom_ | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (Read error: Connection reset by peer) |
| 2025-10-06 20:47:21 +0200 | goldstein | (~goldstein@goldstein.rs) (Read error: Connection reset by peer) |
| 2025-10-06 20:47:23 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:23 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:23 +0200 | red-snail | (~red-snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:23 +0200 | drlkf | (~drlkf@chat-1.drlkf.net) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:23 +0200 | ian_ | (~ian@81.2.99.210) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:23 +0200 | Vq | (~vq@90-224-37-169-no600.tbcn.telia.com) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:23 +0200 | Angelz | (Angelz@user/angelz) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:23 +0200 | Yumemi | (~Yumemi@chamoin.net) (Read error: Connection reset by peer) |
| 2025-10-06 20:47:25 +0200 | xal | (~xal@mx1.xal.systems) (Read error: Connection reset by peer) |
| 2025-10-06 20:47:25 +0200 | krei-se | (~krei-se@p200300f1cfff1817000000000000c8c6.dip0.t-ipconnect.de) krei-se |
| 2025-10-06 20:47:26 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Read error: Connection reset by peer) |
| 2025-10-06 20:47:29 +0200 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) (Read error: Connection reset by peer) |
| 2025-10-06 20:47:30 +0200 | red-snail1 | (~red-snail@static.151.210.203.116.clients.your-server.de) |
| 2025-10-06 20:47:38 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) Hobbyboy |
| 2025-10-06 20:47:38 +0200 | Vq | (~vq@90-224-37-169-no600.tbcn.telia.com) Vq |
| 2025-10-06 20:47:48 +0200 | drlkf | (~drlkf@chat-1.drlkf.net) drlkf |
| 2025-10-06 20:47:49 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-10-06 20:47:49 +0200 | krei-se- | (~krei-se@p200300f1cfff1817000000000000c8c6.dip0.t-ipconnect.de) (Write error: error:80000068:system library::Connection reset by peer) |
| 2025-10-06 20:47:49 +0200 | bionade24 | (~quassel@server2.oscloud.info) (Write error: error:80000068:system library::Connection reset by peer) |
| 2025-10-06 20:47:53 +0200 | Philonous | (~Philonous@user/philonous) (Read error: Connection reset by peer) |
| 2025-10-06 20:47:54 +0200 | red-snail1 | red-snail |
| 2025-10-06 20:47:55 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:fd6c:9618:c1f5:3891) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:55 +0200 | bw | (sid2730@user/betawaffle) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:55 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:55 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:55 +0200 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:55 +0200 | bw_ | bw |
| 2025-10-06 20:47:55 +0200 | opqdonut__ | (opqdonut@pseudo.fixme.fi) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:55 +0200 | natto- | (~natto@129.154.243.159) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:55 +0200 | jocke-l | (jocke-l@a.x0.is) (Ping timeout: 248 seconds) |
| 2025-10-06 20:47:55 +0200 | _d0t_ | 040AAE6OC |
| 2025-10-06 20:48:02 +0200 | Awoobis | (A_D@libera/staff/dragon) (Read error: Connection reset by peer) |
| 2025-10-06 20:48:04 +0200 | opqdonut__ | (opqdonut@pseudo.fixme.fi) |
| 2025-10-06 20:48:05 +0200 | natto17 | (~natto@129.154.243.159) natto |
| 2025-10-06 20:48:15 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-10-06 20:48:16 +0200 | mulk | (~mulk@pd95144c3.dip0.t-ipconnect.de) mulk |
| 2025-10-06 20:48:17 +0200 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2025-10-06 20:48:20 +0200 | jocke-l | (jocke-l@a.x0.is) jocke-l |
| 2025-10-06 20:48:25 +0200 | xal | (~xal@mx1.xal.systems) xal |
| 2025-10-06 20:48:25 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-10-06 20:48:27 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 2025-10-06 20:48:35 +0200 | Igloo | (~ian@81.2.99.210) |
| 2025-10-06 20:48:41 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-06 20:49:09 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-06 20:49:11 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-10-06 20:49:28 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-10-06 20:49:57 +0200 | raghavgururajan_ | raghavgururajan |
| 2025-10-06 20:50:14 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2025-10-06 20:50:52 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2025-10-06 20:51:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 20:51:10 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-10-06 20:51:17 +0200 | FANTOM | (~fantom@87.75.184.126) (Ping timeout: 250 seconds) |
| 2025-10-06 20:51:59 +0200 | EvanR_ | EvanR |
| 2025-10-06 20:52:11 +0200 | fgidim | (~nu@user/fgarcia) (Read error: Connection reset by peer) |
| 2025-10-06 20:53:21 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2025-10-06 20:55:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 20:56:02 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 260 seconds) |
| 2025-10-06 20:57:46 +0200 | fgarcia | (~nu@user/fgarcia) fgarcia |
| 2025-10-06 20:58:52 +0200 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 255 seconds) |
| 2025-10-06 20:58:55 +0200 | Xe_ | (~Xe@perl/impostor/xe) Xe |
| 2025-10-06 21:00:02 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-06 21:00:43 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-10-06 21:00:50 +0200 | FANTOM | (~fantom@87.75.184.126) |
| 2025-10-06 21:03:46 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-06 21:06:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 21:07:14 +0200 | peterbecich | (~Thunderbi@47.149.198.150) peterbecich |
| 2025-10-06 21:10:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-06 21:14:32 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) |
| 2025-10-06 21:18:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 21:23:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-06 21:23:09 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-06 21:23:19 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-10-06 21:29:02 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-06 21:29:34 +0200 | peterbecich | (~Thunderbi@47.149.198.150) (Ping timeout: 256 seconds) |
| 2025-10-06 21:30:27 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-10-06 21:33:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 21:35:29 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-06 21:35:52 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-06 21:35:57 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-06 21:36:20 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Client Quit) |
| 2025-10-06 21:36:34 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-06 21:36:47 +0200 | gawen | (~gawen@user/gawen) gawen |
| 2025-10-06 21:37:50 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 2025-10-06 21:38:01 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-10-06 21:38:03 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-10-06 21:38:04 +0200 | gehmehgeh | gmg |
| 2025-10-06 21:38:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 21:44:28 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-10-06 21:45:30 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-06 21:48:18 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 21:48:31 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 21:49:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 21:50:46 +0200 | gawen | (~gawen@user/gawen) gawen |
| 2025-10-06 21:51:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
| 2025-10-06 21:53:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-06 21:53:51 +0200 | fp1 | (~Thunderbi@87-92-208-223.rev.dnainternet.fi) fp |
| 2025-10-06 22:00:40 +0200 | Googulator76 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 22:00:42 +0200 | fp1 | (~Thunderbi@87-92-208-223.rev.dnainternet.fi) (Quit: fp1) |
| 2025-10-06 22:00:42 +0200 | Googulator79 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 22:01:46 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-10-06 22:03:15 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-06 22:04:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 22:04:52 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-10-06 22:05:14 +0200 | sdrfan123 | (~sdrfan123@2607:fb91:370d:6a0a:61fe:e768:2866:fd27) (Quit: Client closed) |
| 2025-10-06 22:09:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 22:09:40 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-06 22:11:46 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-06 22:20:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 22:20:40 +0200 | Googulator76 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 22:20:45 +0200 | Googulator40 | (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-06 22:24:58 +0200 | ds7832 | (~ds7832@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Konversation terminated!) |
| 2025-10-06 22:26:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 22:28:09 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-10-06 22:28:45 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-06 22:29:00 +0200 | koz | (~koz@121.99.240.58) |
| 2025-10-06 22:31:07 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-06 22:35:39 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-06 22:36:50 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-10-06 22:37:00 +0200 | tccq | (~user@user/tccq) tccq |
| 2025-10-06 22:38:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 22:40:18 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-10-06 22:42:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 22:53:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 22:55:55 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 248 seconds) |
| 2025-10-06 22:57:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-06 23:04:41 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-06 23:05:44 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 23:05:52 +0200 | Googulator40 | (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 23:08:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 23:12:12 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-10-06 23:13:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-06 23:13:34 +0200 | tccq | (~user@user/tccq) (Remote host closed the connection) |
| 2025-10-06 23:15:01 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-06 23:19:41 +0200 | <jreicher> | dminuoso: well, skolem is an actual name. :) |
| 2025-10-06 23:20:04 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 256 seconds) |
| 2025-10-06 23:20:06 +0200 | <dminuoso> | jreicher: Im sure so is Zonk. |
| 2025-10-06 23:20:44 +0200 | jreicher | does a web search for zonk's lemma... |
| 2025-10-06 23:23:19 +0200 | ski | (~ski@remote11.chalmers.se) ski |
| 2025-10-06 23:24:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 23:25:41 +0200 | Googulator11 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 23:25:45 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 23:27:05 +0200 | <dolio> | "Zonk is the sound it makes" |
| 2025-10-06 23:27:10 +0200 | <int-e> | There's this red rat thing: https://www.sigikid.de/en/Zonk-the-consolation-prize-of-Geh-aufs-Ganze/81304 |
| 2025-10-06 23:28:02 +0200 | <mauke> | https://c.nau.ch/i/oa9d6/1360/680/jorg-draeger-re-daniel-boschmann-und-die-schonste-niete-im-deuts… |
| 2025-10-06 23:28:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-06 23:31:08 +0200 | <jreicher> | So the wombles had a type theorist in the family all along |
| 2025-10-06 23:31:44 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-10-06 23:39:31 +0200 | [exa] | zonks some thunks |
| 2025-10-06 23:39:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 23:44:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-06 23:48:55 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-06 23:50:21 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-10-06 23:50:38 +0200 | Googulator64 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 23:50:42 +0200 | Googulator11 | (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 23:55:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-06 23:55:23 +0200 | fgarcia | feeds the STG machine a bunch of functions |
| 2025-10-06 23:55:50 +0200 | <[exa]> | fgarcia: listen to the machine. what do you hear? |
| 2025-10-06 23:56:10 +0200 | <int-e> | "thunk" |
| 2025-10-06 23:56:19 +0200 | <fgarcia> | it doesn't sound too happy |
| 2025-10-06 23:56:20 +0200 | <int-e> | or maybe *thunk* |
| 2025-10-06 23:57:06 +0200 | <[exa]> | strong nethack vibes with "Machine eats the function. You hear a muffled thunk." |
