Logs: liberachat/#haskell
| 2021-05-26 06:36:02 | × | aravk quits (~aravk@165.227.127.54) (Quit: leaving) |
| 2021-05-26 06:39:02 | → | tose joins (~tose@ip-85-160-8-188.eurotel.cz) |
| 2021-05-26 06:39:12 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-05-26 06:40:15 | × | xnyhps quits (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Quit: leaving) |
| 2021-05-26 06:40:31 | → | sphynx joins (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2021-05-26 06:40:38 | sphynx | is now known as xnyhps |
| 2021-05-26 06:41:04 | × | bhrgunatha quits (~bhrgunath@2001-b011-8011-6163-fde3-9a54-1125-48fe.dynamic-ip6.hinet.net) (Quit: Leaving) |
| 2021-05-26 06:41:12 | → | bilegeek joins (~bilegeek@2600:1008:b01a:69cf:a58b:76f2:71:1386) |
| 2021-05-26 06:46:40 | → | michalz joins (~user@185.246.204.45) |
| 2021-05-26 06:47:15 | × | steven1 quits (~steven@209.58.129.97) (Quit: WeeChat 2.8) |
| 2021-05-26 06:48:46 | → | qbt joins (~edun@user/edun) |
| 2021-05-26 06:49:51 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-26 06:53:28 | × | noddy quits (~self@c6a7c791.vpn.njalla.net) (Quit: WeeChat 3.1) |
| 2021-05-26 06:54:47 | dy | is now known as rasenqan |
| 2021-05-26 06:54:52 | rasenqan | is now known as dy |
| 2021-05-26 06:55:22 | → | ddellacosta joins (~ddellacos@89.46.62.113) |
| 2021-05-26 06:56:21 | × | NinjaTrappeur quits (~ninja@user/ninjatrappeur) (Quit: WeeChat 3.1) |
| 2021-05-26 06:59:27 | → | NinjaTrappeur joins (~ninja@user/ninjatrappeur) |
| 2021-05-26 06:59:46 | → | Tomurb joins (~tom@158.194.92.121) |
| 2021-05-26 07:00:15 | × | ddellacosta quits (~ddellacos@89.46.62.113) (Ping timeout: 264 seconds) |
| 2021-05-26 07:01:02 | → | Brumaire joins (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-05-26 07:01:36 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-26 07:03:04 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-05-26 07:03:37 | → | elcaro joins (~anonymous@45.32.191.75) |
| 2021-05-26 07:03:56 | <edwardk> | I may be reading too many ML papers lately, but "rasengan" implies the existence of both discriminator and generator networks. This might explain recent freenode discrimination policy changes. There's a foss function joke in there somewhere to be had. |
| 2021-05-26 07:04:01 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-05-26 07:05:17 | → | noddy joins (~self@c6a7c791.vpn.njalla.net) |
| 2021-05-26 07:05:17 | × | noddy quits (~self@c6a7c791.vpn.njalla.net) (Changing host) |
| 2021-05-26 07:05:17 | → | noddy joins (~self@user/noddy) |
| 2021-05-26 07:07:54 | <Axman6> | Get some sleep Ed :P |
| 2021-05-26 07:08:19 | <Hecate> | the existence of a South-Korean prince IRC overlord called "rasengan" implies the existence of a North-Korean general IPoAC operator called "chidori" |
| 2021-05-26 07:08:19 | <edwardk> | Axman6: can't sleep clowns will eat me. |
| 2021-05-26 07:08:38 | <Axman6> | clowns will eat the network |
| 2021-05-26 07:10:46 | <edwardk> | #freenode-* is full of clown price jokes and dear leader references right now |
| 2021-05-26 07:11:35 | <alloca> | the network formerly known as freenode |
| 2021-05-26 07:12:01 | × | khumba quits (~kvirc@S01066038e0ca1250.ok.shawcable.net) () |
| 2021-05-26 07:12:46 | × | bah quits (~bah@s176125235116.blix.com) (Ping timeout: 264 seconds) |
| 2021-05-26 07:16:22 | × | tose quits (~tose@ip-85-160-8-188.eurotel.cz) (Ping timeout: 264 seconds) |
| 2021-05-26 07:16:48 | → | dss joins (~dss@144.202.106.125) |
| 2021-05-26 07:18:39 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-05-26 07:19:19 | → | fendor joins (~fendor@91.141.0.18.wireless.dyn.drei.com) |
| 2021-05-26 07:19:55 | → | stemid joins (~nocturnal@i-lands.anark.ist) |
| 2021-05-26 07:20:02 | ← | stemid parts (~nocturnal@i-lands.anark.ist) () |
| 2021-05-26 07:20:42 | → | akegalj joins (~akegalj@213.149.51.164) |
| 2021-05-26 07:23:06 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 244 seconds) |
| 2021-05-26 07:23:33 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 2021-05-26 07:26:42 | × | akegalj quits (~akegalj@213.149.51.164) (Quit: leaving) |
| 2021-05-26 07:27:59 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 1.9.1) |
| 2021-05-26 07:28:57 | → | agumonkey joins (~user@88.160.31.174) |
| 2021-05-26 07:28:58 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-05-26 07:29:02 | × | eggplant_ quits (~Eggplanta@2600:1700:bef1:5e10:8d52:c9d8:f104:c0f6) (Remote host closed the connection) |
| 2021-05-26 07:29:31 | → | ddellacosta joins (~ddellacos@86.106.121.108) |
| 2021-05-26 07:30:12 | Guest11 | is now known as klemzi32 |
| 2021-05-26 07:30:48 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 2021-05-26 07:31:22 | × | guest0123 quits (~aaron@2601:602:a080:fa0:745b:c700:b4c:aac3) (Ping timeout: 264 seconds) |
| 2021-05-26 07:32:39 | × | amk quits (~amk@176.61.106.150) (Ping timeout: 264 seconds) |
| 2021-05-26 07:33:22 | → | amk joins (~amk@176.61.106.150) |
| 2021-05-26 07:34:05 | × | ddellacosta quits (~ddellacos@86.106.121.108) (Ping timeout: 272 seconds) |
| 2021-05-26 07:38:45 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-05-26 07:40:41 | → | Pupintor joins (~Pupintor@ip-80-113-17-34.ip.prioritytelecom.net) |
| 2021-05-26 07:40:57 | <boxscape> | "Support the design for dependent types" has just been accepted |
| 2021-05-26 07:41:02 | <boxscape> | https://github.com/ghc-proposals/ghc-proposals/pull/378 |
| 2021-05-26 07:42:16 | × | xandaros quits (~xandaros@user/xandaros) (Quit: WeeChat 3.1) |
| 2021-05-26 07:42:26 | <bontaq> | ooo |
| 2021-05-26 07:43:28 | → | hughjfchen joins (~hughjfche@117.136.40.253) |
| 2021-05-26 07:43:36 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:94:234b:587f:cd53) |
| 2021-05-26 07:44:17 | × | hughjfchen quits (~hughjfche@117.136.40.253) (Client Quit) |
| 2021-05-26 07:44:54 | <wz1000> | can only imagine the drama that went on behind the scenes suggested by Iavor resigning recently |
| 2021-05-26 07:44:56 | → | Gurkenglas_ joins (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) |
| 2021-05-26 07:45:08 | <tomsmeding_> | edwardk: ircbrowse has failed to join this channel since may 22nd apparently; maybe the issue is that I should register with nickserv but I'm not doing so. I feel like dropping freenode entirely at this point though |
| 2021-05-26 07:45:11 | <bontaq> | I wonder if leaning into dependent types will simplify GHC? I've only poked around at them but I've heard it makes a lot of trickier features in compilers simpler |
| 2021-05-26 07:45:48 | <wz1000> | bontaq: I doubt it. |
| 2021-05-26 07:45:55 | tomsmeding_ | is now known as tomsmeding |
| 2021-05-26 07:47:06 | <tomsmeding> | geekosaur: can I drop #xmonad on freenode from ircbrowse or do you want me to keep it for a while? |
| 2021-05-26 07:48:12 | Athas_ | is now known as Athas |
| 2021-05-26 07:48:13 | <boxscape> | Alas GHC will at least have to maintain two separate namespaces for a long time, for backcompat |
| 2021-05-26 07:48:51 | → | ddellacosta joins (~ddellacos@86.106.121.91) |
| 2021-05-26 07:49:16 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:94:234b:587f:cd53) (Ping timeout: 265 seconds) |
| 2021-05-26 07:49:28 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-05-26 07:53:37 | × | ddellacosta quits (~ddellacos@86.106.121.91) (Ping timeout: 265 seconds) |
| 2021-05-26 07:53:55 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Quit: EXIT) |
| 2021-05-26 07:53:57 | → | zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 2021-05-26 07:54:01 | → | meltedbrain2000a joins (~tekserf@31.4.247.182) |
| 2021-05-26 07:54:22 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.204.25) |
| 2021-05-26 07:58:24 | → | ramon joins (~ramon@user/ramon) |
| 2021-05-26 07:58:27 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 264 seconds) |
| 2021-05-26 07:58:41 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-05-26 07:58:58 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2021-05-26 07:59:34 | × | Pupintor quits (~Pupintor@ip-80-113-17-34.ip.prioritytelecom.net) (Quit: Connection closed) |
| 2021-05-26 07:59:47 | → | Robin_Jadoul joins (~Robin_Jad@152.67.64.160) |
| 2021-05-26 08:00:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-26 08:00:17 | → | Teacup joins (~teacup@maple.teadev.xyz) |
| 2021-05-26 08:01:08 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-05-26 08:01:12 | → | astra joins (sid289983@user/astrazeneca) |
| 2021-05-26 08:02:44 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-05-26 08:05:34 | → | ddellacosta joins (~ddellacos@89.46.62.114) |
| 2021-05-26 08:05:47 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:5cf2:3d3e:4f1f:a60e) |
| 2021-05-26 08:06:28 | Toast52 | is now known as Toast52_ |
| 2021-05-26 08:08:31 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-05-26 08:08:45 | <bontaq> | that really is fantastic news that it was accepted, I was worried that haskell would lean too much into industrial, simplified land and not enough into research |
All times are in UTC.