Newest at the top
2025-03-03 13:28:06 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-03-03 13:24:56 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
2025-03-03 13:22:52 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-03-03 13:21:41 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-03-03 13:16:57 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-03-03 13:15:46 +0100 | tromp | (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78) |
2025-03-03 13:14:04 +0100 | tromp | (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-03-03 13:13:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-03 13:11:30 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 248 seconds) |
2025-03-03 13:09:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-03 13:01:55 +0100 | fp1 | fp |
2025-03-03 13:01:54 +0100 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds) |
2025-03-03 13:00:00 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
2025-03-03 12:58:50 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-03-03 12:57:07 +0100 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
2025-03-03 12:41:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-03 12:39:14 +0100 | tabaqui1 | (~root@87.200.129.102) (Client Quit) |
2025-03-03 12:39:09 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
2025-03-03 12:38:41 +0100 | tabaqui1 | (~root@87.200.129.102) (Quit: WeeChat 4.5.1) |
2025-03-03 12:34:58 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
2025-03-03 12:30:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-03 12:29:36 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-03-03 12:29:06 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-03-03 12:27:14 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9bc7:c2e3:e40a:e335) |
2025-03-03 12:27:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-03 12:26:39 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f05ac853a078363741e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2025-03-03 12:25:15 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8f8a:2c12:c1da:86b3) (Ping timeout: 246 seconds) |
2025-03-03 12:24:02 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
2025-03-03 12:22:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-03 12:20:08 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8f8a:2c12:c1da:86b3) |
2025-03-03 12:18:14 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-03-03 12:12:10 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-03-03 12:07:26 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2025-03-03 12:01:09 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
2025-03-03 12:00:02 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2025-03-03 11:58:29 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-03-03 11:49:51 +0100 | merijn | (~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 +0100 | alfiee | (~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 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
2025-03-03 11:34:39 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-03-03 11:33:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-03 11:33:17 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
2025-03-03 11:31:21 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
2025-03-03 11:30:25 +0100 | xff0x | (~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` |