Logs on 2026-01-04 (liberachat/#haskell)
| 00:04:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:09:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:10:31 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 00:18:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:23:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:24:48 | → | Inline joins (~inlinE@2001-4dd4-36a0-0-271-56f2-ebb9-4ec7.ipv6dyn.netcologne.de) |
| 00:27:07 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 00:32:55 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 00:34:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:35:37 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 00:39:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:42:12 | → | gmg joins (~user@user/gehmehgeh) |
| 00:54:49 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 01:05:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:07:23 | → | omidmash1 joins (~omidmash@user/omidmash) |
| 01:09:05 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 245 seconds) |
| 01:09:05 | omidmash1 | is now known as omidmash |
| 01:09:27 | × | Inline quits (~inlinE@2001-4dd4-36a0-0-271-56f2-ebb9-4ec7.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 01:10:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:19:50 | → | karenw joins (~karenw@user/karenw) |
| 01:21:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:25:00 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 01:25:02 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 01:25:51 | divlamir_ | is now known as divlamir |
| 01:26:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:30:34 | → | Inline joins (~inlinE@2001-4dd4-36a0-0-76ad-a7ee-eda3-bac2.ipv6dyn.netcologne.de) |
| 01:43:35 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 01:47:58 | × | acidjnk quits (~acidjnk@p200300d6e7171928c97b09002621ce21.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 01:55:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:58:32 | → | kdlv joins (~kdlv@user/kdlv) |
| 01:59:24 | → | m_a_r_k joins (~m_a_r_k@archlinux/support/mark) |
| 02:00:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:02:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:06:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:15:23 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 02:15:34 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 02:18:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:22:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:30:55 | × | Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 02:32:27 | → | Brumaire joins (~no@94.140.114.73) |
| 02:33:23 | × | Inline quits (~inlinE@2001-4dd4-36a0-0-76ad-a7ee-eda3-bac2.ipv6dyn.netcologne.de) (Ping timeout: 265 seconds) |
| 02:33:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:38:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:47:43 | × | Square3 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 02:49:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:54:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:58:30 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 03:04:28 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 246 seconds) |
| 03:05:05 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 03:05:40 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 03:09:58 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 03:10:41 | × | finsternis quits (~X@23.226.237.192) (Remote host closed the connection) |
| 03:11:11 | → | finsternis joins (~X@23.226.237.192) |
| 03:20:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:25:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:28:34 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 03:36:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:41:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:52:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:56:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:08:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:12:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:23:20 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 04:23:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:28:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:39:43 | → | merijn joins (~merijn@62.45.136.136) |
| 04:44:51 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 04:55:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:58:02 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 05:00:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:01:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:03:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 05:05:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:17:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:21:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:26:24 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 05:32:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:32:55 | × | berberman quits (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
| 05:33:41 | → | berberman joins (~berberman@user/berberman) |
| 05:33:48 | × | berberman quits (~berberman@user/berberman) (Remote host closed the connection) |
| 05:36:50 | → | berberman joins (~berberman@user/berberman) |
| 05:37:31 | × | berberman quits (~berberman@user/berberman) (Client Quit) |
| 05:39:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:39:19 | → | berberman joins (~berberman@user/berberman) |
| 05:50:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:55:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:06:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:11:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:17:34 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 06:22:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:26:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:36:13 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 06:37:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:42:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:53:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:58:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 07:05:16 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 07:18:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:20:29 | → | athan joins (~athan@98.150.233.226) |
| 07:24:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:36:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:36:47 | → | aetepe joins (~aetepe@188.119.58.52) |
| 07:40:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:41:25 | × | athan quits (~athan@98.150.233.226) (Ping timeout: 264 seconds) |
| 07:44:35 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 07:52:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:56:41 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 07:57:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:00:06 | × | tt1231607 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 08:03:06 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 08:03:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:05:41 | → | tt1231607 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 08:07:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 08:10:40 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 08:14:43 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 08:15:26 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 08:16:24 | → | califax joins (~califax@user/califx) |
| 08:18:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:22:35 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 240 seconds) |
| 08:23:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:24:41 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 08:27:41 | → | califax joins (~califax@user/califx) |
| 08:28:07 | → | Brumaire joins (~no@94.140.114.73) |
| 08:28:08 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 08:30:10 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 08:34:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:38:52 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 08:39:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 08:42:01 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 08:43:02 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 08:50:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:54:07 | → | aetepe joins (~aetepe@188.119.58.52) |
| 08:55:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:55:31 | × | duckworld quits (~duckworld@user/duckworld) (Ping timeout: 240 seconds) |
| 08:58:55 | × | housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 09:01:43 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 09:03:09 | → | __monty__ joins (~toonn@user/toonn) |
| 09:03:17 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 09:04:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:07:35 | → | housemate joins (~housemate@202.7.247.155) |
| 09:08:35 | → | duckworld joins (~duckworld@user/duckworld) |
| 09:08:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 09:17:44 | → | wickedjargon joins (~user@64.114.24.74) |
| 09:19:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:24:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 09:27:55 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 09:35:41 | → | merijn joins (~merijn@62.45.136.136) |
| 09:38:36 | → | acidjnk joins (~acidjnk@p200300d6e7171903898692e61c742058.dip0.t-ipconnect.de) |
| 09:40:15 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 09:40:38 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:48:44 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 09:49:19 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 09:51:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:55:35 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 09:56:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 10:02:42 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 10:05:15 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 10:05:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:07:49 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 10:11:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 10:15:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:16:56 | → | Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) |
| 10:20:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 10:25:49 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 10:26:41 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 10:31:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:31:43 | × | aetepe quits (~aetepe@188.119.58.52) (Remote host closed the connection) |
| 10:36:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 10:46:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:52:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 11:02:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:03:50 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 11:05:00 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:08:07 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 11:09:11 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 11:10:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 11:22:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:22:28 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 11:24:41 | → | bliminse joins (~bliminse@user/bliminse) |
| 11:27:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 11:37:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:42:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 11:53:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:59:22 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 12:00:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:07:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:12:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 12:23:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:27:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:38:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:43:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 12:45:15 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 12:48:32 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 12:53:54 | → | haritz joins (~hrtz@user/haritz) |
| 12:56:37 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 13:08:20 | → | merijn joins (~merijn@62.45.136.136) |
| 13:12:02 | <gentauro> | I am the only one that notice the trend: "Oh, look at my project (100% made with Jean-CLAUDE van Doom, but not telling). Please gif feedback so I can fix what Jean can't do"? |
| 13:12:22 | <gentauro> | Specially on reddit/r/programming … |
| 13:12:50 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 13:12:58 | <gentauro> | gosh, it's time to become farmer isn't it? |
| 13:15:05 | → | weary-traveler joins (~user@user/user363627) |
| 13:16:31 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:20:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:25:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 13:32:20 | → | Square3 joins (~Square@user/square) |
| 13:36:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:40:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 13:44:15 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 13:45:29 | → | img joins (~img@user/img) |
| 13:46:30 | × | yin quits (~zero@user/zero) (Ping timeout: 244 seconds) |
| 13:49:50 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 13:51:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:55:37 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 13:55:49 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 246 seconds) |
| 13:56:25 | → | yin joins (~zero@user/zero) |
| 13:57:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 13:59:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:07:00 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 14:07:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:12:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:13:37 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 14:16:37 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 14:23:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:23:39 | → | poscat0x04 joins (~poscat@user/poscat) |
| 14:24:04 | × | wickedjargon quits (~user@64.114.24.74) (Remote host closed the connection) |
| 14:25:30 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 14:28:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 14:39:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:45:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 14:47:06 | → | Digitteknohippie joins (~user@user/digit) |
| 14:47:43 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 14:51:34 | → | larsivi joins (~larsivi@user/larsivi) |
| 14:55:12 | <larsivi> | Hi folks! I am reviving some old Haskell code that I want to use. It is built with the Snap webserver. The demo essentially works, however (especially using chrome based browsers) causes errors in the browser. I think (although the browser is not explicit about this) that these are due to the server not properly handling OPTIONS. Are anyone familiar with this? (Note that I am new to Haskell too.) |
| 14:57:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:59:24 | → | spew joins (~spew@user/spew) |
| 14:59:50 | → | Brumaire joins (~no@94.140.114.73) |
| 15:02:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 15:03:44 | × | Square3 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 15:09:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:10:50 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 15:14:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 15:25:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:27:29 | Digitteknohippie | is now known as Digit |
| 15:29:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 15:40:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:46:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 15:49:22 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 15:56:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:59:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 16:00:44 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 16:01:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 16:02:22 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 16:02:50 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 16:07:33 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 16:08:01 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 16:09:47 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 16:10:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:11:50 | → | karenw joins (~karenw@user/karenw) |
| 16:15:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 16:26:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:30:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:30:35 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 16:37:51 | <haskellbridge> | <Liamzee> gentauro: you don't need to be so negative |
| 16:38:27 | <haskellbridge> | <Liamzee> you can think of AI as a "supercompiler" albeit one that's extremely bad at what it's supposed to do |
| 16:38:44 | <humasect> | or supersearch |
| 16:40:14 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 16:41:37 | <darkling> | c |
| 16:42:00 | <ncf> | i mean you can think of a horse as a unicorn if you like, but you don't need to tell us |
| 16:43:01 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 16:46:49 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 16:56:15 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 16:59:46 | <haskellbridge> | <Liamzee> i mean natural language is bad at specifying what you want the AI you want to do |
| 16:59:49 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 16:59:59 | <gentauro> | Liamzee: At some point, when the bubble pops, somebody will have to "fix/maintain" all the AI-slop. |
| 17:00:07 | <haskellbridge> | <Liamzee> I'm just saying it'll be how software development will survive, a switch from imperative or concrete programming to declarative and verified programming |
| 17:00:15 | <gentauro> | I spent many months last year doing that. It's not good |
| 17:00:18 | <gentauro> | far from it :( |
| 17:00:20 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 17:01:06 | <gentauro> | only hope I have is that MS LEAN takes over the (AI) world … |
| 17:01:07 | <haskellbridge> | <Liamzee> ncf: think of AI tokens as unityped =3 |
| 17:01:22 | <humasect> | x_x |
| 17:01:36 | <haskellbridge> | <Liamzee> gentauro: I think something in the lean / agda / haskell tradition will survive and become dominant after the AI bubble pops |
| 17:02:34 | <humasect> | +prolog |
| 17:02:45 | × | housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 17:03:06 | <haskellbridge> | <Liamzee> i think traditional programming as is right now is becoming like assembly |
| 17:03:20 | <humasect> | slave work |
| 17:03:24 | <haskellbridge> | <Liamzee> still needed, but very few people use it because it's so labor inefficient |
| 17:03:45 | <haskellbridge> | <Liamzee> the problem right now, is that AI codegen is not even at the C or Algol level of maturity |
| 17:04:27 | <haskellbridge> | <Liamzee> and you don't get to C / Algol by putting more labor / clock cycles on Fortran |
| 17:06:36 | → | housemate joins (~housemate@202.7.247.155) |
| 17:11:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:13:09 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 17:14:52 | <monochrom> | We don't have to be pessimistic about AI. But we can be rightfully pessimistic about how humans use AI. >:) |
| 17:17:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 17:20:37 | <humasect> | =) |
| 17:22:31 | → | dolio joins (~dolio@130.44.140.168) |
| 17:29:15 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:29:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:34:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:34:57 | → | nek0 joins (~nek0@user/nek0) |
| 17:40:13 | <EvanR> | a compiler is really really narrow expert system xD |
| 17:44:06 | → | cyphase joins (~cyphase@user/cyphase) |
| 17:44:24 | <humasect> | (= |
| 17:45:55 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 18:12:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:16:53 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 18:17:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 18:17:49 | <gentauro> | monochrom: xD |
| 18:18:29 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 18:26:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 18:28:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:33:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:38:54 | → | cptaffe` joins (~cptaffe@user/cptaffe) |
| 18:39:05 | × | cptaffe quits (~cptaffe@user/cptaffe) (Ping timeout: 245 seconds) |
| 18:42:45 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 18:43:13 | × | cptaffe` quits (~cptaffe@user/cptaffe) (Ping timeout: 264 seconds) |
| 18:43:39 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 18:43:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:44:35 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 18:48:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:59:30 | × | cptaffe quits (~cptaffe@user/cptaffe) (Ping timeout: 244 seconds) |
| 18:59:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:01:15 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 19:02:27 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 19:04:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:07:05 | × | housemate quits (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 19:07:59 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:08:27 | × | Brumaire quits (~no@94.140.114.73) (Remote host closed the connection) |
| 19:09:25 | → | housemate joins (~housemate@202.7.247.155) |
| 19:10:30 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 19:11:04 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 19:12:31 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 19:13:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:14:24 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 19:15:56 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 19:16:10 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 19:17:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:21:55 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 19:28:06 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:29:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:33:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:34:23 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 19:36:10 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:37:16 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 19:37:29 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:38:12 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 19:41:28 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 19:41:55 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:45:49 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 19:48:03 | × | housemate quits (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 19:50:14 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 19:50:36 | → | housemate joins (~housemate@202.7.247.155) |
| 19:52:09 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 19:52:39 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 19:59:27 | × | housemate quits (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 20:00:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:05:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 20:08:50 | → | Everything joins (~Everythin@217.147.163.184) |
| 20:10:16 | → | housemate joins (~housemate@202.7.247.155) |
| 20:11:22 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 20:12:59 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 20:14:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:14:47 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 20:15:17 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 20:16:48 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 20:20:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:28:54 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 20:30:18 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 20:32:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:34:11 | → | jreicher joins (~user@user/jreicher) |
| 20:37:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:40:06 | <larsivi> | My local setup is with GHC 9.6.7 (stable/recommended in ghcup), and this comipiles code I have (not mine originally). When I open it in neovim with HLS and stuff enabled, I get an error diagnostic, ghc-76037. The error page doesn't show at which version it arrived, but my assumption is that it is newer than my ghc. Is this correct? |
| 20:42:02 | <mauke> | ? ?? |
| 20:42:25 | <mauke> | how can your ghc emit a diagnostic that is newer than your ghc? |
| 20:44:42 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 20:45:08 | <Clint> | maybe it's psychic |
| 20:45:35 | <mauke> | > \A -> () |
| 20:45:45 | <mauke> | oh, no lambdabot |
| 20:46:36 | <EvanR> | % :t \x -> () |
| 20:46:36 | <yahb2> | \x -> () :: p -> () |
| 20:46:46 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 20:46:49 | <mauke> | % \A -> () |
| 20:46:49 | <yahb2> | <interactive>:151:2: error: [GHC-76037] ; Not in scope: data constructor ‘A’ |
| 20:48:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:48:44 | → | euandreh joins (~Thunderbi@2804:d59:8970:b900:ab52:d56:3299:431) |
| 20:49:51 | → | Gravifer joins (~Gravifer@user/Gravifer) |
| 20:52:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:03:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:06:56 | <tomsmeding> | larsivi: is that NotInScope? Can you paste the full error? |
| 21:06:59 | <tomsmeding> | @where paste |
| 21:07:11 | <tomsmeding> | oh lambdabot is dead |
| 21:07:17 | <tomsmeding> | https://paste.tomsmeding.com |
| 21:08:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:09:45 | <tomsmeding> | larsivi: also check if you have 9.6.7 "set" (as default) in ghcup, and if you have a cabal.project or stack.yaml that may influence HLS |
| 21:09:50 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 21:10:08 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 21:11:23 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 21:11:36 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 21:12:19 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 21:14:43 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 21:15:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:20:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:21:58 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 21:22:34 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 21:24:29 | × | Gravifer quits (~Gravifer@user/Gravifer) (Ping timeout: 272 seconds) |
| 21:24:57 | <larsivi> | According to ghcup, 9.6.7 is the _only_ version I have, and ghc --version says 9.6.7 |
| 21:26:06 | <larsivi> | Is there some way I can find out what HLS is using? |
| 21:27:10 | <larsivi> | As for the diagnostic, I have no idea if it is newer than 9.6.7, it was just a guess from me. But I would have expected a page like the one showing the error to say _when_ it was defined/added. |
| 21:28:49 | <larsivi> | Diagnostic shown in neovim: 1. Not in scope: type constructor or class ‘SSEstream’ [GHC-76037] |
| 21:31:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:32:16 | <monochrom> | I think 9.6 is new enough to give those error codes. (I see them all the time.) |
| 21:32:29 | <larsivi> | As mentioned, I'm rather new to Haskell, but SSEstream is defined/declared in a module that is exported from a library, which then has everything imported into a demo program. |
| 21:32:56 | <tomsmeding> | larsivi: how do you have your project set up? Is there a <something>.cabal file, for example? |
| 21:33:13 | <larsivi> | Yeah, used cabal |
| 21:33:38 | <larsivi> | @monochrom but shouldn't I see them when compiling? |
| 21:33:53 | <tomsmeding> | could you run `haskell-language-server-wrapper` in the terminal in your project directory, and paste the output on e.g. paste.tomsmeding.com? |
| 21:34:55 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 21:35:21 | <tomsmeding> | larsivi: 9.6.7 doesn't yet have [GHC-] tags for all error messages; it does for this one, for example https://play.haskell.org/saved/C3fJhIsI , so the fact that you're getting error codes doesn't yet imply that HLS is using something other than 9.6.7 |
| 21:35:50 | <tomsmeding> | did HLS create a .stack-work subdirectory, and/or do you have stack installed with ghcup? |
| 21:36:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:38:28 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 21:39:47 | <larsivi> | Paste id wfSaP4bQ |
| 21:40:26 | <haskellbridge> | <sm> best to share the url |
| 21:40:48 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 21:41:13 | <tomsmeding> | https://paste.tomsmeding.com/wfSaP4bQ |
| 21:41:53 | <haskellbridge> | <sm> I was surprised to hear you say that ghcup is recommending 9.6.7 - I know it's conservative, but _9.6_.. ? |
| 21:42:42 | <tomsmeding> | sm: relevant https://github.com/haskell/ghcup-metadata/issues/335#issuecomment-3369142839 |
| 21:43:42 | → | debayan joins (~debayan@user/debayan) |
| 21:43:48 | <tomsmeding> | larsivi: have you forgotten to list ServerSentEventGenerator in your cabal file, by any chance? |
| 21:44:13 | <tomsmeding> | all modules in a package must be listed in the .cabal file, either in exposed-modules (if a library) or in other-modules |
| 21:44:14 | <larsivi> | I have stack from ghcup, but not HLS (probably arch... messed a lot with this a couple of months back, don't remember all details) |
| 21:44:22 | × | debayan quits (~debayan@user/debayan) (Client Quit) |
| 21:44:52 | <tomsmeding> | it's highly risky to mix ghc/cabal/stack/HLS from different sources (not risky as in blows up your pc, but risky as in stuff is likely to not work) |
| 21:45:17 | <tomsmeding> | and arch's packages in particular are infamous for being terrible for usability, don't use them at all if you can |
| 21:45:32 | <tomsmeding> | (arch's haskell-related packages, that is) |
| 21:45:37 | <larsivi> | I have not forgotten, as I'm not the original author of this. :) It is a couple of years old I think and abandoned. I'm trying to get it slightly more up-to-date and usable with some external stuff it references. |
| 21:46:01 | <tomsmeding> | ok, general "you the author of this code" then :) |
| 21:46:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:47:34 | <haskellbridge> | <sm> tomsmeding: we have a new LTS ghc now don't we |
| 21:48:56 | <tomsmeding> | I guess we do, since very recently! Likely maerwald wants to wait a little bit before recommending the 9.14 series :) |
| 21:51:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:52:29 | <larsivi> | ok, let me see if I can get rid of hls and then install it via ghcup |
| 21:56:27 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:57:33 | <larsivi> | Ah, but where do I get the wrapper from? |
| 21:57:53 | <tomsmeding> | installing HLS via ghcup should get you the wrapper automatically; you may have to "set" it again |
| 22:00:18 | <haskellbridge> | <sm> oh 9.14, yes that's a bit new. (I thought 9.10 had been the de facto lts) |
| 22:00:55 | <tomsmeding> | sm: see the discussion in the issue I linked |
| 22:01:37 | <larsivi> | Thanks! I misunderstood the TUI dialogue, got it set now and it seems to work again. |
| 22:02:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:02:55 | <haskellbridge> | <sm> 👍🏻 9.6 in 2025 is sad though, looking forward to a new lts |
| 22:04:08 | <haskellbridge> | <sm> though, its first release was march 2023. Wow, in haskell world it feels like another era.. but <2y |
| 22:07:21 | <larsivi> | So after re-installing hls, that particular error diagnostic doesn't show anymore |
| 22:07:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:08:35 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 22:11:16 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 22:15:16 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 22:16:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:20:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:23:51 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 22:27:25 | Festive_Dragon | is now known as gAy_Dragon |
| 22:29:32 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:32:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:33:43 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 22:37:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 22:41:36 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 22:42:54 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 22:43:22 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp) |
| 22:43:33 | → | gorignak joins (~gorignak@user/gorignak) |
| 22:47:50 | → | euphores joins (~SASL_euph@user/euphores) |
| 22:47:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:49:14 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 22:50:26 | × | Everything quits (~Everythin@217.147.163.184) (Quit: leaving) |
| 22:52:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:53:13 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 22:53:52 | → | gorignak joins (~gorignak@user/gorignak) |
| 22:58:16 | × | CryptLab quits (~NSA@2a0d:5600:6:108::2e) (Ping timeout: 255 seconds) |
| 22:59:15 | → | CryptLab joins (~NSA@2a0d:5600:6:108::2e) |
| 23:00:03 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 23:00:42 | → | gorignak joins (~gorignak@user/gorignak) |
| 23:03:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:04:06 | × | gorignak quits (~gorignak@user/gorignak) (Client Quit) |
| 23:05:31 | → | gorignak joins (~gorignak@user/gorignak) |
| 23:05:42 | × | gorignak quits (~gorignak@user/gorignak) (Remote host closed the connection) |
| 23:10:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:17:16 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) () |
| 23:17:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:17:39 | → | DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK) |
| 23:22:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 23:30:26 | × | olivial quits (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 23:32:10 | → | olivial joins (~benjaminl@user/benjaminl) |
| 23:33:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:33:02 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 23:35:33 | → | mange joins (~mange@user/mange) |
| 23:36:29 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 23:38:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:43:08 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:47:40 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 23:49:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:50:27 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 23:53:00 | → | pavonia joins (~user@user/siracusa) |
| 23:53:34 | → | Square3 joins (~Square@user/square) |
| 23:54:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
All times are in UTC on 2026-01-04.