| 2026-03-05 00:01:47 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-05 00:01:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 00:02:16 +0000 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-05 00:10:47 +0000 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-03-05 00:13:08 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 00:17:48 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 00:28:55 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 00:30:23 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 00:30:23 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 00:30:23 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 00:33:18 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 00:41:21 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-05 00:42:40 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-05 00:44:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 00:46:23 +0000 | xff0x | (~xff0x@ai084147.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2026-03-05 00:47:59 +0000 | AlexNoo_ | (~AlexNoo@178.34.150.243) |
| 2026-03-05 00:48:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 00:50:07 +0000 | AlexZenon | (~alzenon@94.233.241.37) (Ping timeout: 264 seconds) |
| 2026-03-05 00:51:00 +0000 | Alex_delenda_est | (~al_test@94.233.241.37) (Ping timeout: 245 seconds) |
| 2026-03-05 00:51:15 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2026-03-05 00:51:25 +0000 | AlexNoo | (~AlexNoo@94.233.241.37) (Ping timeout: 245 seconds) |
| 2026-03-05 00:52:29 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-05 00:52:55 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 00:53:10 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 00:57:29 +0000 | vito_ | (uid1962@id-1962.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-05 00:57:59 +0000 | AlexZenon | (~alzenon@178.34.150.243) |
| 2026-03-05 01:00:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 01:05:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 01:09:45 +0000 | jreicher | (~joelr@user/jreicher) (Ping timeout: 245 seconds) |
| 2026-03-05 01:10:24 +0000 | wickedjargon | (~user@96.49.241.245) wickedjargon |
| 2026-03-05 01:12:34 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 01:12:34 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 01:12:34 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 01:15:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 01:16:34 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5173857d47938b5e6dc.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-05 01:17:44 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-05 01:22:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 01:27:37 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) () |
| 2026-03-05 01:31:08 +0000 | <Leary> | aka_dude: If you still want to play with them, ski's stack declarations presumably looked something like this: https://gist.github.com/LSLeary/70a398c9814156ce3e698d6df52dd9cf |
| 2026-03-05 01:32:16 +0000 | simpleshun | (~simpleshu@user/SimpleShun) SimpleShun |
| 2026-03-05 01:33:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 01:36:17 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 01:36:17 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 01:36:17 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 01:38:15 +0000 | mange | (~mange@user/mange) (Ping timeout: 265 seconds) |
| 2026-03-05 01:38:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-05 01:38:44 +0000 | simpleshun | (~simpleshu@user/SimpleShun) (Ping timeout: 265 seconds) |
| 2026-03-05 01:40:03 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-03-05 01:40:57 +0000 | simpleshun | (~simpleshu@user/SimpleShun) SimpleShun |
| 2026-03-05 01:41:30 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-05 01:45:22 +0000 | xff0x | (~xff0x@182.169.73.28) |
| 2026-03-05 01:49:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 01:53:23 +0000 | wickedjargon | (~user@96.49.241.245) (Ping timeout: 244 seconds) |
| 2026-03-05 01:53:41 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 01:53:41 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 01:53:41 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 01:54:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 01:56:34 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 01:58:10 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-05 01:58:53 +0000 | simpleshun | (~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1) |
| 2026-03-05 02:05:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 02:09:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-05 02:20:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 02:21:56 +0000 | wickedjargon | (~user@207.194.38.18) wickedjargon |
| 2026-03-05 02:25:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 02:26:38 +0000 | mange | (~mange@user/mange) mange |
| 2026-03-05 02:36:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 02:41:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 02:41:20 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-05 02:43:52 +0000 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-03-05 02:44:39 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-05 02:46:25 +0000 | qqq | (~qqq@185.54.22.240) (Quit: Lost terminal) |
| 2026-03-05 02:52:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 02:58:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-05 02:59:04 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 03:04:59 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-03-05 03:08:33 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 03:08:36 +0000 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-05 03:09:08 +0000 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 03:10:27 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 03:11:34 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 03:11:34 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 03:11:34 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 03:12:13 +0000 | wickedja` | (~user@2605:8d80:5430:2896:f12c:b96b:7672:6460) |
| 2026-03-05 03:13:36 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 03:13:54 +0000 | wickedjargon | (~user@207.194.38.18) (Ping timeout: 248 seconds) |
| 2026-03-05 03:15:01 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 03:18:51 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-05 03:20:48 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-05 03:24:15 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 03:24:22 +0000 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-05 03:25:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 03:29:35 +0000 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 03:29:41 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 03:30:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 03:36:35 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 03:36:55 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 03:37:00 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 03:41:44 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 03:43:09 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2026-03-05 03:46:00 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2026-03-05 03:55:19 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-03-05 03:57:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 03:57:41 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-03-05 03:57:41 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-03-05 03:57:41 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-03-05 03:58:28 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-03-05 04:01:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 04:08:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 04:13:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-05 04:13:59 +0000 | aaron_ | (~aaron@2601:602:8d00:c320:3465:85c5:90c3:777f) |
| 2026-03-05 04:24:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 04:29:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 04:30:12 +0000 | rekahsoft | (~rekahsoft@76.67.111.168) (Remote host closed the connection) |
| 2026-03-05 04:35:55 +0000 | wickedja` | (~user@2605:8d80:5430:2896:f12c:b96b:7672:6460) (Remote host closed the connection) |
| 2026-03-05 04:40:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 04:45:38 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 04:46:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 04:58:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 05:00:34 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 05:01:17 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 05:03:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 05:06:03 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 05:06:17 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 05:12:44 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-05 05:14:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 05:18:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 05:27:51 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 05:28:38 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 05:30:19 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 05:33:40 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-05 05:33:44 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-05 05:34:31 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 05:38:07 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-03-05 05:38:42 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 246 seconds) |
| 2026-03-05 05:42:39 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-05 05:42:58 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 05:43:21 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-05 05:43:51 +0000 | xff0x | (~xff0x@182.169.73.28) (Quit: xff0x) |
| 2026-03-05 05:45:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 05:46:40 +0000 | xff0x | (~xff0x@182.169.73.28) |
| 2026-03-05 05:46:58 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-05 05:50:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 05:50:35 +0000 | mange | (~mange@user/mange) (Ping timeout: 245 seconds) |
| 2026-03-05 05:54:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-05 06:00:26 +0000 | michalz | (~michalz@185.246.207.215) |
| 2026-03-05 06:10:05 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 06:10:08 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 06:13:29 +0000 | <gentauro> | geekosaur: morning :) (thx for the help yesterday) |
| 2026-03-05 06:14:03 +0000 | <gentauro> | with a fresh mind -> https://gitlab.com/a-gent/a-gent/-/blob/main/A-gent.cabal?ref_type=heads#L33-38 https://gitlab.com/a-gent/a-gent/-/blob/main/build.sh?ref_type=heads#L9-26 https://gitlab.com/a-gent/a-gent/-/blob/main/hdocs.sh?ref_type=heads#L18-25 and https://gitlab.com/a-gent/a-gent/-/blob/main/pkgup.sh?ref_type=heads#L24-37 |
| 2026-03-05 06:14:11 +0000 | <gentauro> | all good now (once again, many thx) |
| 2026-03-05 06:14:18 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 06:25:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 06:26:03 +0000 | hc | (~hc@mail.hce.li) hc |
| 2026-03-05 06:30:45 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-05 06:32:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-05 06:32:35 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.8.1) |
| 2026-03-05 06:32:41 +0000 | lol__ | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) |
| 2026-03-05 06:35:03 +0000 | lol_ | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 246 seconds) |
| 2026-03-05 06:35:13 +0000 | mange | (~mange@user/mange) mange |
| 2026-03-05 06:35:48 +0000 | lol_ | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) |
| 2026-03-05 06:36:06 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 246 seconds) |
| 2026-03-05 06:36:50 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2026-03-05 06:36:51 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) |
| 2026-03-05 06:38:05 +0000 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 245 seconds) |
| 2026-03-05 06:38:10 +0000 | lol__ | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 248 seconds) |
| 2026-03-05 06:43:55 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 06:48:24 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 06:56:50 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-05 06:57:23 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-03-05 06:59:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 07:03:05 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-03-05 07:04:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-05 07:10:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 07:11:48 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 2026-03-05 07:13:44 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 07:13:44 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 07:13:44 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 07:15:01 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-03-05 07:15:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-05 07:16:29 +0000 | <aka_dude> | Leary: 🤯 |
| 2026-03-05 07:19:35 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-05 07:30:23 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-05 07:30:50 +0000 | aaron_ | (~aaron@2601:602:8d00:c320:3465:85c5:90c3:777f) (Quit: Leaving) |
| 2026-03-05 07:33:55 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-05 07:35:30 +0000 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-05 07:37:15 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-05 07:43:14 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2026-03-05 07:43:29 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-05 07:44:08 +0000 | kuribas | (~user@2a02:1810:2825:6000:67a:4325:ab5b:92a9) kuribas |
| 2026-03-05 07:44:10 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-05 07:44:45 +0000 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-05 08:02:34 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-05 08:04:30 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-05 08:06:50 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2026-03-05 08:07:08 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-05 08:08:21 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) |
| 2026-03-05 08:08:21 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:8f9:5ae1:db50:3312) (Changing host) |
| 2026-03-05 08:08:21 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 08:09:06 +0000 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2026-03-05 08:14:33 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-03-05 08:23:43 +0000 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-05 08:31:14 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-05 08:31:26 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 08:33:01 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e51798ffae662d64428e.dip0.t-ipconnect.de) acidjnk |
| 2026-03-05 08:38:57 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 08:44:14 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 08:47:04 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2026-03-05 08:49:29 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 08:49:30 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer) |
| 2026-03-05 08:49:57 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2026-03-05 08:51:28 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-05 08:55:03 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 08:57:39 +0000 | Square | (~Square4@user/square) Square |
| 2026-03-05 08:59:06 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2026-03-05 09:09:10 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-05 09:09:22 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-03-05 09:09:25 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-05 09:26:28 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-05 09:38:43 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-03-05 09:43:41 +0000 | chele | (~chele@user/chele) chele |
| 2026-03-05 10:05:05 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-05 10:06:12 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 10:10:06 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 265 seconds) |
| 2026-03-05 10:21:16 +0000 | xff0x | (~xff0x@182.169.73.28) (Ping timeout: 244 seconds) |
| 2026-03-05 10:23:12 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-05 10:26:57 +0000 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 244 seconds) |
| 2026-03-05 10:35:39 +0000 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-03-05 10:40:43 +0000 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-05 10:54:42 +0000 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-05 10:58:07 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-05 11:00:02 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5630d82fe39e12aa3e5.dip0.t-ipconnect.de) acidjnk |
| 2026-03-05 11:02:32 +0000 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 11:02:48 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e51798ffae662d64428e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-03-05 11:03:35 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 11:13:46 +0000 | <Athas> | Is there a convenient way to go from an Int to an ExitCode in the obvious way? I.e., 0 becomes ExitSuccess and everything else becomes ExitFailure? |
| 2026-03-05 11:13:57 +0000 | <Athas> | It seems like an obvious thing, and it's three lines of code to do by hand. |
| 2026-03-05 11:16:28 +0000 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2026-03-05 11:16:42 +0000 | <haskellbridge> | <magic_rb> Athas: well no, because thats obvious only on linux |
| 2026-03-05 11:17:15 +0000 | <int-e> | exitWith (if c == 0 then ExitSuccess else ExitFailure c) --- how does this turn into three lines? |
| 2026-03-05 11:17:29 +0000 | <Athas> | I wrote it with case instead of if. |
| 2026-03-05 11:18:22 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b1a8:2b42:9b46:3f85) |
| 2026-03-05 11:34:02 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-05 11:41:49 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-05 11:45:04 +0000 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-03-05 11:47:03 +0000 | kadobanana | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2026-03-05 11:47:45 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 11:48:29 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-05 11:59:17 +0000 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-05 12:16:03 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 12:18:27 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 12:20:57 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 12:37:31 +0000 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 12:37:47 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:46:06 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-03-05 12:47:52 +0000 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2026-03-05 12:48:15 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:49:02 +0000 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 12:49:15 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-05 12:49:25 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:49:38 +0000 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 12:50:00 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:50:07 +0000 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 12:50:45 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:52:16 +0000 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2026-03-05 12:53:11 +0000 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 12:53:38 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:54:55 +0000 | kadobanana | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2026-03-05 12:55:22 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:56:28 +0000 | kadobanana | (~mud@user/kadoban) (Client Quit) |
| 2026-03-05 12:57:03 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 12:57:54 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 12:58:02 +0000 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-05 13:02:10 +0000 | kadobanana | (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 2026-03-05 13:03:44 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2026-03-05 13:06:56 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 13:11:08 +0000 | AlexNoo_ | AlexNoo |
| 2026-03-05 13:11:45 +0000 | Alex_delenda_est | (~al_test@178.34.150.243) |
| 2026-03-05 13:18:21 +0000 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2026-03-05 13:18:31 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-05 13:28:31 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:f311:8940:c862:5b08) |
| 2026-03-05 13:31:16 +0000 | n0den1te | (~n0den1te@user/n0den1te) n0den1te |
| 2026-03-05 13:36:53 +0000 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-03-05 13:37:07 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-05 13:39:07 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 276 seconds) |
| 2026-03-05 14:05:58 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 268 seconds) |
| 2026-03-05 14:06:29 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) Jonno_FTW |
| 2026-03-05 14:07:21 +0000 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-03-05 14:17:05 +0000 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 14:18:56 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-05 14:19:05 +0000 | chaseabagg | (~chaseabag@2600:387:15:5519::3) |
| 2026-03-05 14:19:29 +0000 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-03-05 14:21:43 +0000 | <ski> | Leary,aka_dude : no. there are no pairs (tuples) in my version (from around ~ 2004 or so, iirc) |
| 2026-03-05 14:22:18 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 14:22:49 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 14:27:32 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:f311:8940:c862:5b08) (Remote host closed the connection) |
| 2026-03-05 14:33:45 +0000 | chaseabagg | (~chaseabag@2600:387:15:5519::3) (Quit: Client closed) |
| 2026-03-05 14:38:33 +0000 | Square2 | (~Square@user/square) Square |
| 2026-03-05 14:38:34 +0000 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-03-05 14:38:41 +0000 | <ski> | > run (push 4 . push 7 . dup . rot . dup . rot_ . minus . rot_ . plus . times) |
| 2026-03-05 14:38:42 +0000 | <lambdabot> | 33 |
| 2026-03-05 14:39:21 +0000 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-03-05 14:39:52 +0000 | <ski> | (i threw in `drop',`nip',`dup',`over',`swap',`rot',`rot_' in addition to (`run',`push',`apply' and) `plus',`minus',`times' .. see e.g. <https://deepwiki.com/zserge/lc3-forth/3.1-stack-manipulation> for the stack effectt of the former) |
| 2026-03-05 14:40:25 +0000 | Square2 | (~Square@user/square) Square |
| 2026-03-05 14:40:52 +0000 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-03-05 14:41:17 +0000 | Square2 | (~Square@user/square) Square |
| 2026-03-05 14:42:58 +0000 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 248 seconds) |
| 2026-03-05 14:48:16 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 14:48:26 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 14:52:30 +0000 | <Leary> | ski: Like so? `run f = f id; push x = \f -> f x; apply f = \g x -> f (g x)` |
| 2026-03-05 14:56:05 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 15:00:06 +0000 | <ski> | yes (although i used no lambdas. i don't really see a point, here, apart maybe from `\x -> x' instead of `id') |
| 2026-03-05 15:01:14 +0000 | <ski> | you see how e.g. `plus',`minus' or `dup',`rot' were defined ? |
| 2026-03-05 15:01:19 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 15:01:31 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-05 15:03:34 +0000 | <Leary> | Well, it's just a way to indicate where the "arguments" end and the "result" begins (that last `f` should have been on the RHS). If your stack type had it's implementation details hidden by a newtype, that's probably where the constructor would be. |
| 2026-03-05 15:05:33 +0000 | <ski> | "that last `f` should have been on the RHS" -- ah, that's what was confusing me |
| 2026-03-05 15:09:04 +0000 | <ski> | but yea .. it's not too clear to me how to hide it behind a `newtype' in a meaningful (nontrivial) way |
| 2026-03-05 15:10:03 +0000 | <ski> | (type of e.g. `dup' should clarify this) |
| 2026-03-05 15:11:19 +0000 | <Leary> | Yeah, that was more just to get the idea of the divide across. |
| 2026-03-05 15:13:05 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-03-05 15:13:10 +0000 | <ski> | it's a quite neat idea for how to do a heterogenous concatenative stack, without stack constructors |
| 2026-03-05 15:13:45 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-03-05 15:14:48 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 2026-03-05 15:23:46 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 15:23:53 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 15:24:51 +0000 | gabiruh | (~gabiruh@191.252.222.55) (Read error: Connection reset by peer) |
| 2026-03-05 15:24:54 +0000 | gabiruh_ | (~gabiruh@191.252.222.55) gabiruh |
| 2026-03-05 15:26:37 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-03-05 15:27:37 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-05 15:31:40 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-03-05 15:33:47 +0000 | gabiruh_ | (~gabiruh@191.252.222.55) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-05 15:34:03 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-03-05 15:39:07 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-05 15:52:46 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-05 15:52:57 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 15:56:49 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-05 16:01:41 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 16:01:49 +0000 | philopso11 | (~caecilius@107.175.39.130) |
| 2026-03-05 16:03:01 +0000 | philopso11 | (~caecilius@107.175.39.130) (Remote host closed the connection) |
| 2026-03-05 16:04:57 +0000 | n0den1te | (~n0den1te@user/n0den1te) (Quit: leaving) |
| 2026-03-05 16:05:38 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 16:07:17 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 16:12:48 +0000 | loungerry_ | (~loungerry@user/loungerry-:45058) (Quit: left) |
| 2026-03-05 16:12:59 +0000 | loungerry_ | (~loungerry@150.241.86.78) |
| 2026-03-05 16:13:55 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-03-05 16:15:26 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 16:17:35 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2026-03-05 16:23:55 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 16:24:29 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 16:26:34 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 244 seconds) |
| 2026-03-05 16:27:17 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 16:33:28 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 16:34:18 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 16:34:21 +0000 | <Leary> | ski: Updated: https://gist.github.com/LSLeary/70a398c9814156ce3e698d6df52dd9cf |
| 2026-03-05 16:36:02 +0000 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2026-03-05 16:36:25 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-05 16:41:25 +0000 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 16:41:54 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 16:42:50 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-05 16:44:45 +0000 | myme | (~myme@2a01:799:d5e:5f00:3864:a0fc:2539:2c1f) (Ping timeout: 245 seconds) |
| 2026-03-05 16:46:03 +0000 | myme | (~myme@2a01:799:d5e:5f00:332d:919:8ee8:93eb) myme |
| 2026-03-05 16:47:03 +0000 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 16:47:13 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 16:48:49 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 16:49:28 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 256 seconds) |
| 2026-03-05 16:54:27 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 244 seconds) |
| 2026-03-05 16:56:20 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2026-03-05 16:58:36 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-03-05 16:59:10 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 17:04:35 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-05 17:05:33 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-03-05 17:14:55 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2026-03-05 17:19:08 +0000 | Digit | (~user@user/digit) Digit |
| 2026-03-05 17:26:44 +0000 | Digit | digitteknohippie |
| 2026-03-05 17:27:04 +0000 | digitteknohippie | Digit |
| 2026-03-05 17:28:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-05 17:43:39 +0000 | <ski> | Leary : yea, type families would work |
| 2026-03-05 17:43:40 +0000 | [exa] | (~exa@user/exa/x-3587197) (Quit: WeeChat 3.8) |
| 2026-03-05 17:44:14 +0000 | <ski> | .. oh, you did composition (`.') backwards |
| 2026-03-05 17:44:36 +0000 | <ski> | ah, because of `Stack xs ys', rather than `Stack ys xs' |
| 2026-03-05 17:45:10 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-05 17:46:15 +0000 | ski | would call the argument to `run', `w' (for "word"), and the `f' arguments to `push',`dup',`rot',`apply', `k' ("continuation") |
| 2026-03-05 17:46:49 +0000 | <ski> | rot k z y x = k x z y |
| 2026-03-05 17:46:51 +0000 | <ski> | minus k y x = k (x - y) |
| 2026-03-05 17:47:15 +0000 | <ski> | which would correspond to the stack effects |
| 2026-03-05 17:47:57 +0000 | <ski> | ( x y z -- y z x ) |
| 2026-03-05 17:48:04 +0000 | <ski> | ( x y -- x-y ) |
| 2026-03-05 17:48:11 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-05 17:50:38 +0000 | <ski> | any particular reason for `forall s ->' ? |
| 2026-03-05 17:54:27 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-03-05 17:54:55 +0000 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-03-05 17:57:21 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-05 18:02:04 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 18:09:43 +0000 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-05 18:13:30 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 18:13:48 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 18:13:50 +0000 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-03-05 18:14:11 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 18:14:19 +0000 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2026-03-05 18:16:28 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-05 18:16:36 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-03-05 18:16:41 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-05 18:17:36 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 18:18:24 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 18:21:39 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-05 18:23:49 +0000 | opqdonut__ | (opqdonut@pseudo.fixme.fi) (Ping timeout: 276 seconds) |
| 2026-03-05 18:25:18 +0000 | opqdonut__ | (opqdonut@pseudo.fixme.fi) |
| 2026-03-05 18:25:59 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 18:26:50 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-05 18:31:04 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-05 18:38:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-03-05 18:41:26 +0000 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-03-05 18:47:56 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-03-05 18:53:39 +0000 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 245 seconds) |
| 2026-03-05 18:56:53 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-03-05 19:03:23 +0000 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-05 19:03:35 +0000 | <chromoblob> | how will you do branching? |
| 2026-03-05 19:03:47 +0000 | <chromoblob> | or will you do it in Haskell |
| 2026-03-05 19:04:47 +0000 | <ski> | you could do a `cond ifTrue ifFalse' construct, i suppose |
| 2026-03-05 19:05:40 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2026-03-05 19:06:56 +0000 | <int-e> | this is more of a party trick than a design pattern |
| 2026-03-05 19:08:20 +0000 | <int-e> | (But the CPS transform is used seriously... but you often want more than one continuation and then `.` for sequencing breaks down) |
| 2026-03-05 19:09:51 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 19:12:35 +0000 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-05 19:12:46 +0000 | <ski> | > let fact :: Integral a => (a -> o) -> (a -> o); fact = dup . push 0 . greater . cond (dup . push 1 . minus . fact . times) (L.drop . push 1) in run (push 5 . fact) |
| 2026-03-05 19:12:47 +0000 | <lambdabot> | 120 |
| 2026-03-05 19:12:53 +0000 | <ski> | (polymorphic recursion) |
| 2026-03-05 19:13:42 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 19:14:26 +0000 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-05 19:20:48 +0000 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2026-03-05 19:21:00 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-05 19:21:11 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 19:21:22 +0000 | <ski> | > let factTimes = dup . push 0 . greater . cond (dup . push 1 . minus . rot_ . times . L.swap . factTimes) L.drop in run (push 1 . push 5 . factTimes) |
| 2026-03-05 19:21:23 +0000 | <lambdabot> | 120 |
| 2026-03-05 19:21:59 +0000 | <ski> | interesting to note how tail recursion turns into monomorphic recursion, while non-tail recursion turns into polymorphic recursion |
| 2026-03-05 19:22:39 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 19:22:46 +0000 | Tuplanolla | (~Tuplanoll@88.114.89.88) Tuplanolla |
| 2026-03-05 19:24:10 +0000 | <EvanR> | laziness reigns |
| 2026-03-05 19:30:27 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 19:30:57 +0000 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2026-03-05 19:31:28 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-05 19:32:11 +0000 | rainbyte | (~rainbyte@2800:810:5fa:2b1:ead4:b2fc:4979:be59) rainbyte |
| 2026-03-05 19:36:41 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 19:39:37 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 19:40:56 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2026-03-05 19:41:10 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 19:43:43 +0000 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 19:44:04 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 19:47:50 +0000 | <ski> | (in Forth, `cond (...) (...)' would correspond to `if ... else ... then', which i'd say is reasonably close (mixfix like in Agda would get closer). of course, no compile-time words, in the above model) |
| 2026-03-05 19:48:03 +0000 | kuribas | (~user@2a02:1810:2825:6000:67a:4325:ab5b:92a9) (Ping timeout: 244 seconds) |
| 2026-03-05 19:48:13 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-05 19:48:50 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Ping timeout: 268 seconds) |
| 2026-03-05 19:49:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 267 seconds) |
| 2026-03-05 19:51:06 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-03-05 19:59:30 +0000 | gabiruh | (~gabiruh@191.252.222.55) gabiruh |
| 2026-03-05 20:04:25 +0000 | humasect | (~humasect@192.249.132.90) humasect |
| 2026-03-05 20:11:49 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 20:13:24 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 20:14:15 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 20:15:07 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-05 20:16:50 +0000 | oskarw | (~user@user/oskarw) (Ping timeout: 248 seconds) |
| 2026-03-05 20:18:32 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 20:20:42 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 20:21:20 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 20:22:21 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-05 20:22:42 +0000 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-05 20:29:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 20:33:43 +0000 | kuribas | (~user@2a02:1810:2825:6000:d4d2:7bb2:8f5b:632a) kuribas |
| 2026-03-05 20:35:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 20:41:03 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-05 20:45:51 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 20:46:34 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2026-03-05 20:47:07 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 20:50:34 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 20:55:29 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 20:56:11 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 20:56:24 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 20:57:04 +0000 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 21:01:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 21:06:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 21:07:52 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2026-03-05 21:08:53 +0000 | [exa] | (~exa@user/exa/x-3587197) [exa] |
| 2026-03-05 21:09:58 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 21:10:54 +0000 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-05 21:17:03 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-05 21:17:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 21:19:14 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-05 21:24:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-05 21:24:32 +0000 | redshuffle | (~quassel@45.43.70.75) |
| 2026-03-05 21:26:04 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-03-05 21:33:07 +0000 | mange | (~mange@user/mange) mange |
| 2026-03-05 21:35:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 21:36:00 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 255 seconds) |
| 2026-03-05 21:36:18 +0000 | <mesaoptimizer> | would you like Agda mixfix in Haskell |
| 2026-03-05 21:36:24 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 21:39:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 21:45:02 +0000 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2026-03-05 21:50:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 21:53:06 +0000 | <[exa]> | mesaoptimizer: yeah (for symbol operators only tho, would be kinda disrupting to have wordy operators like agda) |
| 2026-03-05 21:53:34 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 258 seconds) |
| 2026-03-05 21:55:29 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2026-03-05 21:55:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 21:55:55 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-03-05 22:04:54 +0000 | gehmehgeh | gmg |
| 2026-03-05 22:05:23 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-05 22:06:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 22:06:31 +0000 | oskarw | (~user@user/oskarw) (Ping timeout: 244 seconds) |
| 2026-03-05 22:11:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 22:13:30 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-05 22:15:19 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-03-05 22:15:51 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-05 22:16:28 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 22:22:43 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 22:22:56 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-05 22:27:11 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 22:35:18 +0000 | <monochrom> | mixfix with words = COBOL >:) |
| 2026-03-05 22:35:27 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2026-03-05 22:38:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 22:40:50 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 22:43:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 22:46:49 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2026-03-05 22:51:54 +0000 | [exa] | (~exa@user/exa/x-3587197) (Quit: Lost terminal) |
| 2026-03-05 22:54:11 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-03-05 22:54:14 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 22:56:50 +0000 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-05 23:00:04 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 256 seconds) |
| 2026-03-05 23:00:46 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 23:01:05 +0000 | humasect | (~humasect@192.249.132.90) (Remote host closed the connection) |
| 2026-03-05 23:03:28 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 23:03:43 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-05 23:03:46 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 23:03:55 +0000 | oskarw | (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 2026-03-05 23:08:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 23:09:07 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-05 23:09:28 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-05 23:09:57 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 23:10:15 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 23:11:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-05 23:13:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 23:14:29 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2026-03-05 23:18:08 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-05 23:18:30 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 2026-03-05 23:18:36 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 23:18:52 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 23:23:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 23:26:08 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 23:26:35 +0000 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 23:29:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 23:39:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 23:44:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 23:48:35 +0000 | <Leary> | ski: `Fun` isn't injective, so GHC can get confused about what `s` is. The `forall s ->` is the nicest way to tell it. |
| 2026-03-05 23:49:41 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 23:51:34 +0000 | <ski> | mhm, okay |
| 2026-03-05 23:55:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 23:56:56 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-03-05 23:57:58 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 2026-03-05 23:58:00 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-05 23:58:19 +0000 | tt1231607019 | (~tt1231@75.185.104.199) tt1231 |
| 2026-03-05 23:58:58 +0000 | tt123160701 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 268 seconds) |
| 2026-03-05 23:58:58 +0000 | tt1231607019 | tt123160701 |