Newest at the top
2024-04-18 00:16:19 +0200 | <ncf> | as in subsequence |
2024-04-18 00:16:15 +0200 | <ncf> | would have to somehow add the information that the input string is a substring of the output string |
2024-04-18 00:16:05 +0200 | <monochrom> | Does that mean "iterate f x0" and hope that something stabilizes down the road? |
2024-04-18 00:15:48 +0200 | <ncf> | it feels like i should be able to apply that function to "exit" repeatedly and take some sort of colimit to get an infinite string instead of a <<loop>> |
2024-04-18 00:15:23 +0200 | <ncf> | sometimes i wonder about like, "fixed points with initial value" |
2024-04-18 00:15:05 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) (Read error: Connection reset by peer) |
2024-04-18 00:13:36 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-04-18 00:13:16 +0200 | <monochrom> | Ugh now that's fancy and silly, yeah :) |
2024-04-18 00:12:54 +0200 | <lambdabot> | silly fancy version |
2024-04-18 00:12:53 +0200 | <int-e> | > var "silly fancy version" |
2024-04-18 00:12:33 +0200 | <monochrom> | putStrLn : ghci :: text : lambdabot |
2024-04-18 00:12:29 +0200 | malte | (~malte@mal.tc) |
2024-04-18 00:12:13 +0200 | <monochrom> | It means using the fact that the Show instance of Doc does not add quoting or escaping. |
2024-04-18 00:11:34 +0200 | <lambdabot> | String -> Doc |
2024-04-18 00:11:33 +0200 | <ncf> | :t text |
2024-04-18 00:11:06 +0200 | <lambdabot> | '"' 'e' '"' ' ' '"' 'x' '"' ' ' '"' 'i' '"' ' ' '"' 't' '"' |
2024-04-18 00:11:05 +0200 | <int-e> | > text . unwords . map show . unwords . map (show . (:[])) $ "exit" |
2024-04-18 00:10:39 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2024-04-18 00:10:15 +0200 | <lambdabot> | "*Exception: <<loop>> |
2024-04-18 00:10:13 +0200 | <ncf> | > fix (unwords . map show) |
2024-04-18 00:09:45 +0200 | malte | (~malte@mal.tc) (Ping timeout: 255 seconds) |
2024-04-18 00:09:35 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
2024-04-18 00:09:19 +0200 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Ping timeout: 256 seconds) |
2024-04-18 00:08:54 +0200 | <dolio> | monochrom probably wrote a Haskell program to generate the text. |
2024-04-18 00:08:33 +0200 | <monochrom> | haha |
2024-04-18 00:08:28 +0200 | CATS | (apic@brezn3.muc.ccc.de) |
2024-04-18 00:08:21 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-04-18 00:08:18 +0200 | <int-e> | monochrom: Why would anyone type out '"' 'e' '"' ' ' '"' 'x' '"' ' ' '"' 'i' '"' ' ' '"' 't' '"'? Do they hate themselves? |
2024-04-18 00:07:33 +0200 | Square2 | (~Square4@user/square) |
2024-04-18 00:03:22 +0200 | <monochrom> | My students are smarter than all of the above. They just click the close-window button. :) |
2024-04-17 23:59:25 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-04-17 23:58:36 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-04-17 23:58:17 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-04-17 23:58:14 +0200 | <probie> | The two big reasons are because they get issued the corporate standard laptop, or because their target environment is windows |
2024-04-17 23:58:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-17 23:57:30 +0200 | <monochrom> | OK I'll stop. |
2024-04-17 23:57:18 +0200 | <monochrom> | OK then why would programmers use Windows? Do they hate themselves? |
2024-04-17 23:56:59 +0200 | <monochrom> | OK I know why. Because they're on Windows where ctrl-d doesn't work. |
2024-04-17 23:56:34 +0200 | <monochrom> | In nslookup I also just press ctrl-d. And not even need to remember whether it's "quit" or "exit". |
2024-04-17 23:56:23 +0200 | CATS | (apic@brezn3.muc.ccc.de) (Ping timeout: 264 seconds) |
2024-04-17 23:56:03 +0200 | <monochrom> | Why would anyone type out "e" "x" "i" "t" <enter>? Do they hate themselves? |
2024-04-17 23:55:26 +0200 | <monochrom> | In a shell I just press ctrl-d. In ghci I just press ctrl-d. In smlnj I just press ctrl-d. In racket console mode I just press ctrl-d. In swi-prolog I just press ctrl-d. The few times I'm at a python prompt I just press ctrl-d. |
2024-04-17 23:53:36 +0200 | <monochrom> | You know, I never ran into that exit "problem" because I never bothered to type out "exit" in any enviornment. I just pressed ctrl-d. |
2024-04-17 23:53:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-04-17 23:50:57 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
2024-04-17 23:48:44 +0200 | <monochrom> | Well today is my nice day. I will do that tomorrow. >:) |
2024-04-17 23:47:50 +0200 | <probie> | Save energy on classification and just hate "people" |
2024-04-17 23:47:20 +0200 | <monochrom> | I am not sure whether it is programmers or it is illogical "intuitive" people that I hate. |
2024-04-17 23:46:23 +0200 | <EvanR> | wth that paper also doesn't say |
2024-04-17 23:45:03 +0200 | <cheater> | monochrom: see that's because you hate programmers |