00:01:02  * tryphe24joined
00:01:08  * tryphe24quit (Remote host closed the connection)
00:03:30  <jmdyck>bterlson, ljharb, Bakkot, devsnek, rkirsling, IgnoredAmbience: given past remarks, you might be interested in https://github.com/jmdyck/ecmaspeak-py
00:04:03  <Bakkot>!
00:04:14  <ljharb>ooh, interesting
00:04:51  <devsnek>oh nice!
00:05:58  <devsnek>jmdyck: shoulda written it in js :P
00:06:32  <rkirsling>jmdyck: aww yiss
00:07:32  * AtumTquit (Quit: AtumT)
00:09:37  * jwaldenquit (Quit: back later hopefully)
00:16:09  <jmdyck>devsnek: I'll leave that to someone else. Python is what I'm most productive in.
00:17:02  <devsnek>engine262 or spec evaluator
00:17:05  <devsnek>tough choice
00:17:43  <jmdyck>not so tough when the spec-evaluator doesn't exist yet.
00:52:37  * hamzy10joined
00:53:29  * hamzy10quit (Killed (Unit193 (Spam is not permitted on freenode.)))
01:00:35  * aki_joined
01:01:48  * akirosequit (Ping timeout: 272 seconds)
01:01:49  * aki_changed nick to akirose
01:09:58  * isiahmeadowsjoined
01:33:15  * nickd25joined
01:36:35  * nickd25quit (Remote host closed the connection)
03:07:45  * aki_joined
03:08:16  * howdoiquit (Quit: Connection closed for inactivity)
03:08:23  * akirosequit (Ping timeout: 245 seconds)
03:08:23  * aki_changed nick to akirose
03:34:07  * jmdyckquit (Remote host closed the connection)
03:43:51  * Aquaziquit (Quit: Connection closed for inactivity)
05:09:09  * isiahmeadowsquit (Quit: isiahmeadows)
05:09:30  * isiahmeadowsjoined
05:09:57  * isiahmeadowsquit (Client Quit)
05:13:20  * aki_joined
05:14:01  * akirosequit (Ping timeout: 260 seconds)
05:14:01  * aki_changed nick to akirose
06:24:26  * Uqbar8joined
06:27:34  * Uqbar8quit (Remote host closed the connection)
07:20:28  * akirosequit (Ping timeout: 245 seconds)
07:21:42  * akirosejoined
07:41:11  * akoserwajoined
07:47:39  * akoserwaquit (Ping timeout: 252 seconds)
08:54:08  * augustin2117joined
08:54:16  * augustin2117quit (Remote host closed the connection)
09:10:47  * fish___21joined
09:17:51  * fish___21quit (Ping timeout: 260 seconds)
09:28:53  * aki_joined
09:29:19  * akirosequit (Ping timeout: 246 seconds)
09:29:19  * aki_changed nick to akirose
09:53:16  * walkafwalkajoined
09:57:29  * walkafwalkaquit (Remote host closed the connection)
11:35:05  * aki_joined
11:35:54  * akirosequit (Ping timeout: 252 seconds)
11:35:54  * aki_changed nick to akirose
11:39:21  * a_west19joined
11:47:11  * a_west19quit (Ping timeout: 260 seconds)
12:03:56  * siiiilky15joined
12:04:51  * siiiilky15quit (Killed (Unit193 (Spam is not permitted on freenode.)))
12:39:39  * jmdyckjoined
13:01:49  * ponga2112joined
13:05:54  * ponga2112quit (Killed (Sigyn (Spam is off topic on freenode.)))
13:07:55  * cmichel25joined
13:11:19  * cmichel25quit (Remote host closed the connection)
13:17:08  * sa-ghosts15joined
13:18:04  * sa-ghosts15quit (Killed (Sigyn (Spam is off topic on freenode.)))
13:35:25  * tchaypo3joined
13:36:17  * tchaypo3quit (K-Lined)
13:43:16  * akirosequit (Ping timeout: 260 seconds)
13:43:22  * aki_joined
13:43:24  <IgnoredAmbience>jmdyck: thanks for the heads-up
13:43:28  <IgnoredAmbience>Looks interesting
13:43:46  * aki_changed nick to akirose
13:45:26  * plumajoined
13:46:26  <IgnoredAmbience>The size of that static analysis is impressive alone
13:58:14  * Aquazijoined
14:01:17  * Danny_B17joined
14:01:47  <jmdyck>IgnoredAmbience: you mean the size of the static_type_analysis.py file?
14:05:34  <jmdyck>Mostly that's because the grammar for pseudocode is so big.
14:09:45  * Danny_B17quit (Ping timeout: 244 seconds)
14:24:03  <IgnoredAmbience>Yes, noticed the considerable section just verifying that
14:56:15  * Arendtsen6joined
14:57:28  * cata-doxas14joined
14:57:33  * cata-doxas14quit (Remote host closed the connection)
14:59:35  * Arendtsen6quit (Remote host closed the connection)
15:01:33  * vikash-afkquit (Remote host closed the connection)
15:35:40  * vikash-afkjoined
15:40:07  * samebchase13joined
15:41:51  * samebchase13quit (Remote host closed the connection)
15:50:04  * aki_joined
15:50:28  * akirosequit (Ping timeout: 246 seconds)
15:50:28  * aki_changed nick to akirose
16:33:04  * basicdaysquit (Ping timeout: 240 seconds)
16:53:30  * Caelum13joined
16:55:49  * Caelum13quit (Killed (Sigyn (Spam is off topic on freenode.)))
17:56:13  * aki_joined
17:57:36  * akirosequit (Ping timeout: 252 seconds)
17:57:36  * aki_changed nick to akirose
18:06:03  * Draggorquit (Ping timeout: 252 seconds)
18:18:09  * Draggorjoined
19:11:34  * bruceveinjoined
19:16:18  * bruceveinquit (Killed (Unit193 (Spam is not permitted on freenode.)))
19:49:04  * disasm20joined
19:49:44  * disasm20quit (K-Lined)
20:04:20  * akirosequit (Ping timeout: 272 seconds)
20:04:30  * aki_joined
20:04:54  * aki_changed nick to akirose
21:36:19  * AtumTjoined
22:09:45  * ghormoon16joined
22:10:37  * ghormoon16quit (Killed (Unit193 (Spam is not permitted on freenode.)))
22:12:31  * akirosequit (Ping timeout: 260 seconds)
22:13:58  * akirosejoined
22:45:47  * nsnellmajoined
22:47:32  * nsnellmaquit (Remote host closed the connection)
23:15:25  * mensvaga3joined
23:20:11  * mensvaga3quit (Ping timeout: 260 seconds)
23:21:11  * Aquaziquit (Quit: Connection closed for inactivity)
23:33:28  * akirosequit (Remote host closed the connection)
23:35:18  * akirosejoined