| 2026-06-27 00:18:52 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e74def24f7559551c3ac257b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-06-27 00:19:26 +0000 | acidjnk | (~acidjnk@p200300d6e74def24f7559551c3ac257b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-06-27 00:28:38 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-27 00:28:57 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 00:30:55 +0000 | dy | (sid3438@user/dy) (Ping timeout: 264 seconds) |
| 2026-06-27 00:30:55 +0000 | ProofTechnique_ | (sid79547@ilkley.irccloud.com) (Ping timeout: 264 seconds) |
| 2026-06-27 00:31:21 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-27 00:31:31 +0000 | carter | (sid14827@helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2026-06-27 00:31:31 +0000 | NiKaN | (sid385034@helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2026-06-27 00:31:44 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 00:32:07 +0000 | bjs | (sid190364@user/bjs) (Ping timeout: 264 seconds) |
| 2026-06-27 00:32:43 +0000 | edmundnoble_ | (sid229620@helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2026-06-27 00:32:43 +0000 | shawwwn | (sid6132@helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2026-06-27 00:32:43 +0000 | wtl | (sid740499@user/wtl) (Ping timeout: 264 seconds) |
| 2026-06-27 00:32:48 +0000 | dy | (sid3438@user/dy) \\\\\ |
| 2026-06-27 00:34:16 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2026-06-27 00:34:21 +0000 | bjs | (sid190364@user/bjs) bjs |
| 2026-06-27 00:34:44 +0000 | carter | (sid14827@id-14827.helmsley.irccloud.com) carter |
| 2026-06-27 00:34:47 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) NiKaN |
| 2026-06-27 00:34:57 +0000 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) edmundnoble_ |
| 2026-06-27 00:38:09 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-27 00:38:27 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 00:46:00 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2026-06-27 00:46:13 +0000 | wtl | (sid740499@user/wtl) wtl |
| 2026-06-27 00:49:05 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-27 00:49:23 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 00:51:08 +0000 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-06-27 00:51:13 +0000 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2026-06-27 00:53:51 +0000 | ft | (~ft@p508db6b1.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-06-27 01:00:51 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 01:00:57 +0000 | Pozyomka_ | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-27 01:04:01 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-06-27 01:07:24 +0000 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2026-06-27 01:07:34 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 01:09:10 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-06-27 01:10:12 +0000 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2026-06-27 01:10:18 +0000 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-06-27 01:18:56 +0000 | Pozyomka_ | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2026-06-27 01:19:02 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 01:19:43 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-06-27 01:21:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-27 01:32:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 01:57:39 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-06-27 02:05:59 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-27 02:06:17 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 02:14:42 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-27 02:15:00 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 02:18:31 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2026-06-27 02:27:54 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-27 02:28:12 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 02:29:29 +0000 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 245 seconds) |
| 2026-06-27 02:36:34 +0000 | td_ | (~td@2001:9e8:19c4:7400:bf7f:cb56:94b:5d2b) |
| 2026-06-27 02:38:46 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) (Remote host closed the connection) |
| 2026-06-27 02:40:06 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-27 02:54:50 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-27 02:55:08 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 03:01:59 +0000 | bggd__ | (~bgg@2a01:e0a:fd5:f510:a39d:7d5d:f06e:ea1e) (Remote host closed the connection) |
| 2026-06-27 03:11:36 +0000 | mikess | (~sam@S010664777dafd303.cg.shawcable.net) (Ping timeout: 252 seconds) |
| 2026-06-27 03:16:01 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-27 03:31:27 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-27 03:44:07 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-06-27 03:55:20 +0000 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-06-27 03:57:17 +0000 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2026-06-27 04:00:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-27 04:11:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 04:22:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-27 04:28:15 +0000 | _gio | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-06-27 04:28:16 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-06-27 04:29:13 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Remote host closed the connection) |
| 2026-06-27 04:29:47 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-27 04:31:38 +0000 | _gio | (~weechat@gateway/tor-sasl/marinelli) (Client Quit) |
| 2026-06-27 04:35:16 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-27 04:36:49 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-06-27 04:36:50 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) (Remote host closed the connection) |
| 2026-06-27 04:36:50 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-06-27 04:36:50 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-27 04:37:03 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) yanmaani |
| 2026-06-27 04:37:05 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-06-27 04:37:11 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-27 04:37:19 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-06-27 04:38:17 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-06-27 04:39:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-27 04:45:13 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-06-27 04:55:44 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-27 04:55:44 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-06-27 04:55:44 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2026-06-27 04:55:59 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-27 04:56:01 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-06-27 04:56:06 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-06-27 05:11:33 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-06-27 05:11:45 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-06-27 05:16:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-27 05:27:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 05:40:49 +0000 | <remexre> | did hackage just go down? getting 503s... |
| 2026-06-27 05:43:41 +0000 | <mauke> | works here, some pages slow |
| 2026-06-27 05:45:26 +0000 | <remexre> | hm, e.g. https://hackage-content.haskell.org/package/kdl-hs-1.1.1/docs/KDL-Decoder-Monad.html#t:NodeDecoder takes like 15s to load, then gives me a Varnish 503 |
| 2026-06-27 05:45:40 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-06-27 05:55:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-27 05:55:45 +0000 | <remexre> | oh, back now /shrug |
| 2026-06-27 06:00:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2026-06-27 06:05:41 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-06-27 06:07:28 +0000 | machinedgod | (~machinedg@d108-173-95-19.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2026-06-27 06:09:07 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-06-27 06:09:14 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-06-27 06:15:02 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-06-27 06:16:08 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 271 seconds) |
| 2026-06-27 06:16:08 +0000 | divlamir_ | divlamir |
| 2026-06-27 06:20:40 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2026-06-27 06:26:29 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-27 06:26:54 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-06-27 06:28:02 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-06-27 06:29:21 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-06-27 06:31:00 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 2026-06-27 06:36:58 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 3.5) |
| 2026-06-27 06:37:39 +0000 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2026-06-27 06:40:11 +0000 | michalz | (~michalz@185.246.207.203) |
| 2026-06-27 06:42:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-27 06:50:21 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-06-27 06:54:29 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-27 06:54:42 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-27 07:06:11 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) |
| 2026-06-27 07:12:32 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-06-27 07:29:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-27 07:37:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-27 07:41:41 +0000 | divya- | (divya@140.238.251.170) divya |
| 2026-06-27 07:47:28 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-27 07:49:03 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-06-27 07:50:19 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-06-27 07:52:32 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 253 seconds) |
| 2026-06-27 07:55:10 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-27 08:13:13 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e74def24dcde6998942b8594.dip0.t-ipconnect.de) |
| 2026-06-27 08:13:23 +0000 | acidjnk | (~acidjnk@p200300d6e74def24dcde6998942b8594.dip0.t-ipconnect.de) acidjnk |
| 2026-06-27 08:13:53 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-27 08:15:03 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-06-27 08:18:07 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 276 seconds) |
| 2026-06-27 08:18:09 +0000 | divlamir_ | divlamir |
| 2026-06-27 08:18:14 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-27 08:20:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 08:25:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-27 08:36:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 08:37:08 +0000 | <Athas> | While waiting for CI to run, I just want to state that haskell-ci is an excellent tool. |
| 2026-06-27 08:40:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-27 08:44:40 +0000 | Pozyomka_ | Pozyomka |
| 2026-06-27 08:51:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 08:56:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-06-27 08:59:19 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-27 09:06:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 09:11:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-27 09:13:41 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:3b75:3ac0:cdf0:a855) |
| 2026-06-27 09:13:55 +0000 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-27 09:18:54 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-06-27 09:20:51 +0000 | <probie> | remexre: welcome to the modern web, where relatively small but important things are constantly DOSed as people train AI |
| 2026-06-27 09:22:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 09:24:58 +0000 | skum | (~skum@user/skum) (Quit: WeeChat 4.9.1) |
| 2026-06-27 09:25:50 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2026-06-27 09:29:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-27 09:31:06 +0000 | jle` | (~jle`@2603:8001:3b00:11:a837:fc5f:3f08:8b91) (Ping timeout: 252 seconds) |
| 2026-06-27 09:31:06 +0000 | arahael | (~wetfoot@user/arahael) (Ping timeout: 252 seconds) |
| 2026-06-27 09:32:42 +0000 | arahael | (~wetfoot@user/arahael) arahael |
| 2026-06-27 09:32:47 +0000 | jle` | (~jle`@2603:8001:3b00:11::1fae) jle` |
| 2026-06-27 09:35:59 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-06-27 09:37:40 +0000 | lynxx_ | (~lynxx_@2001:9e8:3be8:7500:1a2a:9465:c916:c3e6) |
| 2026-06-27 09:37:50 +0000 | lynxx_ | (~lynxx_@2001:9e8:3be8:7500:1a2a:9465:c916:c3e6) (Client Quit) |
| 2026-06-27 09:38:29 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) |
| 2026-06-27 09:40:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 09:44:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-27 09:51:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 09:56:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-27 10:06:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 10:11:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-27 10:13:38 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:3b75:3ac0:cdf0:a855) (Ping timeout: 248 seconds) |
| 2026-06-27 10:15:30 +0000 | Googulator52 | (~Googulato@80-95-87-76.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-27 10:15:46 +0000 | Googulator52 | (~Googulato@80-95-87-76.pool.digikabel.hu) |
| 2026-06-27 10:22:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 10:22:13 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2026-06-27 10:26:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-27 10:32:21 +0000 | califax | (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-06-27 10:32:36 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-27 10:37:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 10:41:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-27 10:44:18 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-06-27 10:44:28 +0000 | Googulator52 | (~Googulato@80-95-87-76.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-27 10:44:44 +0000 | Googulator52 | (~Googulato@80-95-87-76.pool.digikabel.hu) |
| 2026-06-27 10:52:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 10:52:59 +0000 | tristanC | (~tristanC@user/tristanc) (Ping timeout: 248 seconds) |
| 2026-06-27 10:56:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-27 10:58:20 +0000 | kimiamania | (~768865ec@user/kimiamania) (Quit: PegeLinux) |
| 2026-06-27 11:00:24 +0000 | kimiamania | (~768865ec@user/kimiamania) kimiamania |
| 2026-06-27 11:02:55 +0000 | tristanC | (~tristanC@97-113-128-188.tukw.qwest.net) |
| 2026-06-27 11:02:56 +0000 | tristanC | (~tristanC@97-113-128-188.tukw.qwest.net) (Changing host) |
| 2026-06-27 11:02:56 +0000 | tristanC | (~tristanC@user/tristanc) tristanC |
| 2026-06-27 11:04:40 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2026-06-27 11:07:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 11:14:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-27 11:16:13 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) tremon |
| 2026-06-27 11:17:41 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-27 11:24:12 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-06-27 11:25:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 11:25:56 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2026-06-27 11:30:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-27 11:32:05 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-06-27 11:35:27 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2026-06-27 11:36:48 +0000 | lynxx_ | (~lynxx_@2001:9e8:3be8:7500:1a2a:9465:c916:c3e6) |
| 2026-06-27 11:41:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 11:45:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-27 11:47:24 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-06-27 11:48:00 +0000 | lynxx_ | (~lynxx_@2001:9e8:3be8:7500:1a2a:9465:c916:c3e6) (Quit: lynxx_) |
| 2026-06-27 11:50:51 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) |
| 2026-06-27 11:51:25 +0000 | lynxx_ | (~lynxx_@2001:9e8:3be8:7500:1a2a:9465:c916:c3e6) |
| 2026-06-27 11:51:32 +0000 | lynxx_ | (~lynxx_@2001:9e8:3be8:7500:1a2a:9465:c916:c3e6) (Client Quit) |
| 2026-06-27 11:53:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-27 11:53:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 11:57:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-27 12:07:41 +0000 | czan | (~czan@user/mange) czan |
| 2026-06-27 12:07:49 +0000 | kimiamania | (~768865ec@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2026-06-27 12:08:10 +0000 | kimiamania | (~768865ec@user/kimiamania) kimiamania |
| 2026-06-27 12:08:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 12:13:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-27 12:24:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 12:25:01 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-06-27 12:28:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-27 12:30:33 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-27 12:39:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 12:44:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-27 12:45:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-27 12:48:48 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-06-27 12:48:48 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-06-27 12:48:48 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-06-27 12:54:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 12:58:35 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) |
| 2026-06-27 13:01:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-27 13:07:16 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2026-06-27 13:09:45 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-27 13:10:07 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-27 13:11:04 +0000 | ft | (~ft@p508db6b1.dip0.t-ipconnect.de) ft |
| 2026-06-27 13:12:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 13:16:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-27 13:22:45 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-27 13:27:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 13:32:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-27 13:40:27 +0000 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-06-27 13:42:10 +0000 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 248 seconds) |
| 2026-06-27 13:43:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 13:45:05 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-06-27 13:45:29 +0000 | glguy_ | glguy |
| 2026-06-27 13:46:06 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-06-27 13:47:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-27 13:51:09 +0000 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2026-06-27 13:52:36 +0000 | lynxx_ | (~lynxx_@2001:9e8:3be8:7500:1a2a:9465:c916:c3e6) |
| 2026-06-27 13:52:50 +0000 | lynxx_ | (~lynxx_@2001:9e8:3be8:7500:1a2a:9465:c916:c3e6) (Client Quit) |
| 2026-06-27 13:54:54 +0000 | fp | (~Thunderbi@81-175-191-117.co.dnainternet.fi) fp |
| 2026-06-27 13:55:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 13:59:20 +0000 | fp | (~Thunderbi@81-175-191-117.co.dnainternet.fi) (Client Quit) |
| 2026-06-27 13:59:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-27 14:10:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 14:14:06 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-27 14:15:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-27 14:18:52 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-27 14:26:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 14:30:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-27 14:35:34 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-27 14:41:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 14:44:54 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-06-27 14:48:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-27 14:52:50 +0000 | czan | (~czan@user/mange) (Quit: Zzz...) |
| 2026-06-27 14:56:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 15:01:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-27 15:03:11 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) (Remote host closed the connection) |
| 2026-06-27 15:03:24 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) yanmaani |
| 2026-06-27 15:10:13 +0000 | divya- | divya |
| 2026-06-27 15:11:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 15:14:54 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) |
| 2026-06-27 15:16:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-27 15:20:11 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-27 15:22:52 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-06-27 15:23:34 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-06-27 15:23:50 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-06-27 15:24:00 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-27 15:25:33 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-27 15:27:05 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-06-27 15:27:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 15:31:53 +0000 | Pozyomka_ | (~pyon@user/pyon) (Ping timeout: 248 seconds) |
| 2026-06-27 15:36:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-06-27 15:44:23 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2026-06-27 15:45:10 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-06-27 15:47:11 +0000 | monochrom | (~trebla@216.138.220.146) (Quit: ZNC - https://znc.in) |
| 2026-06-27 15:47:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 15:51:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-27 15:54:05 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 272 seconds) |
| 2026-06-27 15:55:21 +0000 | monochrom | (~trebla@216.138.220.146) monochrom |
| 2026-06-27 15:56:53 +0000 | Digit | (~user@user/digit) Digit |
| 2026-06-27 15:57:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 16:02:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 263 seconds) |
| 2026-06-27 16:03:00 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-27 16:11:55 +0000 | Digit | digitteknohippie |
| 2026-06-27 16:12:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 16:13:52 +0000 | Digit | (~user@user/digit) Digit |
| 2026-06-27 16:19:16 +0000 | <remexre> | probie: :sobbing: |
| 2026-06-27 16:19:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-27 16:21:28 +0000 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2026-06-27 16:22:03 +0000 | digitteknohippie | (~user@user/digit) (Quit: brb) |
| 2026-06-27 16:29:29 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-06-27 16:29:33 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-06-27 16:30:02 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-06-27 16:30:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 16:31:45 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2026-06-27 16:32:06 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-27 16:35:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-27 16:35:27 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-06-27 16:35:42 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 252 seconds) |
| 2026-06-27 16:35:46 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-27 16:38:09 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-06-27 16:39:19 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-27 16:41:14 +0000 | machinedgod | (~machinedg@d108-173-95-19.abhsia.telus.net) machinedgod |
| 2026-06-27 16:44:23 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-06-27 16:46:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 16:50:08 +0000 | Digit | (~user@user/digit) Digit |
| 2026-06-27 16:50:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 257 seconds) |
| 2026-06-27 16:52:38 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-27 16:52:45 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-27 16:56:04 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) |
| 2026-06-27 16:56:45 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2026-06-27 16:57:17 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-27 16:58:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 17:03:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-27 17:08:09 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-27 17:10:52 +0000 | ephapticpulse | (~user@user/ephapticpulse) ephapticpulse |
| 2026-06-27 17:11:46 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) |
| 2026-06-27 17:13:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 17:14:02 +0000 | rainbyte | (~rainbyte@181.47.219.31) (Read error: Connection reset by peer) |
| 2026-06-27 17:14:19 +0000 | byorgey | (~byorgey@user/byorgey) byorgey |
| 2026-06-27 17:15:00 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-06-27 17:18:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 254 seconds) |
| 2026-06-27 17:23:58 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 251 seconds) |
| 2026-06-27 17:26:51 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-06-27 17:29:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 17:33:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-27 17:44:26 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2026-06-27 17:44:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 17:45:17 +0000 | gawen | (~gawen@user/gawen) gawen |
| 2026-06-27 17:45:17 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-27 17:46:13 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-06-27 17:48:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-27 17:49:01 +0000 | <fgarcia> | pretty much |
| 2026-06-27 17:52:15 +0000 | schuelermine | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-06-27 17:59:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 18:01:06 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-27 18:02:28 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-06-27 18:02:41 +0000 | tromp | (~textual@2001:1c00:340e:2700:8dd6:e004:66da:5462) |
| 2026-06-27 18:02:55 +0000 | jrm2 | (~jrm@user/jrm) jrm |
| 2026-06-27 18:03:55 +0000 | jrm | (~jrm@user/jrm) (Ping timeout: 264 seconds) |
| 2026-06-27 18:04:10 +0000 | puke | (~puke@user/puke) puke |
| 2026-06-27 18:04:32 +0000 | jrm2 | jrm |
| 2026-06-27 18:06:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-27 18:12:55 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-06-27 18:12:58 +0000 | <monochrom> | I have discovered a great pun! Let F be a functor (Context: I am coding up things about F-algebras). We can define "newtype Mu = Ctor (F Mu)". I name the bijection par make :: F Mu -> Mu, exam :: Mu -> F Mu. Note how they are almost reverse spellings of each other! I am also tempted to replace k and x by chi, then they would be exact reverses! |
| 2026-06-27 18:17:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 18:20:08 +0000 | <tomsmeding> | at some cost to the pronunciation :p |
| 2026-06-27 18:21:24 +0000 | <dolio> | It's pronounced like latex. |
| 2026-06-27 18:21:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-27 18:23:21 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2026-06-27 18:25:40 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2026-06-27 18:26:26 +0000 | <tomsmeding> | monochrom: you could also call them maske and eksam; you could see "make" as "masking" the constructors of F, kinda |
| 2026-06-27 18:27:06 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-27 18:27:41 +0000 | <monochrom> | heh |
| 2026-06-27 18:28:13 +0000 | <fgarcia> | would INTERCAL also work? |
| 2026-06-27 18:30:54 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-27 18:31:43 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-06-27 18:32:49 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-27 18:32:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 18:35:03 +0000 | <schuelermine> | monochrom: I’m surprised you can do recursive newtype like that |
| 2026-06-27 18:36:44 +0000 | maerwald | (~maerwald@user/maerwald) (Remote host closed the connection) |
| 2026-06-27 18:37:22 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2026-06-27 18:37:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-06-27 18:37:45 +0000 | <tomsmeding> | schuelermine: why are you surprised? |
| 2026-06-27 18:38:29 +0000 | <monochrom> | Because System F doesn't allow it. (E.g., Dhall.) :) |
| 2026-06-27 18:38:34 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2026-06-27 18:39:13 +0000 | <tomsmeding> | Haskell is a pure language, all you need is the program, what even is execution? |
| 2026-06-27 18:39:25 +0000 | <schuelermine> | well, because newtype vs. data is (as far as I understand) about having the same memory representation of the newtype as the underlying type, so a recursive newtype is saying the type has the same memory representation as itself |
| 2026-06-27 18:39:25 +0000 | <tomsmeding> | And if execution is irrelevant, who cares about termination >:D |
| 2026-06-27 18:39:35 +0000 | <monochrom> | I think I was also slightly surprised for 5 seconds the first time I saw someone doing it (or maybe I went ahead to try) way back then. |
| 2026-06-27 18:39:49 +0000 | <tomsmeding> | schuelermine: that would be `newtype T = Ctor T` |
| 2026-06-27 18:40:04 +0000 | <schuelermine> | yeah? that works too |
| 2026-06-27 18:40:09 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-27 18:40:11 +0000 | <schuelermine> | not that much different from your example |
| 2026-06-27 18:40:25 +0000 | <schuelermine> | you could e.g. define type family F x where F x = x |
| 2026-06-27 18:40:32 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2026-06-27 18:40:32 +0000 | <tomsmeding> | but it is very different! Every value of my T has an undefined or an infinite loop somewhere |
| 2026-06-27 18:40:50 +0000 | <tomsmeding> | whereas Mu is very useful, if F is not the identity |
| 2026-06-27 18:41:01 +0000 | <tomsmeding> | you're right that T is a special case of Mu |
| 2026-06-27 18:41:02 +0000 | <schuelermine> | true |
| 2026-06-27 18:41:07 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-27 18:41:17 +0000 | <schuelermine> | but still, the type Mu here is a type that only exists as thunks |
| 2026-06-27 18:41:20 +0000 | <schuelermine> | it has no values |
| 2026-06-27 18:41:22 +0000 | <mauke> | that's just newtype Void = V Void |
| 2026-06-27 18:41:24 +0000 | <tomsmeding> | noi |
| 2026-06-27 18:41:26 +0000 | <mauke> | before we had nullary data |
| 2026-06-27 18:41:30 +0000 | <tomsmeding> | *no |
| 2026-06-27 18:41:48 +0000 | <tomsmeding> | type F a = Int |
| 2026-06-27 18:41:53 +0000 | <monochrom> | Yeah my F is like "F r = 1 + Int x F" or "data F r = Nil | Node Int r". |
| 2026-06-27 18:41:55 +0000 | <schuelermine> | oh true |
| 2026-06-27 18:42:03 +0000 | <schuelermine> | then I don’t get why newtype is allowed there |
| 2026-06-27 18:42:09 +0000 | traxex | (traxex@user/traxex) (Ping timeout: 246 seconds) |
| 2026-06-27 18:42:12 +0000 | <mauke> | isn't that just open recursion with type-level fix? |
| 2026-06-27 18:42:13 +0000 | <schuelermine> | instead of data |
| 2026-06-27 18:42:39 +0000 | <schuelermine> | like, say type family F x where F x = [x] |
| 2026-06-27 18:42:46 +0000 | <tomsmeding> | schuelermine: not having a runtime representation to destruct is only a problem if you need that runtime representation to figure out what value you have in hand |
| 2026-06-27 18:42:51 +0000 | <schuelermine> | then we have newtype Mu = Ctor [Mu] |
| 2026-06-27 18:43:00 +0000 | <tomsmeding> | because a newtype has only one constructor, you already know what you have in hand, so no need to add a tag |
| 2026-06-27 18:43:06 +0000 | <schuelermine> | so now newtype is saying “Mu has the same in-memory representation as [Mu]” |
| 2026-06-27 18:43:11 +0000 | <mauke> | that's grounded |
| 2026-06-27 18:43:18 +0000 | <mauke> | [] has steps inside |
| 2026-06-27 18:43:28 +0000 | <monochrom> | Language rules are usually one step away from useful motivations, i.e., allow more than realistic applications need, for simplicity and generality. |
| 2026-06-27 18:43:52 +0000 | <monochrom> | For example most people believe that "let in 1" is useless but it's allowed because why not. |
| 2026-06-27 18:44:05 +0000 | <tomsmeding> | schuelermine: I agree it's a bit strange, but there is no fundamental problem with implementing it, it just works |
| 2026-06-27 18:44:25 +0000 | <mauke> | Ctor [Ctor [], Ctor []] |
| 2026-06-27 18:44:30 +0000 | <schuelermine> | true |
| 2026-06-27 18:44:35 +0000 | <monochrom> | "newtype T = Ctor T" is also pretty useless but it is much simpler to have a rule "if you have just one ctor one field, you may use newtype". |
| 2026-06-27 18:44:53 +0000 | <tomsmeding> | right, being useless is not necessarily a good reason to make it disallowed |
| 2026-06-27 18:45:12 +0000 | <tomsmeding> | (if making it disallowed would mean introducing a special case) |
| 2026-06-27 18:45:41 +0000 | <monochrom> | In fact if you disallow "let in 1" for example, you are just making the lives of compiler writers harder, for not good reason except stupid ideologies. |
| 2026-06-27 18:46:16 +0000 | <tomsmeding> | `let in 1` actually has a use case though! Or rather, `let in _` has |
| 2026-06-27 18:46:19 +0000 | <monochrom> | (They have to write two extra lines of code to check non-emptiness and emit an error message) |
| 2026-06-27 18:46:44 +0000 | <tomsmeding> | it allows you to write `let` without HLS blundering into a parse error and destroying all the other diagnostics in the module. |
| 2026-06-27 18:46:44 +0000 | <schuelermine> | what did the Haskell messenger knocking on the door say? let in let in () |
| 2026-06-27 18:47:05 +0000 | <monochrom> | Yeah plus some users who have programs that generate Haskell code also would have to write extra code to "simplify" "let in 1" to "1". |
| 2026-06-27 18:47:13 +0000 | <tomsmeding> | schuelermine: heh |
| 2026-06-27 18:47:23 +0000 | <tomsmeding> | > do let in do let in () |
| 2026-06-27 18:47:24 +0000 | <lambdabot> | () |
| 2026-06-27 18:47:44 +0000 | <schuelermine> | is "do" here lambdabot syntax or a do block |
| 2026-06-27 18:47:48 +0000 | <tomsmeding> | normal do block |
| 2026-06-27 18:47:48 +0000 | <monochrom> | People who want to ban "useless" code can please switch to Python. |
| 2026-06-27 18:47:51 +0000 | <tomsmeding> | > do do do do do do do 42 |
| 2026-06-27 18:47:51 +0000 | <geekosaur> | do block |
| 2026-06-27 18:47:52 +0000 | <lambdabot> | 42 |
| 2026-06-27 18:48:01 +0000 | <geekosaur> | that is, expression syntax |
| 2026-06-27 18:48:06 +0000 | <mauke> | hah |
| 2026-06-27 18:48:07 +0000 | <tomsmeding> | monochrom: python bans even less than haskell lol |
| 2026-06-27 18:48:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 18:48:19 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-06-27 18:48:21 +0000 | <mauke> | perl also allows empty declarations: my (); # declare zero variables |
| 2026-06-27 18:49:15 +0000 | <schuelermine> | > baby shark $ do do do do do do pure () where { shark = (); baby = const id } |
| 2026-06-27 18:49:16 +0000 | <lambdabot> | <hint>:1:40: error: parse error on input `where' |
| 2026-06-27 18:49:48 +0000 | <tomsmeding> | 'where' is not an expression |
| 2026-06-27 18:49:49 +0000 | <mauke> | 'where' attaches to declarations only, not expressions |
| 2026-06-27 18:49:54 +0000 | <geekosaur> | where is declaration syntax, not expression |
| 2026-06-27 18:50:12 +0000 | <tomsmeding> | @quote counterpoint |
| 2026-06-27 18:50:12 +0000 | <schuelermine> | true |
| 2026-06-27 18:50:12 +0000 | <lambdabot> | No quotes match. The more you drive -- the dumber you get. |
| 2026-06-27 18:50:23 +0000 | <tomsmeding> | @quote counterp |
| 2026-06-27 18:50:23 +0000 | <lambdabot> | No quotes match. Take a stress pill and think things over. |
| 2026-06-27 18:50:25 +0000 | <tomsmeding> | meh |
| 2026-06-27 18:50:30 +0000 | <geekosaur> | @where contrapunctal |
| 2026-06-27 18:50:31 +0000 | <lambdabot> | I know nothing about contrapunctal. |
| 2026-06-27 18:50:31 +0000 | <mauke> | @quote fugue |
| 2026-06-27 18:50:31 +0000 | <lambdabot> | monochrom says: Welcome to #haskell, where your questions are answered in contrapuntal fugues. |
| 2026-06-27 18:50:37 +0000 | <monochrom> | Fortunately, Curry allows "x where x=1" in REPL. >:) |
| 2026-06-27 18:50:57 +0000 | <monochrom> | haha I couldn't spell contrapunctual |
| 2026-06-27 18:50:57 +0000 | <tomsmeding> | mauke++ |
| 2026-06-27 18:50:57 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-27 18:51:11 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-27 18:51:38 +0000 | <schuelermine> | geekosaur: it’s contrapuntal |
| 2026-06-27 18:51:50 +0000 | <mauke> | that's the correct spelling |
| 2026-06-27 18:51:50 +0000 | <tomsmeding> | english can't spell contrapunctual |
| 2026-06-27 18:52:19 +0000 | <monochrom> | Oh! I spelled it right! I must have looked it up to make sure back then. |
| 2026-06-27 18:52:21 +0000 | <mauke> | tomsmeding: I did my testing in /query first :-) |
| 2026-06-27 18:52:22 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-27 18:52:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-27 18:53:20 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-27 18:55:28 +0000 | <schuelermine> | is there a way you can check the current value of options in GHCi? |
| 2026-06-27 18:55:54 +0000 | <geekosaur> | :set / :seti |
| 2026-06-27 18:55:59 +0000 | <geekosaur> | er, :show |
| 2026-06-27 18:57:06 +0000 | <schuelermine> | unfortuantely that doesn’t work |
| 2026-06-27 18:57:07 +0000 | <mauke> | :set works |
| 2026-06-27 18:57:14 +0000 | <schuelermine> | e.g. :show local-config won’t show anything |
| 2026-06-27 18:57:18 +0000 | <mauke> | well, depends on what you mean by options |
| 2026-06-27 18:57:19 +0000 | <schuelermine> | neither will :set local-config |
| 2026-06-27 18:57:22 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-27 18:58:05 +0000 | <mauke> | yeah, that might be missing |
| 2026-06-27 18:58:33 +0000 | <tomsmeding> | I think those things are hardcoded things in ghci that aren't neatly in any one list to be outputted |
| 2026-06-27 18:58:48 +0000 | <schuelermine> | on an unrelated note, does anyone know a good alternative to the Kitty terminal on Linux |
| 2026-06-27 18:59:03 +0000 | <schuelermine> | I’ve tried Wezterm and it’s kinda not that great |
| 2026-06-27 18:59:19 +0000 | <tomsmeding> | better in what way? |
| 2026-06-27 18:59:28 +0000 | <schuelermine> | no not better |
| 2026-06-27 18:59:30 +0000 | <schuelermine> | just different |
| 2026-06-27 18:59:33 +0000 | <schuelermine> | im terminalhopping |
| 2026-06-27 19:00:00 +0000 | <tomsmeding> | gnome-terminal? alacritty? foot? |
| 2026-06-27 19:00:12 +0000 | <schuelermine> | haven’t tried alacritty, thanks |
| 2026-06-27 19:00:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 19:00:54 +0000 | <mauke> | I'm using xfce4-terminal |
| 2026-06-27 19:00:57 +0000 | <mauke> | seems to be all right |
| 2026-06-27 19:02:49 +0000 | <tomsmeding> | there's also st if you like that kind of thing :p |
| 2026-06-27 19:04:30 +0000 | <tomsmeding> | schuelermine: https://raw.githubusercontent.com/i3/i3/refs/heads/next/i3-sensible-terminal |
| 2026-06-27 19:05:03 +0000 | <tomsmeding> | ghostty seems to have linux support these days |
| 2026-06-27 19:05:29 +0000 | <schuelermine> | interesting |
| 2026-06-27 19:05:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-27 19:05:45 +0000 | jathan | (~jathan@69.61.93.38) jathan |
| 2026-06-27 19:07:17 +0000 | tomsmeding | runs st with tmux |
| 2026-06-27 19:07:41 +0000 | <fgarcia> | is there a specific thing you're looking for? |
| 2026-06-27 19:08:24 +0000 | <fgarcia> | for speed, gnome-terminal is probably good. i use alacritty and tmux and nearly forgot their names because of how much it stays out of my way |
| 2026-06-27 19:10:26 +0000 | spew | (~spew@user/spew) spew |
| 2026-06-27 19:12:49 +0000 | <schuelermine> | fgarcia: no; my reason for moving off kitty is mostly that they started using AI in development and I kinda don’t like that |
| 2026-06-27 19:13:41 +0000 | <schuelermine> | im gonna try foot now |
| 2026-06-27 19:13:47 +0000 | <schuelermine> | it doesn’t have tabs but whatever |
| 2026-06-27 19:15:38 +0000 | <fgarcia> | schuelermine: would Ghostty be something that interests you? |
| 2026-06-27 19:15:43 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.2) |
| 2026-06-27 19:15:49 +0000 | <schuelermine> | I don’t know much about Ghostty |
| 2026-06-27 19:16:06 +0000 | <mauke> | mine has tabs, but I don't use them |
| 2026-06-27 19:18:11 +0000 | ephapticpulse | (~user@user/ephapticpulse) (Remote host closed the connection) |
| 2026-06-27 19:18:30 +0000 | _________ | (~nobody@user/noodly) (Ping timeout: 265 seconds) |
| 2026-06-27 19:18:30 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-06-27 19:19:58 +0000 | <schuelermine> | I use tabs but really inconsistently |
| 2026-06-27 19:19:59 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-27 19:20:03 +0000 | <fgarcia> | schuelermine: i hope another person who knows can recommend something, i looked into it a little more https://github.com/ghostty-org/ghostty/commit/f00de7ee4b9bbc5a0fb5f4c06755780c773a0f5e |
| 2026-06-27 19:20:21 +0000 | <schuelermine> | like I tend to open a million windows when I should just use tabs |
| 2026-06-27 19:20:23 +0000 | <schuelermine> | so I think with foot |
| 2026-06-27 19:20:27 +0000 | <schuelermine> | I’ll just use windows |
| 2026-06-27 19:20:32 +0000 | <schuelermine> | tabs are a misfeature anyways |
| 2026-06-27 19:20:39 +0000 | <schuelermine> | applications should never have started implementing tabs |
| 2026-06-27 19:20:42 +0000 | <schuelermine> | that’s a window manager thing |
| 2026-06-27 19:20:47 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-06-27 19:20:49 +0000 | fgarcia | hides tmux |
| 2026-06-27 19:20:57 +0000 | tomsmeding | was going to say: with some window managers you can use their tabs :p |
| 2026-06-27 19:21:56 +0000 | <schuelermine> | I think there should be a protocol so apps that implement their own tabs can cooperate with WM tabs |
| 2026-06-27 19:22:05 +0000 | <schuelermine> | so like e.g. you could put a foreign application into a browser tab |
| 2026-06-27 19:22:14 +0000 | <schuelermine> | or you could tear off a browser tab and put it into a WM tab group |
| 2026-06-27 19:22:54 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-06-27 19:22:54 +0000 | ft | (~ft@p508db6b1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-06-27 19:24:49 +0000 | ft | (~ft@p4fc2a60a.dip0.t-ipconnect.de) ft |
| 2026-06-27 19:25:18 +0000 | _________ | (~nobody@user/noodly) _________ |
| 2026-06-27 19:27:32 +0000 | <fgarcia> | i could have sworn there is a WM that kind of does that but i can't find the name |
| 2026-06-27 19:29:12 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-06-27 19:31:05 +0000 | <schuelermine> | Haiku’s? |
| 2026-06-27 19:34:01 +0000 | <dcb> | stacking multiple windows under the same space? |
| 2026-06-27 19:34:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 19:36:12 +0000 | <schuelermine> | https://www.haiku-os.org/docs/userguide/en/gui.html |
| 2026-06-27 19:39:50 +0000 | <dcb> | like how i3 can put a window container in a tabbed layout? ( e.g.: https://i3wm.org/docs/userguide.html#_changing_the_container_layout ) |
| 2026-06-27 19:41:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-27 19:42:09 +0000 | ft | (~ft@p4fc2a60a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-06-27 19:43:17 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 269 seconds) |
| 2026-06-27 19:43:50 +0000 | ft | (~ft@p3e9bc08f.dip0.t-ipconnect.de) ft |
| 2026-06-27 19:50:29 +0000 | <fgarcia> | i can't find any pictures of people using Pekwm tabs :( https://old.reddit.com/r/unixporn/comments/90gx5u/xfce4_beosr5xfce/ |
| 2026-06-27 19:51:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 19:56:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-27 20:01:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 20:06:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-27 20:11:33 +0000 | michalz_ | (~michalz@185.246.207.200) |
| 2026-06-27 20:11:43 +0000 | michalz | (~michalz@185.246.207.203) (Ping timeout: 264 seconds) |
| 2026-06-27 20:12:42 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-06-27 20:14:18 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-27 20:16:24 +0000 | cipherrot | (~jez@user/petrichor) petrichor |
| 2026-06-27 20:16:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 20:17:40 +0000 | petrichor | (~jez@user/petrichor) (Ping timeout: 276 seconds) |
| 2026-06-27 20:19:19 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-27 20:20:02 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 248 seconds) |
| 2026-06-27 20:20:26 +0000 | niha0 | (~niall@user/niha0) niha0 |
| 2026-06-27 20:21:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 263 seconds) |
| 2026-06-27 20:25:17 +0000 | niha0 | (~niall@user/niha0) (Read error: Connection reset by peer) |
| 2026-06-27 20:32:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 20:33:00 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-06-27 20:34:50 +0000 | rinii | (~user@2001:1c00:a16:9d00:1e4e:2165:e1ba:83c) |
| 2026-06-27 20:35:51 +0000 | rinii | (~user@2001:1c00:a16:9d00:1e4e:2165:e1ba:83c) (Client Quit) |
| 2026-06-27 20:36:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-27 20:44:29 +0000 | itaipu | (~itaipu@168.121.99.135) (Ping timeout: 245 seconds) |
| 2026-06-27 20:45:24 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) () |
| 2026-06-27 20:45:31 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds) |
| 2026-06-27 20:47:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 20:48:02 +0000 | itaipu | (~itaipu@168.121.99.135) itaipu |
| 2026-06-27 20:51:14 +0000 | acidjnk_new | (~acidjnk@p200300d6e74def0343353b3983e3e743.dip0.t-ipconnect.de) acidjnk |
| 2026-06-27 20:52:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-27 20:52:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2026-06-27 20:52:53 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-27 20:53:05 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) fun-safe-math |
| 2026-06-27 20:54:12 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e74def24dcde6998942b8594.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-06-27 20:54:20 +0000 | acidjnk | (~acidjnk@p200300d6e74def24dcde6998942b8594.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-06-27 20:54:56 +0000 | acidjnk | (~acidjnk@p200300d6e74def0343353b3983e3e743.dip0.t-ipconnect.de) acidjnk |
| 2026-06-27 21:02:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-27 21:05:54 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-06-27 21:07:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-27 21:18:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |