Logs: freenode/#haskell
| 2021-02-28 04:33:20 | × | supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-02-28 04:33:24 | × | egp_ quits (~egp_@2.95.74.168) (Quit: EXIT) |
| 2021-02-28 04:33:34 | → | supercoven joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-02-28 04:33:35 | × | supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-02-28 04:34:34 | → | banyanRob joins (49f11cfb@c-73-241-28-251.hsd1.ca.comcast.net) |
| 2021-02-28 04:35:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-02-28 04:35:54 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-02-28 04:36:19 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-02-28 04:47:13 | → | ddellacosta joins (~ddellacos@83.143.246.102) |
| 2021-02-28 04:51:16 | × | ddellacosta quits (~ddellacos@83.143.246.102) (Ping timeout: 240 seconds) |
| 2021-02-28 04:51:48 | → | mrioqueiroz joins (~mrioqueir@186.251.19.98) |
| 2021-02-28 04:52:26 | → | kevin__ joins (~kevin@pool-100-37-189-79.nycmny.fios.verizon.net) |
| 2021-02-28 04:54:10 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-02-28 04:56:11 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Ping timeout (120 seconds)) |
| 2021-02-28 04:56:29 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-02-28 04:56:39 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-02-28 04:58:13 | × | kevin__ quits (~kevin@pool-100-37-189-79.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2021-02-28 04:59:47 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-02-28 05:00:52 | retlo1 | is now known as \2E0KNO |
| 2021-02-28 05:11:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-28 05:13:19 | → | egp_ joins (~egp_@2.95.74.168) |
| 2021-02-28 05:13:56 | × | roconnor quits (~roconnor@host-104-157-194-235.dyn.295.ca) (Quit: Konversation terminated!) |
| 2021-02-28 05:16:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-02-28 05:18:45 | → | Pooky joins (~Pooky@84.203.101.64) |
| 2021-02-28 05:19:57 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-02-28 05:21:56 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-02-28 05:24:35 | → | kit joins (~kit@144.138.56.36) |
| 2021-02-28 05:24:50 | × | kit quits (~kit@144.138.56.36) (Client Quit) |
| 2021-02-28 05:24:55 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-02-28 05:25:43 | → | kit joins (~kit@144.138.56.36) |
| 2021-02-28 05:25:43 | × | kit quits (~kit@144.138.56.36) (Client Quit) |
| 2021-02-28 05:31:01 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-02-28 05:32:01 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-02-28 05:33:38 | → | Tops2 joins (~Tobias@dyndsl-095-033-017-115.ewe-ip-backbone.de) |
| 2021-02-28 05:35:55 | → | kit joins (~kit@144.138.56.36) |
| 2021-02-28 05:36:37 | → | haya joins (~haya@ec2-18-231-117-140.sa-east-1.compute.amazonaws.com) |
| 2021-02-28 05:36:59 | × | Tops21 quits (~Tobias@dyndsl-095-033-025-207.ewe-ip-backbone.de) (Ping timeout: 265 seconds) |
| 2021-02-28 05:37:27 | × | Pooky quits (~Pooky@84.203.101.64) (Quit: Leaving) |
| 2021-02-28 05:40:28 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 276 seconds) |
| 2021-02-28 05:40:36 | → | drbean_ joins (~drbean@TC210-63-209-142.static.apol.com.tw) |
| 2021-02-28 05:42:33 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.139) (Ping timeout: 264 seconds) |
| 2021-02-28 05:48:09 | × | banyanRob quits (49f11cfb@c-73-241-28-251.hsd1.ca.comcast.net) (Quit: Connection closed) |
| 2021-02-28 05:51:48 | × | int80h quits (uid148779@gateway/web/irccloud.com/x-byitmqwoaqxynwkn) (Quit: Connection closed for inactivity) |
| 2021-02-28 05:51:53 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-02-28 05:53:49 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-02-28 05:58:59 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-02-28 06:10:02 | × | kw quits (d4662d5d@212.102.45.93) (Ping timeout: 240 seconds) |
| 2021-02-28 06:10:12 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-02-28 06:10:40 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-02-28 06:11:26 | × | xff0x quits (~xff0x@2001:1a81:5349:9200:4bab:e866:1730:4463) (Ping timeout: 264 seconds) |
| 2021-02-28 06:11:40 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2021-02-28 06:11:48 | → | xff0x joins (~xff0x@2001:1a81:5349:9200:adc4:69eb:c86a:66d9) |
| 2021-02-28 06:13:04 | → | redmp joins (~redmp@172.58.35.206) |
| 2021-02-28 06:13:23 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-02-28 06:15:30 | <hyiltiz> | koz_: I fed your quotes into bellard.org/textsynth/ (GPT-2) and got a poem-like thing that is fun to read: https://bellard.org/textsynth/ |
| 2021-02-28 06:15:45 | <hyiltiz> | Wait this link: http://ix.io/2Rac |
| 2021-02-28 06:16:25 | <koz_> | hyiltiz: Lol. |
| 2021-02-28 06:16:45 | × | mrioqueiroz quits (~mrioqueir@186.251.19.98) (Ping timeout: 264 seconds) |
| 2021-02-28 06:16:47 | <koz_> | Due to limited data, this model makes me sound like some kind of IORef fetishist. |
| 2021-02-28 06:17:16 | <hyiltiz> | yeah it reads like someone read about haskell and half drunk in a bar |
| 2021-02-28 06:17:32 | <hyiltiz> | feeding more data... |
| 2021-02-28 06:17:32 | <koz_> | Lol. |
| 2021-02-28 06:17:41 | <koz_> | That's not an unusual combination to be fair. |
| 2021-02-28 06:17:51 | <koz_> | I don't doubt a lot of Haskell papers began as drunken academic benders. |
| 2021-02-28 06:17:57 | <koz_> | monochrom can confirm. |
| 2021-02-28 06:21:27 | <hyiltiz> | http://ix.io/2Rad with more data and user ids, it invented new users, among whom kaz is an extreme narcissist and kl is a re-incarnation of koz+kw+lambdabot afaict |
| 2021-02-28 06:22:25 | <koz_> | hyiltiz: That is hilarious, since I know someone (not here) who goes by kaz. |
| 2021-02-28 06:22:27 | <hyiltiz> | well it was a low day for me today, and I am having fun feeding #haskell into GTP-2 through bellard. Speak of a nerd |
| 2021-02-28 06:23:04 | <hyiltiz> | LMFAO esp. if kaz the real shares similarities with kaz the re-incarnate |
| 2021-02-28 06:23:50 | <koz_> | "<koz_> Maybe a class is better, but it shouldn't be an object." LOLZOR |
| 2021-02-28 06:24:10 | <koz_> | "<kaz> I agree with kaz." I AM DED |
| 2021-02-28 06:25:01 | × | average quits (uid473595@gateway/web/irccloud.com/x-vkybhfbovzssiwuk) (Quit: Connection closed for inactivity) |
| 2021-02-28 06:28:46 | <hyiltiz> | and here comes a completely new character called matthewjr out of nowhere and preaches about C++ but never used it himself and only read a few C who apparently replaces you out from the conversation. Reality in AI's mind is bleak http://ix.io/2Raf |
| 2021-02-28 06:29:02 | <hyiltiz> | Now I'll stop hijacking #haskell with GPT-2 funsies |
| 2021-02-28 06:29:53 | <hyiltiz> | Hmm, I am going to feed it my love letter to my gf (hope I won't regret it...) |
| 2021-02-28 06:30:19 | <koz_> | "<matthewjr> I'd say I would never have expected to see *anything* out of the ordinary from C++ code |
| 2021-02-28 06:30:21 | <koz_> | " |
| 2021-02-28 06:30:33 | <koz_> | Sounds _exactly_ like something I expect to hear from a C++ person. |
| 2021-02-28 06:30:58 | <koz_> | hyiltiz: Feed it all of Edward Kmett's articles. |
| 2021-02-28 06:31:11 | <koz_> | I wanna see what kind of category-theory-driven stuff it can design. |
| 2021-02-28 06:31:14 | <koz_> | (and whether it compiles) |
| 2021-02-28 06:31:25 | <boxscape> | is there a difference between love letters and ed kmett articles? |
| 2021-02-28 06:31:28 | <hyiltiz> | haha! That is gonna be so fun |
| 2021-02-28 06:32:17 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-02-28 06:32:29 | <koz_> | boxscape: Yes. In direction. |
| 2021-02-28 06:32:41 | <boxscape> | I see! |
| 2021-02-28 06:32:53 | <hyiltiz> | hmm GTP-2 thinks she has a boyfriend... |
| 2021-02-28 06:33:00 | <hyiltiz> | I already regret it |
| 2021-02-28 06:33:12 | <hyiltiz> | didn't took GPT-2 5 sentences to say that out loud |
| 2021-02-28 06:34:28 | <hyiltiz> | The next day she asked me for my address because her boyfriend had not arrived yet. i took a long time. Finally i replied that i don't have an address. She said maybe her boyfriend can call her. i said i didn't have an address. She said i never promised i would see her again. i said i'm sorry. |
| 2021-02-28 06:34:53 | <hyiltiz> | Does anyone have the tex or lhs files for edwardk's articles? |
| 2021-02-28 06:35:02 | <koz_> | No, sadly. |
| 2021-02-28 06:35:11 | <koz_> | edwardk: Could you contribute to a good cause? ^ |
| 2021-02-28 06:35:32 | <hyiltiz> | Well I can tesseract them out from PDF's or pandoc out from HTML if necessary |
| 2021-02-28 06:36:08 | <koz_> | hyiltiz: You can look through Comonad Reader. |
| 2021-02-28 06:36:17 | <koz_> | Or School of Haskell. |
| 2021-02-28 06:36:22 | <koz_> | Here's one to get you started: https://www.schoolofhaskell.com/user/edwardk/heap-of-successes |
| 2021-02-28 06:36:29 | <hyiltiz> | Would be so funny if the next big idea in FP comes from GPT-2 |
| 2021-02-28 06:38:00 | <boxscape> | OpenAI has used a specially trained version of GPT-3 to implement relatively simple python functions, on reason you couldn't do that with haskell, at least, assuming you have millions of dollars worth of compute |
| 2021-02-28 06:38:09 | <boxscape> | s/on/no |
All times are in UTC.