Logs: freenode/#haskell
| 2021-03-02 20:12:35 | <dminuoso> | Mmm, "eigen" is a strange prefix here. Id have to look into old dictionaries, but I dont associate it with "characteristic" |
| 2021-03-02 20:13:35 | <monochrom> | OK, I googled "eigen", got "own", "inherent" "peculiar". |
| 2021-03-02 20:13:56 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-03-02 20:14:21 | <dolio> | It's a bit of a stretch. |
| 2021-03-02 20:15:39 | <monochrom> | I think it was wise to keep "eigen" in English and not bother translate it. It doesn't look like any translation preserves the spirit. :) |
| 2021-03-02 20:15:55 | <dminuoso> | Mmm, as far as I can make it out, Hilbert chose that prefix without any justification. |
| 2021-03-02 20:16:18 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-03-02 20:16:56 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 20:17:00 | <monochrom> | I wanted to say "Hilbert made it up" back when "entscheidungsproblem" was brought up. Now I know I'm right, he made up all of the above. :) |
| 2021-03-02 20:17:20 | <dolio> | Yeah, maybe it was just Hilbert. |
| 2021-03-02 20:17:28 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:3056:df9b:393a:c87f) |
| 2021-03-02 20:17:38 | <dolio> | Giving things names that at least somewhat describe them. :) |
| 2021-03-02 20:18:23 | <dminuoso> | I guess at the end this is exactly how language evolve. Every time you find something new, you either have to reuse an existing term and stretch its definition (or change it), or you try and find some compound of existing terms to describe it. |
| 2021-03-02 20:18:35 | <dminuoso> | Either way, the act of coining a term is partly how language evolves. |
| 2021-03-02 20:19:11 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-02 20:19:38 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 20:20:00 | → | Noldorin joins (~noldorin@unaffiliated/noldorin) |
| 2021-03-02 20:20:02 | <geekosaur> | not sure I count this as part of language evolution given that there are very few places where I encounter "eigenvalue" etc. :) |
| 2021-03-02 20:20:03 | × | Noldorin quits (~noldorin@unaffiliated/noldorin) (Client Quit) |
| 2021-03-02 20:21:31 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 2021-03-02 20:21:43 | <pjb> | This is jargon. It doesn't matter what word is used. It's probably better to use a foreign word, since this let us avoid overloading a known word. |
| 2021-03-02 20:21:43 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-02 20:22:17 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) |
| 2021-03-02 20:22:20 | <dminuoso> | pjb: Except for the people from that foreign country. :) |
| 2021-03-02 20:22:31 | <pjb> | Of course :-) |
| 2021-03-02 20:22:54 | <dminuoso> | Perhaps that would make a case for dead languages like latin to be used instead. |
| 2021-03-02 20:22:56 | <dminuoso> | Nobody to offend. |
| 2021-03-02 20:23:12 | <monochrom> | There is an smbc for that. :) |
| 2021-03-02 20:23:28 | <pjb> | Latin is a live and official language of the Vatican. |
| 2021-03-02 20:23:39 | <monochrom> | https://www.smbc-comics.com/comic/doctor-2 |
| 2021-03-02 20:23:43 | <dminuoso> | pjb: Good thing they're not concerned with science, eh? |
| 2021-03-02 20:23:49 | <boxscape> | googel translate says "eigenwert" in latin is "dignitate" |
| 2021-03-02 20:23:50 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-02 20:24:01 | <boxscape> | oh that's like |
| 2021-03-02 20:24:05 | <boxscape> | self-worth |
| 2021-03-02 20:24:06 | <pjb> | dminuoso: but they are. |
| 2021-03-02 20:24:20 | <boxscape> | dignity |
| 2021-03-02 20:24:59 | <dminuoso> | boxscape: Mmm, going from eigenwert to selbstwert is very strange. Perhaps this is a flaky neural network artifact? |
| 2021-03-02 20:25:11 | <dminuoso> | (Because I can see how someone would translate it like that.. it |
| 2021-03-02 20:25:12 | <boxscape> | could be, yeah. It doesn't have anything for eigenvalue |
| 2021-03-02 20:25:15 | <dminuoso> | 's just wrong) |
| 2021-03-02 20:25:45 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:ae28:1405:caeb:fbc8) (Ping timeout: 272 seconds) |
| 2021-03-02 20:25:51 | <pjb> | dminuoso: remember Galileo, Bruno, Georges Lemaître, etc, etc were all catholic priests or subventionned by the catholic church (and hence the requirement to remain chaste, which Galileo didn't respect, and which lead him to judicial problems (it wasn't only the cosmology). |
| 2021-03-02 20:26:09 | <dminuoso> | pjb: Sure, but none of that still applies today. |
| 2021-03-02 20:26:19 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Remote host closed the connection) |
| 2021-03-02 20:26:19 | → | supercoven joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-02 20:26:21 | → | francesco_ joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-02 20:26:22 | <dminuoso> | Modern scientists are not required to be catholic priests anymore. |
| 2021-03-02 20:26:35 | <pjb> | Copernicus was Catholic canon. |
| 2021-03-02 20:26:59 | <pjb> | dminuoso: no, but there are still a lot of priests who are scientists. |
| 2021-03-02 20:27:35 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 2021-03-02 20:27:55 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 2021-03-02 20:27:57 | <maerwald> | Do you have to be a priest to write haskell? |
| 2021-03-02 20:28:03 | <boxscape> | yes |
| 2021-03-02 20:28:21 | <pjb> | https://en.wikipedia.org/wiki/List_of_Catholic_clergy_scientists |
| 2021-03-02 20:28:32 | <geekosaur> | this may explain a few things… |
| 2021-03-02 20:28:32 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-02 20:28:52 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) |
| 2021-03-02 20:29:14 | × | supercoven_ quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2021-03-02 20:29:23 | <__minoru__shirae> | maerwald: "Do you have to be a priest to write haskell?" lol, make lambdabot remember this phrase |
| 2021-03-02 20:29:27 | <monochrom> | Galileo was not a priest. |
| 2021-03-02 20:29:28 | <int-e> | you don't actually need to study the scriptures (writings of Church) to code Haskell |
| 2021-03-02 20:30:03 | <boxscape> | I was waiting for someone to make a joke like that |
| 2021-03-02 20:30:08 | <monochrom> | @remember maerwald Do you have to be a priest to write haskell? |
| 2021-03-02 20:30:08 | <lambdabot> | It is stored. |
| 2021-03-02 20:30:30 | <maerwald> | this is so out of context :p |
| 2021-03-02 20:31:57 | <monochrom> | Andrew Gordon (1712–1751) – Benedictine monk, priest, physicist, inventor who made the first electric motor, and wrote the PhD thesis "functional I/O". |
| 2021-03-02 20:32:27 | <monochrom> | err "functional programming and input/output" |
| 2021-03-02 20:33:13 | <monochrom> | So yes you have to be a priest to understand why IO is a monad. >:) |
| 2021-03-02 20:34:06 | <__minoru__shirae> | and this one too |
| 2021-03-02 20:34:23 | <__minoru__shirae> | @remember int-e you don't actually need to study the scriptures (writings of Church) to code Haskell |
| 2021-03-02 20:34:23 | <lambdabot> | It is forever etched in my memory. |
| 2021-03-02 20:34:52 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-02 20:35:07 | × | garFF quits (~garff@0x3e2c8674.mobile.telia.dk) (Quit: Leaving) |
| 2021-03-02 20:35:15 | × | ixlun quits (~user@213.205.241.12) (Ping timeout: 240 seconds) |
| 2021-03-02 20:35:15 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-02 20:35:28 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) |
| 2021-03-02 20:35:48 | <boxscape> | @quote church |
| 2021-03-02 20:35:48 | <lambdabot> | procyon says: emk: You might get a wider audience with "Church is not just for Hoare's" |
| 2021-03-02 20:37:23 | → | hiroaki_ joins (~hiroaki@pd953db72.dip0.t-ipconnect.de) |
| 2021-03-02 20:37:50 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-02 20:38:06 | <koz_> | boxscape: Lol. |
| 2021-03-02 20:38:42 | × | nrdmn9 quits (~nrdmn@95.129.53.118) (Quit: Ping timeout (120 seconds)) |
| 2021-03-02 20:39:03 | → | nrdmn9 joins (~nrdmn@95.129.53.118) |
| 2021-03-02 20:41:05 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-02 20:41:55 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Ping timeout: 240 seconds) |
| 2021-03-02 20:42:06 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-02 20:42:07 | → | coot_ joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-02 20:42:33 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) |
| 2021-03-02 20:42:56 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) (Remote host closed the connection) |
| 2021-03-02 20:45:03 | × | coot_ quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Client Quit) |
| 2021-03-02 20:45:55 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-02 20:47:09 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 20:48:42 | <__minoru__shirae> | @quote writings.of.church |
| 2021-03-02 20:48:43 | <lambdabot> | int-e says: you don't actually need to study the scriptures (writings of Church) to code Haskell |
| 2021-03-02 20:50:21 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-03-02 20:51:07 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 20:51:19 | <koz_> | Alonzo Church has given us endless pun fodder with his (sur)name. |
| 2021-03-02 20:53:09 | <int-e> | Don't mix Church and state. |
| 2021-03-02 20:53:17 | <int-e> | (Old but glorious.) |
All times are in UTC.