Logs: liberachat/#haskell
| 2021-05-22 22:47:45 | → | haskman joins (~haskman@223.233.96.253) |
| 2021-05-22 22:49:31 | → | Morrow joins (~MorrowM_@147.161.15.179) |
| 2021-05-22 22:49:36 | × | juhp quits (~juhp@128.106.188.199) (Quit: juhp) |
| 2021-05-22 22:49:50 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-05-22 22:52:22 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2021-05-22 22:53:20 | → | heath joins (~heath@68.68.64.38) |
| 2021-05-22 22:53:23 | → | daniel joins (uid501063@id-501063.charlton.irccloud.com) |
| 2021-05-22 22:53:47 | daniel | is now known as Guest8168 |
| 2021-05-22 22:53:53 | Guest8168 | is now known as kaze |
| 2021-05-22 22:56:04 | <boxscape> | Seems strange that Parsec still defines its own <|> instead of just re-exporting the one from Control.Applicative |
| 2021-05-22 22:56:41 | kaze | is now known as dt |
| 2021-05-22 22:57:01 | dt | is now known as dan |
| 2021-05-22 22:57:03 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@192.252.212.59) (Quit: Leaving) |
| 2021-05-22 22:57:20 | <boxscape> | (same with `many` etc.) |
| 2021-05-22 22:57:20 | × | nan` quits (~nan`@68.235.43.173) (Quit: Computer is sleeping. ZZZzzz…) |
| 2021-05-22 22:57:21 | dan | is now known as kaze |
| 2021-05-22 22:57:44 | → | irc_user joins (uid423822@id-423822.tooting.irccloud.com) |
| 2021-05-22 22:58:02 | → | sm2n joins (~sm2n@user/sm2n) |
| 2021-05-22 22:58:29 | ← | kaze parts (uid501063@id-501063.charlton.irccloud.com) () |
| 2021-05-22 22:58:40 | ham | is now known as hamtaro |
| 2021-05-22 22:58:51 | hamtaro | is now known as ham |
| 2021-05-22 22:58:55 | → | Robin_Jadoul joins (~Robin_Jad@152.67.64.160) |
| 2021-05-22 22:59:37 | sm2n | is now known as sm2n_ |
| 2021-05-22 22:59:51 | × | alx741 quits (~alx741@186.178.109.76) (Ping timeout: 272 seconds) |
| 2021-05-22 23:00:03 | → | dteb joins (uid501063@id-501063.charlton.irccloud.com) |
| 2021-05-22 23:00:33 | → | sprog joins (~1860f15a@ircip2.mibbit.com) |
| 2021-05-22 23:00:37 | sm2n_ | is now known as sm2n |
| 2021-05-22 23:00:59 | <sprog> | Wow, this channel has a lot more users than the one on Freenode. |
| 2021-05-22 23:03:22 | × | Franciman quits (~francesco@host-80-180-196-134.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-05-22 23:03:56 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-22 23:05:16 | <int-e> | > 370 > 766 |
| 2021-05-22 23:05:18 | <lambdabot> | False |
| 2021-05-22 23:05:36 | <int-e> | sprog: I don't understand the metric :) |
| 2021-05-22 23:06:51 | <Morrow> | @let 370 > 766 = True |
| 2021-05-22 23:06:51 | <lambdabot> | <command line>: cannot satisfy -trust random |
| 2021-05-22 23:06:51 | <lambdabot> | (use -v for more information) |
| 2021-05-22 23:07:21 | <boxscape> | foiled, yet again |
| 2021-05-22 23:09:31 | <int-e> | uh, but that's not a good reason... |
| 2021-05-22 23:10:29 | sprog | doesn't have the nicklist turned on in his irc client, so was just going off of memory. |
| 2021-05-22 23:10:48 | <int-e> | But I probably know what's wrong. |
| 2021-05-22 23:10:53 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-22 23:11:13 | <int-e> | @let 370 > 766 = True |
| 2021-05-22 23:11:14 | <lambdabot> | Defined. |
| 2021-05-22 23:11:22 | <int-e> | > 2 > 1 |
| 2021-05-22 23:11:24 | <lambdabot> | error: |
| 2021-05-22 23:11:24 | <lambdabot> | Ambiguous occurrence ‘>’ |
| 2021-05-22 23:11:24 | <lambdabot> | It could refer to |
| 2021-05-22 23:11:27 | <int-e> | @undef |
| 2021-05-22 23:11:30 | <lambdabot> | Undefined. |
| 2021-05-22 23:11:54 | <boxscape> | > fmap (+5) 4 -- int-e btw earlier I did this |
| 2021-05-22 23:11:55 | <lambdabot> | error: |
| 2021-05-22 23:11:55 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M449914741216... |
| 2021-05-22 23:11:55 | <lambdabot> | prevents the constraint ‘(Show (f0 Integer))’ from being solved. |
| 2021-05-22 23:12:10 | <boxscape> | and it said show more with @More |
| 2021-05-22 23:12:12 | <boxscape> | @more |
| 2021-05-22 23:12:12 | <lambdabot> | Plugin `more' failed with: Prelude.init: empty list |
| 2021-05-22 23:12:15 | <boxscape> | but that appeared |
| 2021-05-22 23:12:35 | → | alx741 joins (~alx741@186.178.109.193) |
| 2021-05-22 23:12:43 | <boxscape> | (okay actually it said [15 @more lines] |
| 2021-05-22 23:12:52 | <boxscape> | ) |
| 2021-05-22 23:13:34 | <int-e> | hrm, interesting |
| 2021-05-22 23:13:58 | <ski> | `@more' has been a bit broken/flaky, for a while. usually working for the next page, but then failing |
| 2021-05-22 23:14:21 | <int-e> | when did I last touch that |
| 2021-05-22 23:14:49 | <int-e> | 2013?! |
| 2021-05-22 23:15:10 | <int-e> | (Well, that's More.hs itself) |
| 2021-05-22 23:16:03 | → | whatsupboy joins (~scoby@user/scobydoo) |
| 2021-05-22 23:17:39 | <int-e> | (Well, *I* never touched that module. But I may have touched something in Lambdabot's generic state handling machinery that broke it, hmm.) |
| 2021-05-22 23:18:11 | <int-e> | Well, it'll have to wait |
| 2021-05-22 23:18:33 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-22 23:19:02 | <boxscape> | I'll just imagine something for what the rest of the error message was until then :) |
| 2021-05-22 23:19:39 | <int-e> | it'll be similar to the same thing in ghci |
| 2021-05-22 23:19:44 | <boxscape> | that is true |
| 2021-05-22 23:21:27 | × | whatsupboy quits (~scoby@user/scobydoo) (Quit: WeeChat 2.8) |
| 2021-05-22 23:28:29 | × | space-shell quits (5862f726@107.161.19.109) (Quit: Connection closed) |
| 2021-05-22 23:29:27 | <int-e> | https://github.com/lambdabot/lambdabot/issues/199 is all I have energy for right now :P |
| 2021-05-22 23:30:43 | → | mmaruseacph2 joins (~mihai@198.199.100.72) |
| 2021-05-22 23:30:57 | <boxscape> | that's plenty |
| 2021-05-22 23:32:21 | <int-e> | declaration of intent to fix |
| 2021-05-22 23:33:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-22 23:38:13 | pe200012_ | is now known as pe200012 |
| 2021-05-22 23:39:34 | <jaevanko> | Is the "best" way to do a GUI in Haskell gi-gtk? |
| 2021-05-22 23:40:07 | <monochrom> | All PhD theses that take forever to finish begin with a statement of intention to do a PhD. >:) |
| 2021-05-22 23:41:25 | <monochrom> | I think yes. |
| 2021-05-22 23:46:04 | → | FreeVariable joins (1f0aa548@107.161.19.109) |
| 2021-05-22 23:47:10 | <FreeVariable> | Whenever I connect to this channel there is 0 history, 0 log, just an empty white page, which is not very enticing. Is it intended or is it because of my default settings? |
| 2021-05-22 23:47:39 | <FreeVariable> | (I am new to this IRC thing) |
| 2021-05-22 23:48:15 | <monochrom> | Intended. |
| 2021-05-22 23:48:24 | <monochrom> | IRC servers don't keep history. |
| 2021-05-22 23:48:34 | <FreeVariable> | Ouch. |
| 2021-05-22 23:49:19 | <FreeVariable> | But Matrix does, so there would be a chat history for people connecting over Matrix? |
| 2021-05-22 23:49:22 | <ham> | you can find them here though: https://ircbrowse.tomsmeding.com/browse/lchaskell |
| 2021-05-22 23:49:33 | <monochrom> | I don't know Matrix. |
| 2021-05-22 23:49:39 | <FreeVariable> | Okay. |
| 2021-05-22 23:49:47 | <monochrom> | But I would ask the economic question: Who pays for the storage? |
| 2021-05-22 23:49:49 | <boxscape> | FreeVariable I believe so, IIUC matrix stays connected to the IRC server so you don't have to |
| 2021-05-22 23:49:54 | <felixphew> | FreeVariable: yes, but there's no Libera.Chat large-scale bridge set up yet |
| 2021-05-22 23:50:01 | <ham> | (it's just not part of the irc protocol, like on discord or slack) |
| 2021-05-22 23:50:06 | <felixphew> | (both communities are working on it) |
| 2021-05-22 23:50:44 | <FreeVariable> | felixphew ham I see, thanks |
| 2021-05-22 23:51:11 | × | haskman quits (~haskman@223.233.96.253) (Quit: Going to sleep. ZZZzzz…) |
All times are in UTC.