2025/03/03

Newest at the top

2025-03-03 13:28:06 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-03 13:24:56 +0100comerijn(~merijn@77.242.116.146) merijn
2025-03-03 13:22:52 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-03-03 13:21:41 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-03-03 13:16:57 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-03-03 13:15:46 +0100tromp(~textual@2a02:a210:cba:8500:4189:9487:9abd:f78)
2025-03-03 13:14:04 +0100tromp(~textual@2a02:a210:cba:8500:4189:9487:9abd:f78) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-03-03 13:13:19 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-03 13:11:30 +0100Digitteknohippie(~user@user/digit) (Ping timeout: 248 seconds)
2025-03-03 13:09:06 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-03 13:01:55 +0100fp1fp
2025-03-03 13:01:54 +0100fp(~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds)
2025-03-03 13:00:00 +0100fp1(~Thunderbi@2001:708:20:1406::1370) fp
2025-03-03 12:58:50 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-03-03 12:57:07 +0100fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-03-03 12:41:23 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-03 12:39:14 +0100tabaqui1(~root@87.200.129.102) (Client Quit)
2025-03-03 12:39:09 +0100tabaqui1(~root@87.200.129.102) tabaqui
2025-03-03 12:38:41 +0100tabaqui1(~root@87.200.129.102) (Quit: WeeChat 4.5.1)
2025-03-03 12:34:58 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2025-03-03 12:30:25 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-03 12:29:36 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-03-03 12:29:06 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-03-03 12:27:14 +0100xff0x(~xff0x@2405:6580:b080:900:9bc7:c2e3:e40a:e335)
2025-03-03 12:27:00 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-03 12:26:39 +0100acidjnk_new(~acidjnk@p200300d6e7283f05ac853a078363741e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-03-03 12:25:15 +0100xff0x(~xff0x@2405:6580:b080:900:8f8a:2c12:c1da:86b3) (Ping timeout: 246 seconds)
2025-03-03 12:24:02 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds)
2025-03-03 12:22:42 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-03 12:20:08 +0100xff0x(~xff0x@2405:6580:b080:900:8f8a:2c12:c1da:86b3)
2025-03-03 12:18:14 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-03-03 12:12:10 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-03 12:07:26 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-03-03 12:01:09 +0100Digit(~user@user/digit) (Ping timeout: 248 seconds)
2025-03-03 12:00:02 +0100Digitteknohippie(~user@user/digit) Digit
2025-03-03 11:58:29 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-03-03 11:49:51 +0100merijn(~merijn@77.242.116.146) merijn
2025-03-03 11:41:47 +0100 <tomsmeding> how much value you ascribe to this argument depends on how acceptable you think it is to need HLS to work productively. :)
2025-03-03 11:41:25 +0100 <tomsmeding> a possible argument in this debate: the more you use polymorphic typeclass methods instead of monomorphic ones (where the latter would have been possible), the less readable your code gets without HLS telling what type things have
2025-03-03 11:39:03 +0100 <tomsmeding> to which there's no general consensus other than that 'map' hasn't been removed yet, so do what you think is right
2025-03-03 11:38:35 +0100 <carbolymer> yeah )
2025-03-03 11:38:28 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-03 11:38:18 +0100 <tomsmeding> carbolymer: I guess it comes down to which side of the debate you're on regarding "should we have 'map' in addition to 'fmap'" :)
2025-03-03 11:37:28 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2025-03-03 11:34:39 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-03-03 11:33:37 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-03 11:33:17 +0100tabaqui1(~root@87.200.129.102) tabaqui
2025-03-03 11:31:21 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds)
2025-03-03 11:30:25 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-03-03 11:27:05 +0100 <carbolymer> the downside is that compiler errors are not very readable with `IsList`