Newest at the top
| 2024-11-18 22:42:09 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-18 22:40:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-18 22:34:54 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-18 22:31:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-18 22:31:33 +0100 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2024-11-18 22:26:34 +0100 | jinsun_ | jinsun |
| 2024-11-18 22:26:34 +0100 | Guest2352 | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2024-11-18 22:26:34 +0100 | jinsun | Guest2352 |
| 2024-11-18 22:26:34 +0100 | jinsun_ | (~jinsun@user/jinsun) jinsun |
| 2024-11-18 22:22:36 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-18 22:22:33 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-18 22:21:02 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-11-18 22:15:09 +0100 | Alleria_ | (~Alleria@user/alleria) (Ping timeout: 260 seconds) |
| 2024-11-18 22:13:09 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-18 22:08:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-18 21:54:12 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-18 21:46:09 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-18 21:45:47 +0100 | k` | (~k`@152.7.255.193) (Quit: Client closed) |
| 2024-11-18 21:44:59 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-11-18 21:41:04 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-18 21:38:12 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 276 seconds) |
| 2024-11-18 21:36:16 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-11-18 21:34:42 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2024-11-18 21:33:54 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-18 21:33:43 +0100 | briandaed | (~root@user/briandaed) (Remote host closed the connection) |
| 2024-11-18 21:32:17 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-18 21:31:24 +0100 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2024-11-18 21:28:53 +0100 | <haskellbridge> | <hellwolf> cool |
| 2024-11-18 21:22:46 +0100 | kaskal | (~kaskal@84-115-237-124.cable.dynamic.surfer.at) kaskal |
| 2024-11-18 21:22:04 +0100 | <haskellbridge> | <sm> 😎 |
| 2024-11-18 21:22:00 +0100 | kaskal- | (~kaskal@84-115-237-124.cable.dynamic.surfer.at) (Quit: ZNC - https://znc.in) |
| 2024-11-18 21:19:54 +0100 | sprotte24 | (~sprotte24@p200300d16f36e9004570e4f99d260ace.dip0.t-ipconnect.de) |
| 2024-11-18 21:17:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-18 21:15:11 +0100 | kaskal | (~kaskal@213-147-165-220.nat.highway.webapn.at) (Ping timeout: 265 seconds) |
| 2024-11-18 21:13:41 +0100 | kaskal- | (~kaskal@84-115-237-124.cable.dynamic.surfer.at) |
| 2024-11-18 21:12:46 +0100 | <SrPx> | like mindblowingly cool |
| 2024-11-18 21:12:17 +0100 | <SrPx> | ty |
| 2024-11-18 21:12:15 +0100 | <SrPx> | and that's extremely cool |
| 2024-11-18 21:12:11 +0100 | <SrPx> | it works flawlessly guys. the interaction count decreases based on the terms I actually observe in Haskell. so basically Haskell-side laziness propagates to HVM in the sense if you discard an HVM term Haskell-side, you won't pay for it |
| 2024-11-18 21:10:30 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-18 21:09:54 +0100 | Square | (~Square@user/square) Square |
| 2024-11-18 21:04:46 +0100 | <davean> | Yah this sounds more ST than IO |
| 2024-11-18 21:03:05 +0100 | <mauke> | so I figure if it is morally "like ST", then it should be OK |
| 2024-11-18 21:02:52 +0100 | <mauke> | runST exists |
| 2024-11-18 21:02:41 +0100 | <davean> | C FFI doesn't mean you have to have IO |
| 2024-11-18 21:02:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-18 21:02:25 +0100 | <SrPx> | so, as long as I guarantee reduce acts purely, it is ok to import it as a pure function, even thought it isn't |
| 2024-11-18 21:02:06 +0100 | <mauke> | (of course, that won't work if it takes/returns pointers) |
| 2024-11-18 21:01:56 +0100 | <SrPx> | mauke: makes sense |
| 2024-11-18 21:01:29 +0100 | <mauke> | if so, you can just import it at a pure type |