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