Newest at the top
2025-02-25 12:53:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-02-25 12:53:15 +0100 | sprotte24 | (~sprotte24@p200300d16f33ea00f98eb0699631b9b8.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-02-25 12:51:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-25 12:49:59 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-02-25 12:49:34 +0100 | sprotte24 | (~sprotte24@p200300d16f33ea00f98eb0699631b9b8.dip0.t-ipconnect.de) |
2025-02-25 12:43:29 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
2025-02-25 12:40:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-02-25 12:36:38 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 245 seconds) |
2025-02-25 12:36:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2025-02-25 12:28:53 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-02-25 12:25:09 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
2025-02-25 12:22:45 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
2025-02-25 12:18:10 +0100 | acidjnk | (~acidjnk@p200300d6e7283f38a15cd1ba33b15ba0.dip0.t-ipconnect.de) acidjnk |
2025-02-25 12:17:56 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 244 seconds) |
2025-02-25 12:12:30 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2025-02-25 12:12:06 +0100 | Googulator | (~Googulato@2a01:36d:106:c81:ad7c:ac56:196b:c9a2) |
2025-02-25 12:11:44 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3152:bac6:3fc:3eb6) |
2025-02-25 12:11:19 +0100 | Googulator | (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) (Quit: Client closed) |
2025-02-25 12:10:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-02-25 12:06:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-25 12:04:54 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-02-25 11:53:33 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
2025-02-25 11:49:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-02-25 11:43:39 +0100 | Googulator | (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) |
2025-02-25 11:43:23 +0100 | Googulator | (~Googulato@2a01:36d:106:c81:ad7c:ac56:196b:c9a2) (Quit: Client closed) |
2025-02-25 11:41:50 +0100 | olivial_ | (~benjaminl@2601:1c0:847f:9c70:223:24ff:fe66:4370) |
2025-02-25 11:41:46 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 244 seconds) |
2025-02-25 11:36:51 +0100 | tromp | (~textual@2a02:a210:cba:8500:6ddc:c1a9:bc13:1391) |
2025-02-25 11:33:34 +0100 | __monty__ | (~toonn@user/toonn) toonn |
2025-02-25 11:31:29 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-02-25 11:29:42 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
2025-02-25 11:29:26 +0100 | <ski> | (the unsafe stuff ?) |
2025-02-25 11:28:36 +0100 | <ski> | hm ? |
2025-02-25 11:28:15 +0100 | tromp | (~textual@2a02:a210:cba:8500:6ddc:c1a9:bc13:1391) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-02-25 11:27:24 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-02-25 11:26:36 +0100 | <[exa]> | ski: interesting construction tho. thanks. :D |
2025-02-25 11:26:20 +0100 | acidjnk | (~acidjnk@p200300d6e7283f38a15cd1ba33b15ba0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-02-25 11:26:03 +0100 | tomsmeding | has a meeting |
2025-02-25 11:25:41 +0100 | <tomsmeding> | ski: right, but at that point I'm not sure one can really say "yes, I'm using ST and not IO" :p |
2025-02-25 11:24:26 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
2025-02-25 11:24:17 +0100 | <ski> | moining |
2025-02-25 11:24:11 +0100 | <Hecate> | morning |
2025-02-25 11:23:55 +0100 | <ski> | [exa] : not afaik |
2025-02-25 11:23:36 +0100 | <lambdabot> | ST s a -> a |
2025-02-25 11:23:35 +0100 | <ski> | @type Control.Monad.Primitive.unsafeInlineST |
2025-02-25 11:23:33 +0100 | <lambdabot> | ST s c -> c |
2025-02-25 11:23:32 +0100 | <ski> | @type System.IO.Unsafe.unsafePerformIO . Control.Monad.ST.Unsafe.unsafeSTToIO -- "I guess that's called \"runST . unsafeCoerce\"" |
2025-02-25 11:22:24 +0100 | [exa] | goes aFfInE TeNsOrS |
2025-02-25 11:21:49 +0100 | <[exa]> | ski: anyway the main thing I took home from the AD currently is that the array indices need some completely different approach before this works automatically in all cases |
2025-02-25 11:21:11 +0100 | <[exa]> | ski: the differential lambda calculus is btw not directly related to the datatype differentiation (as with zippers), right? |