Logs: liberachat/#haskell
| 2021-08-23 09:23:11 | <kuribas> | this works: Foo { foo = foo + 1, bar = bar <> "bar", ..} |
| 2021-08-23 09:23:16 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-23 09:23:30 | <merijn> | kuribas: Yes, but machine learning feels overkill the equations I'm dealing with |
| 2021-08-23 09:23:43 | <kuribas> | merijn: I wasn't talking about machine learning :) |
| 2021-08-23 09:24:06 | <merijn> | kuribas: Most results for multivariate optimisation return a billion ML things :p |
| 2021-08-23 09:24:17 | <Rembane_> | merijn: Is N big enough that a maximum [arg_1, ... arg_N] isn't feasible? |
| 2021-08-23 09:24:24 | <kuribas> | https://hackage.haskell.org/package/hmatrix-0.15.2.0/docs/Numeric-GSL-Minimization.html |
| 2021-08-23 09:24:32 | <kuribas> | merijn: because it's the same problem? |
| 2021-08-23 09:25:11 | <merijn> | Rembane_: number of values isn't super big, but the values are continuous |
| 2021-08-23 09:26:25 | → | amk joins (~amk@109.255.169.126) |
| 2021-08-23 09:26:29 | <merijn> | kuribas: Incidentally, that doesn't appear to be in recent hmatrix releases anymore |
| 2021-08-23 09:27:11 | <merijn> | But I guess I want hmatrix-gsl |
| 2021-08-23 09:27:50 | <Rembane_> | merijn: Oh, okay. |
| 2021-08-23 09:28:20 | <dminuoso> | tdammers: My software also has this advanced capability of putting out smileys if you ask it nicely enough. |
| 2021-08-23 09:28:25 | <dminuoso> | It's the only known software that does this. |
| 2021-08-23 09:28:36 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-23 09:29:47 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b41a:667a:d6f9:5ad8) |
| 2021-08-23 09:30:36 | <merijn> | dminuoso: I've seen lots of software do that :p |
| 2021-08-23 09:30:39 | → | daeng joins (~daeng@2401:3c00:18e:e603:bec7:e31f:ee15:3296) |
| 2021-08-23 09:30:56 | <merijn> | Hell, entire Discord bots seem to function by smiley reactions to messages, so... :p |
| 2021-08-23 09:31:01 | <dminuoso> | But one does it as well as mine does. |
| 2021-08-23 09:31:05 | <dminuoso> | none, even. |
| 2021-08-23 09:32:38 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 244 seconds) |
| 2021-08-23 09:33:10 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-bfe4-3f38-b8a5-8c39.fixed6.kpn.net) |
| 2021-08-23 09:33:24 | <int-e> | @botsnack |
| 2021-08-23 09:33:24 | <lambdabot> | :) |
| 2021-08-23 09:33:25 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-08-23 09:34:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b41a:667a:d6f9:5ad8) (Ping timeout: 250 seconds) |
| 2021-08-23 09:34:22 | <int-e> | merijn: see, it's just continuing a trend started on #haskell ;-) |
| 2021-08-23 09:35:04 | × | awschnap quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-23 09:43:18 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-08-23 09:44:04 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 250 seconds) |
| 2021-08-23 09:49:08 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-23 09:50:09 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-08-23 09:58:28 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3051:894e:a7f0:13fc) |
| 2021-08-23 09:59:55 | → | eggplant_ joins (~Eggplanta@2600:1700:bef1:5e10:71e9:72b:1860:cb0f) |
| 2021-08-23 10:00:07 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 240 seconds) |
| 2021-08-23 10:02:40 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3051:894e:a7f0:13fc) (Ping timeout: 240 seconds) |
| 2021-08-23 10:03:42 | → | rosariopulella[m joins (~rosariopu@2001:470:69fc:105::a57) |
| 2021-08-23 10:04:10 | × | eggplant_ quits (~Eggplanta@2600:1700:bef1:5e10:71e9:72b:1860:cb0f) (Ping timeout: 240 seconds) |
| 2021-08-23 10:05:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-23 10:05:53 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-23 10:06:25 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-23 10:06:48 | → | keutoi_ joins (~keutoi@106.208.52.176) |
| 2021-08-23 10:07:21 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-23 10:07:33 | × | keutoi quits (~keutoi@157.48.197.78) (Ping timeout: 258 seconds) |
| 2021-08-23 10:07:57 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-23 10:08:10 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-23 10:08:17 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-23 10:13:10 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 240 seconds) |
| 2021-08-23 10:13:26 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-23 10:16:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-23 10:16:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-23 10:21:46 | × | LambdaDu1k quits (~anka@ksit.fixme.fi) (Ping timeout: 250 seconds) |
| 2021-08-23 10:22:05 | → | LambdaDuck joins (~anka@ksit.fixme.fi) |
| 2021-08-23 10:22:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-23 10:22:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-23 10:22:50 | × | opqdonut quits (opqdonut@pseudo.fixme.fi) (Ping timeout: 256 seconds) |
| 2021-08-23 10:22:57 | → | opqdonut joins (opqdonut@pseudo.fixme.fi) |
| 2021-08-23 10:23:25 | → | aguapesada joins (~aguapesad@191.177.175.57) |
| 2021-08-23 10:25:43 | <tdammers> | frankly, I would love a bot that actively eradicates all smileys and other emoji nonsense from the face of the earth |
| 2021-08-23 10:27:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-23 10:28:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-23 10:33:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-23 10:34:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-23 10:35:27 | × | nvmd quits (~nvmd@user/nvmd) (Ping timeout: 268 seconds) |
| 2021-08-23 10:35:37 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-08-23 10:39:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-23 10:40:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-23 10:41:05 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 248 seconds) |
| 2021-08-23 10:42:49 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-23 10:44:28 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-23 10:45:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-23 10:46:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-23 10:55:54 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9556a59b812708dd2de4.dip0.t-ipconnect.de) |
| 2021-08-23 10:57:10 | × | acidjnk quits (~acidjnk@p200300d0c72b9558d9d86757fde39a6c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-08-23 10:57:18 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 250 seconds) |
| 2021-08-23 10:58:00 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-23 10:58:21 | ← | dminuoso[m] parts (~dminuosom@2001:470:69fc:105::33bb) () |
| 2021-08-23 10:58:57 | → | timCF joins (~timCF@m91-129-108-244.cust.tele2.ee) |
| 2021-08-23 10:59:34 | <timCF> | Hello! Does anybody know how to remove imports/definitions/aliases from ghci session? |
| 2021-08-23 11:01:00 | → | alx741 joins (~alx741@181.196.68.94) |
| 2021-08-23 11:01:51 | <timCF> | Just to clear current scope from defined things |
| 2021-08-23 11:02:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-23 11:03:20 | <merijn> | Not even sure that's possible, tbh |
| 2021-08-23 11:03:32 | <dminuoso> | You can remove imports |
| 2021-08-23 11:03:44 | <merijn> | Sure, but not definitions inside ghci, I think? |
| 2021-08-23 11:03:49 | <merijn> | Or does :reload reset thos? |
| 2021-08-23 11:03:59 | <dminuoso> | https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html#controlling-what-is-in-scope-with-the-module-command |
| 2021-08-23 11:04:15 | <dminuoso> | timCF: ^- |
| 2021-08-23 11:07:42 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-08-23 11:07:55 | <timCF> | merijn: dminuoso: thanks! |
| 2021-08-23 11:08:43 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 252 seconds) |
| 2021-08-23 11:10:37 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-23 11:12:17 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-23 11:12:31 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-23 11:12:59 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-23 11:17:31 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-23 11:19:37 | keutoi_ | is now known as keutoi |
| 2021-08-23 11:27:10 | <timCF> | I do have some "noob" problems with `microlens`. I'm using this library as consequence of usage of `proto-lens` which is the best protobuf library for Haskell I guess. Problem with `microlens` in my team is that for not very experienced Haskell programmers they are very confusing. For example there are 2 different access operators `^.` and `^?` and intuitevly second should be used for `Maybe` values. But |
All times are in UTC.