Newest at the top
2024-05-26 15:59:27 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
2024-05-26 15:58:02 +0200 | <ski> | (well, i do remember your nickname, as well) |
2024-05-26 15:55:52 +0200 | euleritian | (~euleritia@dynamic-176-004-181-220.176.4.pool.telefonica.de) |
2024-05-26 15:54:45 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 15:54:21 +0200 | euleritian | (~euleritia@dynamic-176-006-177-191.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
2024-05-26 15:51:46 +0200 | safinaskar | (~quassel@212.73.77.104) |
2024-05-26 15:51:39 +0200 | safinaskar | (~quassel@212.73.77.104) () |
2024-05-26 15:50:34 +0200 | Square2 | (~Square@user/square) |
2024-05-26 15:48:53 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
2024-05-26 15:44:30 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 15:42:08 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-26 15:41:16 +0200 | <safinaskar> | koka is absolutely brilliant!! |
2024-05-26 15:41:05 +0200 | <safinaskar> | and koka have: 1) truly total functions, 2) failible functions, 3) possibly non-terminating functions, 4) haskell-like functions (i. e. failible AND possibly non-terminating) 5) functions with side-effects 6) etc |
2024-05-26 15:39:58 +0200 | <safinaskar> | and i think i can easily implement something like koka (but their Perceus reference counting seems to be hard to implement, so i will skip it) |
2024-05-26 15:38:16 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
2024-05-26 15:37:50 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Remote host closed the connection) |
2024-05-26 15:35:24 +0200 | madariaga | (~madariaga@user/madariaga) (Read error: Connection reset by peer) |
2024-05-26 15:29:13 +0200 | <safinaskar> | (also, i kind of remember your nicknames. i think 10 years ago very same people were present in this channel) |
2024-05-26 15:27:17 +0200 | <ski> | not quite like Moggi, iiuc |
2024-05-26 15:27:04 +0200 | <ski> | effect handlers, yea |
2024-05-26 15:26:38 +0200 | <safinaskar> | ski: i Koka you write code just like in usual imperative language. but under hood Koka seem to do something like Moggi translation |
2024-05-26 15:25:56 +0200 | <safinaskar> | ski: i don't know what Conor meant. but personally I like how things done in Koka language ( https://koka-lang.github.io/koka/doc/book.html ) |
2024-05-26 15:23:34 +0200 | <int-e> | just `do` it |
2024-05-26 15:22:25 +0200 | <lyxia> | you may need 10 phds to find out the answer, and another 10 to actually implement it. |
2024-05-26 15:20:01 +0200 | <ski> | automate, in what manner ? |
2024-05-26 15:16:42 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 15:16:39 +0200 | <safinaskar> | ncf: and yes, it was Conor! thank you! |
2024-05-26 15:15:32 +0200 | <safinaskar> | here it is: https://types.pl/@pigworker/111320631493915615 |
2024-05-26 15:15:22 +0200 | <safinaskar> | i found that toot!!! |
2024-05-26 15:14:01 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-26 15:11:56 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
2024-05-26 15:11:18 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
2024-05-26 15:09:08 +0200 | rembo10 | (~rembo10@main.remulis.com) |
2024-05-26 15:07:05 +0200 | rembo10 | (~rembo10@main.remulis.com) (Client Quit) |
2024-05-26 15:06:44 +0200 | rembo10 | (~rembo10@main.remulis.com) |
2024-05-26 15:03:54 +0200 | euleritian | (~euleritia@dynamic-176-006-177-191.176.6.pool.telefonica.de) |
2024-05-26 15:03:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-05-26 15:03:01 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-26 15:02:15 +0200 | remmie | (ianremsen@tilde.team) |
2024-05-26 15:01:48 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 14:58:44 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2024-05-26 14:57:09 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
2024-05-26 14:55:48 +0200 | darrik | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 255 seconds) |
2024-05-26 14:54:59 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
2024-05-26 14:52:31 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 14:47:55 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
2024-05-26 14:43:07 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
2024-05-26 14:40:27 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 256 seconds) |
2024-05-26 14:38:40 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
2024-05-26 14:35:59 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |